表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
docker有哪些有趣的用途?
程序员看剧的时候,如果看到有敲代码页面,会暂停看代码吗?
请问27寸4K显示器哪个好呀?
***如你财务自由,是买一个大平层还是买一个大别墅?
为什么是 9 月 3 日阅兵而不是 10 月 1 日国庆阅兵?
广西柳江上游出现锑浓度异常,市民称需从消防栓接水或买水,锑可能带来哪些危害?当地需如何妥善解决?
广西,如何才能发展起来?
什么是你去了台湾才知道的事?
做网页开发时,允许用户输入url图片地址来作为自己的头像有什么风险?
电话:
座机:
邮箱:
地址: