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

2025-06-24 15:35:14

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

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

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

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

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

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

为什么Rust写个链表都那么难?
广告位810*200
相关阅读
一枚东风41能直接干掉一艘航母吗?

一枚东风41能直接干掉一艘航母吗?

打不掉! 因为东风41发射前要注入坐标,是打固定目标的。 考...

2025-06-20
你从什么时候开始感觉孩子不属于你了?

你从什么时候开始感觉孩子不属于你了?

闺女今年11岁,五年级,马上就要小升初了,她跟同学约好,期末...

2025-06-20
美国不交房产税会被赶人收房,那所谓的永久产权还有什么意义?

美国不交房产税会被赶人收房,那所谓的永久产权还有什么意义?

美国的土地是永久产权,中国的商品房的房产证上可是写着国有土地...

2025-06-20
你做过最抽象的事情是什么?

你做过最抽象的事情是什么?

不知道算不算抽象,但是我觉得很好玩,到现在都没跟别人说过这个...

2025-06-20
以色列为什么突然敢打伊朗了?不怕被报复?

以色列为什么突然敢打伊朗了?不怕被报复?

最根本的是伊朗一周左右能造出核武器 这个五常都忍不了的。 。...

2025-06-20