为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-20 12:25:16Firefox是如何一步一步衰落的?
- 2025-06-20 13:15:17学习linux内核有什么好的书吗?
- 2025-06-20 11:35:19如何看待:“伊朗国家电视台:今晚会发生一件大事,世界将铭记几个世纪”?
- 2025-06-20 13:25:17做个web服务器,gin框架和go-zero怎么选?
- 2025-06-20 11:35:19微信服务器会保留聊天记录吗,会保存多久?
- 2025-06-20 11:40:18商业史上有哪些降维打击的经典案例?
- 2025-06-20 11:50:19NAS将来会被什么产品取代?
- 2025-06-20 12:40:17如果你有300万存款,你还会继续辛苦上班吗?为什么?
- 2025-06-20 12:30:17为什么日本人口密度这么大还能住一户建,中国只能住楼房?
- 2025-06-20 13:05:18伊朗到底有没有击落以色列的F35?
推荐产品
-
微信服务器会保留聊天记录吗,会保存多久?
谢邀。 微信不知道,互联网创业多年,我们收到的网信办等的要 -
Vue性能优于React,那为什么还不用Vue?
国内大多数公司都换 Vue 了,除了几个起步很早的大厂,其他 -
HTTP/3 解决了什么问题,又引入了什么新问题?
HTTP/3 实际上是 QUIC 协议 + HTTP2。 我 -
女生真正的完美身材是什么样子?
身高175,脚跟到肚脐108,体重63~67,肩宽41~43
新闻动态
最新资讯