表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
前端,后端,全栈哪个好找工作?
什么笑话让你看一次笑一次?
显示器选32还是27,2k还是4k?
Swift 和同时代的其他语言比起来怎么样?
如何评价捞女游戏改名,全网“围剿”,以及导演b站账号被封这件事?
冬天也要穿胸罩吗?
美国搞出个“稳定币”,到底是什么?其它国家是如何看待稳定币的?
为什么任天堂在NS2上没有选择使用OLED屏幕以提升续航能力和显示效果?
如何看待 Three.js / WebGL 等前端 3D 技术?
美军 B-2 轰炸机参与袭击伊朗核设施,B-2轰炸机战斗力如何?会摧毁伊朗核设施吗?
电话:
座机:
邮箱:
地址: