为什么Rust写个链表都那么难?
- 发表时间:2025-06-24 07:35:10
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-28 23:20:12我上大一,需要买电脑,一共9000,但我妈说她给我3000,我心里很不舒服,怎么办?
- 2025-06-28 23:20:12网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 2025-06-28 22:20:11深圳的人口最终会剩下多少?
- 2025-06-28 23:45:11Akid(王懿)怎么会饿死的?
- 2025-06-28 22:40:11儿子抑郁四年左右了,他的未来该怎么办?
- 2025-06-28 23:25:11为什么苹果从来不宣传内存?
- 2025-06-28 22:15:11鱼缸换水前为什么必须要困水?如果没条件困水怎么办?
- 2025-06-28 23:15:11为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?
- 2025-06-28 23:30:12为什么 Rust 在前端领域这么活跃?
- 2025-06-28 22:30:11伊朗距离以色列上千公里,发射的导弹靠什么来导航定位呢?美国的GPS不会让他们用的。?
推荐产品
-
为什么抖音上的姑娘都那么好看,现实中我怎么一个也见不着?
我拿网上非常火的两个颜值主播举例。 一个是迅猛龙特蕾莎,她 -
有没有什么好用的***分享?
整理出这份***库,所有文件均来自公开网络渠道 100本哲学 -
为什么盗版音乐已经被严格限制了,而中国音乐却还是没有发展起来?
这真的像极了广电在问:为什么人们都不看电视了,这些搞垄断的确 -
你们学校的校花都是怎么样的?
初中一个同学,叫欣欣,当时上学的时候感觉她一般,肯定不算丑,
新闻动态
最新资讯

