为什么Rust写个链表都那么难？
- 发表时间：2025-06-26 08:35:17
- 来源：
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则（Of course!和Why not?），导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话，要么回到引用计数垃圾回收的机制，要么手写mfree（Why not?）语句。
但这又回到了老路上，违背了Rust的目标。
但是只要我们提前知道链表的最大长度，那么就能写出来了。
例如：已知链表的最大长度是3，那么我们定义3个类型套一下即可。
问题就出在这里，“链表最大…。
推荐资讯
- 2025-06-28 12:45:16数据库不就是增删改查一些数据吗？研发一个数据库到底难在哪了？
- 2025-06-28 11:30:15为什么 CRT 画质这么好也被淘汰，液晶反而发展的很好？
- 2025-06-28 12:50:1627寸显示器有必要上4K吗？
- 2025-06-28 12:45:16如何看待 2026QS 世界大学排名？
- 2025-06-28 12:20:16把贵州省撤销，设立一个超大型国家自然公园，是不是一个好的提法?
- 2025-06-28 12:20:16为什么外卖小哥更愿意选九号、小牛呢？
- 2025-06-28 11:30:15新买了一台nas，第一个月下载20t+，上传5+，不会被网警盯上吧?
- 2025-06-28 12:05:15python的包管理器uv可以替代conda吗?
- 2025-06-28 11:35:15人可以极简主义到什么程度？
- 2025-06-28 12:10:16我应该设置多少kb才能让他不能玩游戏？
推荐产品
-
冬天也要穿胸罩吗?
坦白局…你们的冬天真的都不穿内衣啊？是这样的，今天不小心碰到 -
为什么中国的英语教育这么失败?
给小孩Youtube Kids，陪他玩Minecraft，他 -
工程师离职，如果领导让你们把自己的技术教会一个人才能走，你们会教吗？
我爸是高级钳工，可以纯手工弯外径1.5壁厚0.2mm的不锈钢 -
多益网络输了餐费官司，准备近几年搬离广州，你怎么看？
初看标题，联想到此前徐波被广州 GA 上门羁押。 还真以为受
新闻动态
最新资讯