表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
「绝世美女」都有什么特点?
为什么国内连 Docker 镜像源都要封禁?
请问买个nas,能够直接把游戏装进去吗?
什么是稳定币?有人说它是「一场饮鸩止渴的游戏」,你怎么看?
如何评价高圆圆的身材算是美女类型的吗?
HTTP/3 解决了什么问题,又引入了什么新问题?
为什么现在很多人推崇国外原版教材?
程序员如何用好 Cursor 工具?
什么笑话让你看一次笑一次?
34 岁教授王虹在北京大学开数学讲座,她或将成为首位获得菲尔兹奖的中国籍数学家,有多厉害?
电话:
座机:
邮箱:
地址: