为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-19 21:55:16杨幂论文一年间 AI 率从 0 飙至 91%,为什么会这样?AI 查重到底有没有统一标准?
- 2025-06-19 21:15:16为什么程序员独爱用Mac进行编程?
- 2025-06-19 21:50:16iOS 26 的新设计被吐槽丑,苹果在设计更新时考虑了哪些因素?你对这一设计都有哪些评价?
- 2025-06-19 22:40:16鱼缸里突然在水面角落出现很多想泡沫一样的气泡是怎么回事?
- 2025-06-19 21:40:16对方的哪个瞬间让你的相亲终止了?
- 2025-06-19 21:20:15Caddy 和 Nginx 比有哪些优点和缺点?
- 2025-06-19 22:50:15张元英瘦得很畸形,为什么她粉丝还觉得是完美身材?
- 2025-06-19 22:45:17为什么游戏中,中国跟欧洲的时延这么大,是否是海底光缆距离过长的原因?
- 2025-06-19 21:45:15如何评价首个女性友好的编程语言HerCode?
- 2025-06-19 22:00:16在武汉,你们的找对象标准是怎样的?
推荐产品
-
穿瑜伽裤爬山的女生会不会害羞?
上个月去爬太室山,前面就有个瑜伽裤女生,一个人,本来我按我的 -
为什么说耿直的人更容易吃亏?
举个例子,日本九州一名吃播UP,某天搞来了一瓶出口到日本的红 -
为什么一部分 Go 布道师的博客不更新了?
哈哈,首先我不是布道师,算是 go 语言的爱好者吧。 😄 自 -
周星驰电影的某些桥段是不是过于低俗?
蔡少芬怎么也想不到,因为拍戏时周星驰随口加了一句台词,让她多
最新资讯