表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
CAD如此难用为什么还没有淘汰掉?
为什么说 1366 * 768 是「反人类」的分辨率?
把贵州省撤销,设立一个超大型国家自然公园,是不是一个好的提法?
如何评价林志玲?
一个坚持练搏击二十年的70岁老人,能打过30岁同样体重的普通人吗?
小腿能粗到什么地步?
为什么中国开发不出流行的编程语言?
MacBook的诱惑在哪里?
怎么才能有尤雨溪一半强,该怎么学习?
2025 年 6 月,Rust 在 GUI 方面有何大的进展? 你最看好哪个框架?
你见过最恶心的邻居是什么样子?
广州的你,择偶标准怎样的?
如何看待贾玲、沙溢、贾冰、杨天真、范湉湉均瘦身成功?为什么明星想瘦就瘦普通人却很难?
为什么 Bun 选择了 Zig 以及 JSCore?
为什么美国程序员工作比中国程序员工作轻松、加班少?
27寸显示器是否有必要到4K?