当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-23 22:30:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 怎么可以让胸变大?
- F-35作战半径1100公里,以色列距离伊朗首都德黑兰1600公里。以色列F-35是如何轰炸伊朗的?
- 操作系统能否知道自己处于虚拟机中?
- 有没有人告诉我,云南昭通到底怎么样?
- 新手想要打好篮球,主要练运球还是投篮?
- 为什么 IPv6 在国内至今未得以大规模应用?
- 腾势的发展为何如此艰难?如何破局?
- 如何看待日本小学校园餐只有一小块鸡肉?
- 歼-20 在国际上到底是什么地位?
- 空调现在抽真空15分钟真的还有意义吗?