python与nodejs哪个性能高?
腾讯开源的 libco 号称千万级协程支持,那个共享栈模式原理是什么?
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
央行行长潘功胜首次在公开场合谈及稳定币,稳定币是什么?有何深意?
你有哪些好的学习资料?
为什么明明身边二胎非常普遍,但从人口统计数据看,人口依然是在减少的?

为什么Rust写个链表都那么难?

发布日期:2025-06-26 08:35:17 浏览次数:0

表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。

但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。

但这又回到了老路上,违背了Rust的目标。

但是只要我们提前知道链表的最大长度,那么就能写出来了。

例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。

问题就出在这里,“链表最大…。

为什么Rust写个链表都那么难?