为什么Rust写个链表都那么难?_安徽省安庆市望江县格只实验室家具有限公司

+86 0000 88888

推荐产品

  • 前端真的已经凉了么?
  • 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
  • Excel 到底有多厉害?
  • 怎么学习前端开发?求推荐学习路线?

联系我们

邮箱:admin@admin.com
电话:+86 0000 88888
地址:广东省广州市番禺经济开发区 在线咨询

行业新闻

为什么Rust写个链表都那么难?

发布日期:2025-06-23 22:30:16 浏览次数:

表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。

但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。

但这又回到了老路上,违背了Rust的目标。

但是只要我们提前知道链表的最大长度,那么就能写出来了。

例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。

问题就出在这里,“链表最大…。

为什么Rust写个链表都那么难?