为什么Rust写个链表都那么难?
- 发表时间:2025-06-24 01:10:15
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-29 04:35:15为什么MacBook pro不用高刷新率的屏幕?
- 2025-06-29 04:55:14未来几年,市场对 AI 人才的需求会集中在哪几个方向?
- 2025-06-29 05:00:15为什么m4max可以轻松堆128g显存,nvidia消费端显卡却长期被限制在24g?
- 2025-06-29 04:45:15有网友称相机电池不能上飞机了,哪怕是原厂电池只要没有 3C 标志就不行,是真的吗?这规定合理吗?
- 2025-06-29 05:10:14女生真正的完美身材是什么样子?
- 2025-06-29 05:15:14初次 DIY 电脑时都犯过哪些低级错误?
- 2025-06-29 04:30:14广西桂军真的很厉害吗?
- 2025-06-29 05:10:14如何进入开源软件世界提升自己?
- 2025-06-29 03:45:14有哪些是你用上了mac才知道的事?
- 2025-06-29 03:35:152025年,Gitea 和 GitLab 应当如何选择?
推荐产品
-
2025年,Gitea 和 GitLab 应当如何选择?
上家公司用 GitLab,上上家公司用 Gitea,刚好我负 -
广西,如何才能发展起来?
很 简单的道理,先看看合肥、贵阳、昆明、襄阳、金华、江门、中 -
美国为什么不发展高铁?
我在美国坐了一趟火车,才明白为什么他们不建高铁 去年在洛杉矶 -
以前大力推广的沼气池,怎么现在越来越少了?
2003年~2010年,鼓励农村修建沼气池,说这东西不仅能解
新闻动态
最新资讯