表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
如何看待苹果公司撤下“说服父母给你买一台 Mac”的广告***,上线仅一天?
作为一个服务器,node.js 是性能最高的吗?
为什么家里要用 NAS?家用 NAS 有哪些实际的、接地气的用途?
你身边身材最好的女生是什么样?
小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?
中年夫妻有多少是生活和谐的?
生活中怎样的美女才能被称为「大」美女?
苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
为何中国反复升级轰六轰炸机群?
为什么中国男性正在集体退出相亲市场?
电话:
座机:
邮箱:
地址: