为什么Rust写个链表都那么难？
- 作者：admin
- 发表时间：2025-06-25 13:30:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则（Of course!和Why not?），导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话，要么回到引用计数垃圾回收的机制，要么手写mfree（Why not?）语句。
但这又回到了老路上，违背了Rust的目标。
但是只要我们提前知道链表的最大长度，那么就能写出来了。
例如：已知链表的最大长度是3，那么我们定义3个类型套一下即可。
问题就出在这里，“链表最大…。
最新文章
-
postgresql也很强大，为何在中国大陆，mysql成为主流，postgresql屈居二线呢？
-
公司就一个后端一个前端，有必要搞微服务吗？
-
养龟玩龟的人可怕吗？
-
做网页开发时，允许用户输入url图片地址来作为自己的头像有什么风险？
-
女朋友坚决拒绝母乳，我希望就一次行母乳喂养被指责我不顾她的痛苦，我真的很过分吗？
-
为什么盗版音乐已经被严格限制了，而中国音乐却还是没有发展起来？
-
为何 Linus 一个人就能写出这么强的系统，中国却做不出来？
-
为什么 Go 语言的 Error Handling 被某些人认为是一个败笔？
-
如果 Rust 在 90 年代就被发明出来，那么会对软件行业造成怎样的影响？
-
为什么牛吃素可以长那么壮？而人不吃荤就不行？