表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
为什么特斯拉坚持用纯视觉智驾?
到底是时代选择了Nvidia,还是Nvidia选择了时代?
为什么突破性的技术总是最先发生在西方?
为什么QQ上的网络状态没有了?
为什么我养的龟忽然死了?
新手养鱼,鱼缸中能放入哪些水草?
后端真的比前端累吗?
为什么Intel和AMD不像苹果那样在PC上搞SoC?
如何看待极客湾评测麒麟X90的性能与表现?
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
前端如何设计网页?
你见过身边身材最好的女生是什么样子的?
男人的快乐有多简单?
现在大模型比较火,看着主流都是用Python。那Spring AI会坚持到最后吗?
极客湾评价小米芯片客观么?