表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
你们在公司是怎么使用k8s和docker的?
有个漂亮女朋友是种怎样的体验?
导弹真的可以洗地吗?
你读过的最好的 Rust 开源代码是什么?
俄罗斯为什么不归还中国的领土以换取中国的军事装备?
美军 B-2 轰炸机参与袭击伊朗核设施,B-2轰炸机战斗力如何?会摧毁伊朗核设施吗?
中国 5 月 Swift 人民币在全球支付中占比下降至 2.89%,背后的原因和未来的发展趋势是什么?
伊朗是个怎么样的国家?
如何评价VICC的R7?
好想问问大家在广州增城上车买房的真实体验,真的不能买吗?
电话:
座机:
邮箱:
地址: