为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?
《三角洲行动》7.3日新赛季【破壁】,有什么值得期待的?
什么是最好的编程用显示器?
儿子抑郁四年左右了,他的未来该怎么办?
为什么桔梗陆雪琪这些高冷美女会喜欢想往平凡男主?
为什么现在年轻人存不下钱?

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

发布日期:2025-06-25 13:30:16 浏览次数:0

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

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

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

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

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

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

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