为什么Rust写个链表都那么难?
更新时间:2025-06-25 15:30:14
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
案例推荐
case recommendation-
飞天茅台散瓶批发价跌破 2000 元,背后什么原因?收藏茅台还能增值吗?
查看案例
-
公立医生帮联系民营救护车,800 公里收费 2.8 万元,收费合理吗?救护车收费标准是什么?
查看案例
-
***如不小心进入后室(backroom)该如何求生?
查看案例
-
编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
查看案例
-
C罗赠送特朗普球衣:致唐纳德•特朗普总统,为和平而战。如何评价?
查看案例
-
老板说我设计了一周的海报还是不行,我到底该怎么学啊?
查看案例
-
吴柳芳教体操真的一个月只有3500吗?
查看案例
-
特厨隋坡探店成都快餐店,给出80分以上的高分,为什么评分远高于大饭店?
查看案例

