为什么Rust写个链表都那么难?
- 发表时间:2025-06-25 14:00:17
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-22 03:20:15冬天也要穿胸罩吗?
- 2025-06-22 03:15:14软路由怎么没有人玩了?
- 2025-06-22 02:10:15中国 5 月 Swift 人民币在全球支付中占比下降至 2.89%,背后的原因和未来的发展趋势是什么?
- 2025-06-22 02:25:15如何看待多地推出升级版「禁酒令」?
- 2025-06-22 02:45:15如何客观评价中国 2025 军事实力?
- 2025-06-22 02:40:15编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
- 2025-06-22 02:10:15OSI 协议与 TCP / IP 协议有什么差别?
- 2025-06-22 02:20:15《捞女游戏》发售仅一天同时在线超 6330 人,如何看待游戏的销量?
- 2025-06-22 02:55:15如何基于Docker进行开发?
- 2025-06-22 02:05:16为什么有人觉得在简历上写 QQ 邮箱很掉分?
推荐产品
-
ssd固态硬盘sata的好还是m.2好呢?
别听其他人给出的什么技术指标回答,没太大意义。 我用自己亲自 -
大a下一个牛市多久到来?
历史上,每次市值收益率向上突破接近或者直接突破净资产收益率的 -
养乌龟如何降低换水频率?
为啥要换水,添水即可 来点挺水植物,太阳底下多晒晒,晒出绿毛 -
Gradle 是否已经对安卓的发展构成了阻碍?
Gradle 没有对安卓构成了阻碍,对安卓构成了阻碍的是:
最新资讯