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

2025-06-23 18:45:14

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

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

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

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

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

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

为什么Rust写个链表都那么难?
广告位810*200
相关阅读
皮肤太白是种怎样的体验?

皮肤太白是种怎样的体验?

大概就是 只要给我一点光 我就是灯泡! 废话不多说,直接上图...

2025-06-24
为什么女游泳运动员看起来大部分都是平胸?

为什么女游泳运动员看起来大部分都是平胸?

(最新补充20250614) 她们只是看着胸部较平,你不会是...

2025-06-24
修仙文明可能以怎样的方式碾压星际文明?

修仙文明可能以怎样的方式碾压星际文明?

`“我草,这颗星球真美啊!” “是啊,而且大的让人心生畏惧。...

2025-06-24
我应该设置多少kb才能让他不能玩游戏?

我应该设置多少kb才能让他不能玩游戏?

我上初中最后一年,gba发售。 我在作业本背面画了一个1:...

2025-06-24
未来几年,市场对 AI 人才的需求会集中在哪几个方向?

未来几年,市场对 AI 人才的需求会集中在哪几个方向?

最近发现两个有意思的现象。 一个是从25年开始,AI智能体...

2025-06-24