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

2025-06-24 15:35:14

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

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

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

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

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

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

为什么Rust写个链表都那么难?
广告位810*200
相关阅读
如何评价字节跳动开源的 Netpoll?

如何评价字节跳动开源的 Netpoll?

0 前言不久前曾经对 golang 原生的 net 网络库(...

2025-06-21
歼-20 在国际上到底是什么地位?

歼-20 在国际上到底是什么地位?

J20有且只有一个对手,就是F22。 苏57和F35就别来碰...

2025-06-21
小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?

小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?

可以说,红米的加入给死气沉沉的小屏平板市场注射了一剂强心针!...

2025-06-21
美国的一个航母编队真的可以完爆一个中小国家吗?

美国的一个航母编队真的可以完爆一个中小国家吗?

只是身在中国你不知道自己的强大而已! 拿一个中等国家一对比就...

2025-06-21
Apple 为什么不封杀 Flutter 呢?

Apple 为什么不封杀 Flutter 呢?

额……我一个纯H5打包的应用都能上架且支持内购,有啥不可以的...

2025-06-21