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

2025-06-25 13:30:16

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

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

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

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

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

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

为什么Rust写个链表都那么难?
广告位810*200
相关阅读
有哪些值得推荐的 Rust 应用案例?

有哪些值得推荐的 Rust 应用案例?

本文从零开始,通过多版本迭代,实现一个安全的 Rust on...

2025-06-26
用什么编辑器写Matlab比较好使?

用什么编辑器写Matlab比较好使?

VSCode 目前Matlab官方在VSCode写了一个插件...

2025-06-26
如有如此漂亮的女友,该怎么办,才能不弄丢?

如有如此漂亮的女友,该怎么办,才能不弄丢?

很莫名邀请这个问题,但是很巧午觉刚睡醒我又很闲,无聊到想分析...

2025-06-26
小区楼下的自动售水机的水干净吗?

小区楼下的自动售水机的水干净吗?

说实话,别在小区楼下售水机里打水喝了,我喝了半月,发现再不能...

2025-06-26
Electron 做游戏客户端的潜力有多大?

Electron 做游戏客户端的潜力有多大?

捞女游戏 是Electron做的。 但是不代表Electr...

2025-06-26