为什么腾讯云或者阿里云不让自建dns服务器?
哪个牌子的护肤品好呀?想给妈妈买一套抗衰老的护肤品?
炫富真的很爽吗?
老板说我设计了一周的海报还是不行,我到底该怎么学啊?
凤凰传奇曾毅公开佩戴含有不雅元素的手表,这涉嫌违法吗?如何从法律角度解读?
电蚊香液对身体有害吗?

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

发布日期:2025-06-20 02:15:16 浏览次数:0

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

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

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

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

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

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

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