表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
如何看待德转更新王钰栋身价为 150 万欧元,比之前暴涨 110 万欧元?
广西桂军真的很厉害吗?
如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
如何评价苹果 3 月 5 日发布的 MacBook Air M4,相比前代有哪些提升?
为什么男生都不喜欢173身高的女生啊?
前端,后端,全栈哪个好找工作?
如何评价 Steam 新游《捞女游戏》(已改名《情感反诈模拟器》)?
穿瑜伽裤爬山的女生会不会害羞?
中办、国办发文,拟新建改扩建 1000 所以上优质普高,将带来哪些影响?可能面临哪些挑战?
华为官宣鸿蒙 HarmonyOS 5.1 将于 7 月开启升级,对此你怎么看?会选择第一时间升级吗?
电话:
座机:
邮箱:
地址: