表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
为什么零知识证明(ZKP)领域的开源项目几乎都用Rust实现?
你和你老婆是怎么认识的?
华为鸿蒙还有多久可以在pc桌面取代Windows?
只能选一个,你选谁?
为什么都认为无GC语言一定会比有GC语言要快?
新手平面设计师(方向美工)怎么有目的提升设计能力?
评价一下Proxmox VE与ESXi的优劣?
为什么负荷那么大的腰部力量训练的人不会受伤,长期无载荷久坐的人会出现腰肌劳损?
伊朗国家电视台称「伊朗对以色列停火」,此次停火能维持多久?
毕设答辩,老师说node不可能写后台怎么办?
电话:
座机:
邮箱:
地址: