表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
如何评价奥之心将于6月17日发布的OM-5 II相机?
为什么 Qt 这么难用?
DF-41已经可以打击美国本土,这是否相当于古巴导弹危机常态化?
为什么我觉得中国很谦虚,甚至有时候感觉中国对其他国家过分宽容,外国人却认为中国是列强呢?
为什么一部分 Go 布道师的博客不更新了?
搞了NAS之后去哪里下载4K,8K的电影?
为什么央视不再报道洛杉矶***了?
如何评价电影《碟中谍8:最后清算》?
为什么苹果手机杀后台现象频繁?是内存不够、后台管理严格还是其他原因呢?
台州和温州,那一座城市潜力大?
电话:
座机:
邮箱:
地址: