表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
为什么 Bun 选择了 Zig 以及 JSCore?
电脑需要更新windows11吗?
魔兽世界有必要4k吗?
macOS 系统有哪些软件可以被你评为“必装”?
现在还有人一直坚持使用 Eclipse,不使用 IntelliJ IDEA 吗?
你在出租房屋发现过什么前租客留下的“宝藏”?
obsidian用一两年后会有多大?全文搜索还快吗?
真的没有人觉得2k是一个很尴尬的分辨率吗?
如何评价最新发布的 vivo X Fold5,作为首款「三防」折叠屏手机,都有哪些亮点值得关注?
做引体向上可能会诱发腰肌劳损吗?
电话:
座机:
邮箱:
地址: