表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
哪些音频剪辑工具很好用?
为什么linux桌面那么丑?
什么时候你开始发现俄罗斯不过如此?
国产手机APP为什么越来越臃肿?
Postgres 和 MySQL 应该怎么选?
长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
女明星穿瑜伽裤出门是什么体验?
公司已经裁掉我了,还在继续安排大量工作给我,这合适吗?
《权力的游戏》里面最美的是谁?
为什么程序员独爱用Mac进行编程?
电话:
座机:
邮箱:
地址: