表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
有邻居的追求者出价三万,让我连续半个月每天找个女朋友晚上弄点动静,我该答应吗?
如何看待求是网转载小米汽车工厂宣传片?
超级喜欢穿短裙正常吗?
不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
如何评价《灵笼 2》第六集?
为什么 mac mini 的 m4 版本价格这么低呢?
网传广东怀集洪水后赵一鸣超市被哄抢,县***回应相关单位正在核实,若属实哄抢者该承担哪些法律责任?
如何判断鱼缸中的硝化系统是否已经成功建立?
男朋友因为打游戏骗我去睡觉被我识破,然后我提了分手,他同意了,问问男孩子们他怎么想的?
李连杰时隔多年复出参演武侠电影《镖人:风起大漠》,票房能爆吗?
如何评价《灵笼 2》第六集?
HTTP/3 解决了什么问题,又引入了什么新问题?
如何看待M4单核性能吊打9950x?
如何评价《灵笼 2》第六集?
有没有一个特别好用的Linux系统?