为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-20 14:10:18鸿蒙电脑正式发布,今年的大一新生会不会扎堆购买鸿蒙电脑?
- 2025-06-20 14:50:17前端因为像素还原设计稿而离职,这是个别现象吗?
- 2025-06-20 15:20:18夸克网盘有可能超越百度网盘吗?
- 2025-06-20 14:40:18大家支不支持文言文,古文退出中国教育?
- 2025-06-20 14:10:18如何评价《塞尔达传说:王国之泪》?
- 2025-06-20 14:30:18Rust 和 Go 的并发模型有什么不同,为什说 Rust 的并发模型更好 ?(1.0已没有内建模型?
- 2025-06-20 15:05:17如何看待华为Pura80标准版手机接口竟倒退成USB 2.0?要是也烧了WIFI是不是不好备份数据?
- 2025-06-20 14:00:17***如秀芹不死,李云龙会喜欢田雨吗?
- 2025-06-20 14:45:18为什么有些NAS用户弄那么多硬盘?
- 2025-06-20 15:05:17055一打一能不能打过阿利伯克?
推荐产品
-
055万吨驱逐舰是不是有些被过于神化了,有没有了解的大佬详细解释一下?
海面战斗不像在内地,海面的地图是无障碍的。 没有任何地形优 -
iOS 26 的新设计被吐槽丑,苹果在设计更新时考虑了哪些因素?你对这一设计都有哪些评价?
正常,iOS7的时候也说丑,甚至比现在更甚。 但是 -
雍正被吹上天是因为《雍正王朝》吗?
不然呢? 弘旺写的书,隐晦提过老四被康熙打过,骂过,你搁正史 -
印度公开藏南地区我方战士口咬手雷坚守的***,是想表达什么?
我记得大概去年,国防部长董军跟美防长开会,有几张图是董防长走
最新资讯