表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
2025 年 5 月份居民消费价格同比下降 0.1%,如何看待这一数据?
Node.js是谁发明的?
为什么鸿蒙PC要排斥Linux生态?
曾经的班花,现在还多少人惦记?
2025年了 Rust前景如何?
手机的运行内存真的有必要上16GB吗?
如何看待《剑星》已登顶 Steam 全球热销榜?
你的鱼缸里养过什么奇怪的鱼?
自己拥有一台服务器可以做哪些很酷的事情?
***拍大尺度片子时摄影师不会看光吗?
电话:
座机:
邮箱:
地址: