当前位置: 首页 >
为什么Rust写个链表都那么难?
- 人气:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-21Vim 有什么奇技淫巧?
- 2025-06-21为什么现在的年轻人负债的越来越多?
- 2025-06-21有没有免费的语音转文字的软件?
- 2025-06-21特朗普表示美军阅兵式将超越奥运会或世界杯,这背后的意义和成本如何评估?
- 2025-06-21postgres集群的选择?
- 2025-06-21以色列为什么要打伊朗?
- 2025-06-21为啥 php 还有这么多人在用啊?
- 2025-06-21iOS开发新手入门应该学OC还是swift?
- 2025-06-21中国和加拿大差不多大,加拿大人口4千万左右他们过的好吗?
- 2025-06-21如何利用cursor快速理解复杂代码工程?
- 2025-06-21snipaste怎么安装?
- 2025-06-21媒体称以色列防空成本一晚近 3 亿美元,最多再撑 12 天,美方会支援吗?若无美补给结果会如何?
- 2025-06-21有什么好用的安卓本地音乐播放器推荐?
- 2025-06-21伊朗为什么不买中国战机,却坚持四十年用老旧的苏联米格29、美国F14雄猫战斗机?
- 2025-06-21Go 语言几乎打了所有 Programming Language 学者的脸,然而它却成功了,为什么?
- 2025-06-21世界上哪款战斗机最好看?
推荐产品
-
女明星做了什么医美项目保持童颜?
就在近日,许久不曾现身在大众面前的杨颖因为参加了一场活动而引 -
微软edge浏览器为什么逐渐被其他的浏览器代替?
微软周一宣布,将在欧洲停止目前Microsoft Edge的 -
如何看待鲍威尔6月19日的讲话,对于全球经济有何影响?
为了做足功课,特地去youtube上听了整个讲话。 鲍威尔 -
如果全球都停止出口粮食,中国能否自给自足?
不能,没有一丁点可能 根据海关总署数据,2024年共进口 小
热销产品
最新资讯