为什么Rust写个链表都那么难？
- 发表时间：2025-06-20 02:15:16
- 来源：
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则（Of course!和Why not?），导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话，要么回到引用计数垃圾回收的机制，要么手写mfree（Why not?）语句。
但这又回到了老路上，违背了Rust的目标。
但是只要我们提前知道链表的最大长度，那么就能写出来了。
例如：已知链表的最大长度是3，那么我们定义3个类型套一下即可。
问题就出在这里，“链表最大…。
推荐资讯
- 2025-06-20 15:35:18当年由上海发起，全国仿效的垃圾分类，现在为什么没人搞了？
- 2025-06-20 15:50:17如何评价鸿蒙电脑无法编写其自身运行的程序？
- 2025-06-20 16:25:18歼-20 在国际上到底是什么地位？
- 2025-06-20 16:55:17MiniMax Week第三天推出通用 Agent，体验如何？对行业会带来哪些影响？
- 2025-06-20 15:55:18有一个***约你出去，你会去吗？
- 2025-06-20 16:35:18你在出租房屋发现过什么前租客留下的“宝藏”？
- 2025-06-20 17:15:19大街上看到大白腿，忍不住瞄了两眼，算不算不尊重女性？
- 2025-06-20 16:45:18如何部署Prometheus监控K8S？
- 2025-06-20 15:50:17Rust 的设计缺陷是什么？
- 2025-06-20 16:05:17一米二的棍子打的赢三十厘米的刀子吗？
推荐产品
-
HTTP/3 解决了什么问题，又引入了什么新问题？
HTTP/3 实际上是 QUIC 协议 + HTTP2。 我 -
为什么腾讯云或者阿里云不让自建dns服务器?
公共DNS算电信业务，自建且不备案就是违规经营电信业务电信业 -
为什么好看的家一看就是国外的？
一些漂亮的家居图片，一看就是老外设计出来的。 似乎老外的设计 -
以色列为什么要打伊朗？
我来一次性说清楚，请相信我，n年前作为专业的文科生，我特别研
最新资讯