电影《碟中谍》系列中哪一部最好?
C罗赠送特朗普球衣:致唐纳德•特朗普总统,为和平而战。如何评价?
PHP现在真的已经过时了吗?
开战斗机从上海到北京要多久,那是一种什么样的体验?
大海捞针还捞着了是一种什么样的体验?
中国驻伊朗大使馆发文,在伊朗中国公民尽快通过陆路边境口岸转道回国或离境,哪些信息值得关注?

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

发布日期:2025-06-25 15:30:14 浏览次数:0

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

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

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

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

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

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

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