为什么Rust写个链表都那么难?
- 发表时间:2025-06-25 14:00:17
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-21 00:20:17相对于 Linux,Windows Server 存在的意义是什么?
- 2025-06-21 00:10:17有什么适合多人玩的我的世界模组或整合包?
- 2025-06-20 23:10:16你在出租房屋发现过什么前租客留下的“宝藏”?
- 2025-06-20 23:10:16公司规定所有接口都用 post 请求,这是为什么?
- 2025-06-20 23:05:16Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 2025-06-20 23:15:16你亲身接触过的日本人的印象是怎样的?
- 2025-06-20 23:15:16印度人为什么总觉得比中国强?
- 2025-06-21 00:15:17Golang web项目求推荐?
- 2025-06-20 23:55:17如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
- 2025-06-20 22:55:16php这个岗位在未来几年会消失吗,因为刚从事php有点焦虑?
推荐产品
-
如何看待河南985,211,清北名额各省第一?
C记者:河南的人口基数非常大,呼吁用人均985211高考配额 -
阿里网盘为什么没有动静了?
目前阿里云盘的现状,几乎是是跑路了,不知道谁还用这网盘开通会 -
伊朗发布「霍拉姆沙赫尔-4」导弹发射画面,被认为是伊朗破坏力最强导弹,其威力有多大?
这是把压箱底的玩意搬出来了。 伊朗王牌中的王牌导弹:“霍拉 -
polars到底行不行?
polars几乎全线碾压pandas,尤其是在大型数据集的情
新闻动态
最新资讯