表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
周星驰为什么还不出新电影,是沒钱拍了还是钱已赚够了?
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
你看过哪些以为是段子新闻,结果发现居然是真的?
能分享一下你写过的rust项目吗?
各位都在用Docker跑些什么呢?
娃哈哈被曝 2025 年已关停 18 家工厂,此前曾回应纯净水由今麦郎代工,娃哈哈到底在布局什么?
FVCOM这个软件怎么样呢?
伊朗这次会崩溃灭亡吗?
为什么大家不再提星链了(包括外网)?
Rust1.86才正式稳定trait的upcast,为什么在rust中这个特性实现如此复杂?
电话:
座机:
邮箱:
地址: