表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
家里想搞个服务器,有什么好的建议方案吗?
女朋友学音乐的,给我备注 B大调音阶 是什么含义呢?
苹果的工程师画图纸的时候用的是苹果电脑还是Windows电脑?
瑜伽裤和牛仔裤哪个更显身材?
基因好是一种怎样的体验?
美国不交房产税会被赶人收房,那所谓的永久产权还有什么意义?
哪个牌子的护肤品好呀?想给妈妈买一套抗衰老的护肤品?
你心目中理想的办公环境是怎样的?
华为鸿蒙还有多久可以在pc桌面取代Windows?
怀孕你花了多久怀上?
美国不交房产税会被赶人收房,那所谓的永久产权还有什么意义?
可以分享你的一张背影照吗?
做好的flask项目怎么部署到服务器,使用公网ip可访问?
你在健身房发生过什么有趣的事情?
为啥大家都这么难戒赌?
国家统计局表示,青年人失业率连续 3 个月下降,现在找工作实际情况如何?