表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
为什么不用rust重写Nginx?
如何评价小米 6 月 26 日发布的小米 YU7、MIX Flip2、REDMI K80 至尊版?
大家在广州的一天是怎么样的呢?
养乌龟只养一只,它觉得会孤独吗?
能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
为什么长得漂亮却没什么用?
据报道称“浏览器内核有上千万行代码”,浏览器内核真的很复杂吗?
女生真正的完美身材是什么样子?
健身教练们觉得女生怎样的身材才是好身材?
在C中,如何实现删掉一行注释无法运行?
有哪些事情是MacOS做不到但Linux可以做到的?
感觉失业就会死,求生路!?
小米 AI 眼镜发布,售价 1999 元起,有哪些功能亮点?你看好其市场前景吗?
为啥苹果不给 MacBook Pro 加上这些特性?
为什么感觉淘宝现在不如拼多多了?
苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?