为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-20 13:10:17为什么买了Switch后,却发现它并没有那么好玩?
- 2025-06-20 12:45:17如何评价人民网评关于集中整治违规吃喝的发文?
- 2025-06-20 12:00:18国产手机AI「好用」的背后,是技术差距还是文化差异?
- 2025-06-20 12:35:18如何评价中国电科研发的JY-10防空指挥控制系统成为伊朗防空指挥系统核心?
- 2025-06-20 12:45:17想给家里换个静音节能的燃气热水器,哪个品牌比较好?
- 2025-06-20 12:30:175挺马克沁机枪,能否击败50万重骑兵?
- 2025-06-20 11:55:18搞了NAS之后去哪里下载4K,8K的电影?
- 2025-06-20 13:25:17你卡过最厉害的bug是什么?
- 2025-06-20 12:25:16为什么警察执法有一点凶?有时候不会心平气和?
- 2025-06-20 11:45:18北京日报点名批评“苏超”过度娱乐化的动机是什么?
推荐产品
-
全国各地现理发店倒闭潮,没有电商冲击,理发店为什么自己能干黄?
我弟干理发店的,去年被我强按着把店给 0 元转让掉了。 他 -
rust在国内的前景如何?
1,找工作肯定很难找,或者说除一线城市外,几乎没有。 一线也 -
Windows的伟大之处在哪里?
现在手机的内存,动不动也12G,16G了,有时候还杀后台。 -
历史上有没有生活在三个及以上朝代的人?
俺姥爷,民国十一年生,这是我昨天拍的 平时还推着三轮车去
最新资讯