表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
如何评价电影《F1:狂飙飞车》?
吵架后,老公快一个星期不联系,是要离婚的节奏吗?
日本AV对中国人的毒害有多大?
obsidian用一两年后会有多大?全文搜索还快吗?
如何看待特朗普声称与中国签署了贸易协议?感觉美国在使炸,目的是逼其它国家签订贸易协议?
白酒为什么不能冰镇之后喝?
学习pr从那个版本开始比较好?
NextJS的全栈能力现在如何了?
Flutter 为什么没有一款好用的UI框架?
IT行业夫妻双双被裁,想去新西兰闯一闯可以吗?
电话:
座机:
邮箱:
地址: