为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-20 19:15:15国产数据库有什么坑?
- 2025-06-20 19:35:16新买的移动硬盘该格式化为 NTFS 还是 exFAT?
- 2025-06-20 20:20:16rust 解决了什么问题?
- 2025-06-20 19:30:16count(*) count(1)哪个更快?
- 2025-06-20 20:30:18你后悔娶了现在老婆吗?
- 2025-06-20 19:10:16老板说我设计了一周的海报还是不行,我到底该怎么学啊?
- 2025-06-20 20:00:15北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?
- 2025-06-20 20:25:15现今大部分哺乳动物都是六千万年前恐龙灭绝后的同一种哺乳动物的后代吗?
- 2025-06-20 19:15:15为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
- 2025-06-20 20:50:15打算在苏州买房,请推荐。苏州的房价怎么样了?
推荐产品
-
网传《碟中谍 8》亏损可能超 14 亿,是真的吗?这背后的原因是什么?
《碟中谍8》的问题应该是多方共同导致的结果一、7和8分成上下 -
坚持使用 PHP 的你,如今有什么感悟?
做了十年php开发,做到了技术经理。 2020年开始每入职一 -
为什么说男人至死都是少年?
老公38岁。 今天晚上回来看到洗手台上堆好多石头,我刚开始 -
Office 中为何还要保留 Access 数据库?
我是做会计的,一直挺自豪Excel用得不错,确实也在工作中提
最新资讯