表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
江西明天查分了,想问问大家现在心态如何?
为什么女性内衣很少有人穿前扣的?
韦东奕(北大韦神)要是去写游戏引擎代码,能不能把虚幻引擎按在地上摩擦?数学好真能‘降维打击吗?
PostgreSQL 与 MySQL 相比,优势何在?
下载的4k电影没有b站的4k清晰,是什么情况啊?
该怎么反驳有的人说;“东德和西德,朝鲜和韩国就是上帝摆出来最大的例子”?
韦东奕的牙怎么没了?
扫黑风暴为什么他们费老大劲杀这么多人不如直接把督导组干掉?
为啥我去了趟淄博,感觉没有网上说的那么好?
Chrome 浏览器设计的神细节有哪些?
电话:
座机:
邮箱:
地址: