表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
有没有一个特别好用的Linux系统?
剪映为什么显卡会跑满?
大街上看到大白腿,忍不住瞄了两眼,算不算不尊重女性?
B站的众多教做饭和烹饪的厨师up主的资历与实力应如何排序?
中国驻伊朗大使馆发文,在伊朗中国公民尽快通过陆路边境口岸转道回国或离境,哪些信息值得关注?
2025年,歼16与美军机50分钟缠斗,为什么知乎上没有任何消息?
花旗预测未来几季金价将回落至每盎司 3000 美元以下,这其中有哪些相关依据?
现在的中国打的过美国吗?
如果你是《一帘幽梦》里的绿萍,你会不会最后原谅紫菱?
HUAWEI的折叠笔记本非凡大师能用于编程吗?
电话:
座机:
邮箱:
地址: