表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
微软edge浏览器为什么逐渐被其他的浏览器代替?
如何评价腾讯云SDK的GO语言仓库有20万个tag?
在NAS上安装了什么应用,让你的生活体验有了巨大的提升?
全世界都在等中美开战吗?
电影《碟中谍》系列中哪一部最好?
如何评价捞女游戏改名,全网“围剿”,以及导演b站账号被封这件事?
如何看待M4单核性能吊打9950x?
如何看待特朗普最后关头取消对伊朗的军事行动?
有哪些是你用上了mac才知道的事?
为什么任天堂在NS2上没有选择使用OLED屏幕以提升续航能力和显示效果?
电话:
座机:
邮箱:
地址: