为什么Rust写个链表都那么难?
来源:
编辑:
时间:2025-06-20 02:15:16

表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
-
{dede:pagebreak/}


网友评论:
{dede:include file='ajaxfeedback.htm' /}
栏目分类

最新文章

热门文章
- 新买了一台nas,第一个月下载20t+,上传5+,不会被网警盯上吧?
- 慈禧为什么要反对戊戌变法?
- 为什么 macOS 上国产软件不流氓?
- 有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
- 媒体称以色列防空成本一晚近 3 亿美元,最多再撑 12 天,美方会支援吗?若无美补给结果会如何?
- ssd固态硬盘sata的好还是m.2好呢?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 初三画成这样算是有天赋吗?【正经求助】?
- Rust 是否会被美国国家安全局植入后门?
- 夫妻开饭店双双确诊乳腺癌,职业性暴露于烹饪油烟是乳腺癌独立风险因素,日常应做好哪些防护?
