为什么Rust写个链表都那么难？
- 发表时间：2025-06-24 04:00:15
- 来源：
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则（Of course!和Why not?），导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话，要么回到引用计数垃圾回收的机制，要么手写mfree（Why not?）语句。
但这又回到了老路上，违背了Rust的目标。
但是只要我们提前知道链表的最大长度，那么就能写出来了。
例如：已知链表的最大长度是3，那么我们定义3个类型套一下即可。
问题就出在这里，“链表最大…。
推荐资讯
- 2025-06-23 02:10:14如何评价MiniMax开源首个视觉RL统一框架V-Triune，实现推理感知一肩挑，其技术上有何优势？
- 2025-06-23 01:35:15男人的快乐有多简单？
- 2025-06-23 01:50:15养乌龟是什么体会？
- 2025-06-23 02:20:15国内大厂现在用rust的多吗？
- 2025-06-23 02:30:15你觉得“苏超”联赛会一直办下去吗？
- 2025-06-23 02:05:15谷歌云服务宕机导致 OpenAI、Shopify 等服务中断，此次宕机的具体技术原因是什么？
- 2025-06-23 01:55:15女生真正的完美身材是什么样子？
- 2025-06-23 01:15:15多个充电宝或电芯品牌的 3C 认证证书被暂停，涉及罗马仕、安克、绿联、倍思、安普瑞斯等，发生了什么？
- 2025-06-23 02:05:15如何评价首个女性友好的编程语言HerCode?
- 2025-06-23 02:10:14systemd吞并了什么?
推荐产品
-
你见过身边身材最好的女生是什么样子的？
23年夏天在苏州一家潮汕牛肉火锅店 隔壁桌的一个女生，热裤加 -
Anthropic 推出的 Claude Code 是什么技术原理呢？
我使用Claude 一年多，最近尝试使用Claude Cod -
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗？
疫情期间， N95口罩严重缺货。 国内某汽车制造商，仅7天 -
是军舰上的大炮厉害还是陆军的大炮厉害？
完全没有可比性！ AK130型双管130毫米水冷式舰炮，它既
新闻动态
最新资讯