为什么Rust写个链表都那么难?
- 发表时间:2025-06-24 07:35:10
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-20 19:40:11国密加密算法有多安全呢?
- 2025-06-20 19:25:10北京电子科技学院、国防科技大学等多所高校明确不招复读生,怎样看待这一规定?
- 2025-06-20 20:35:10为什么openai的sdk只提供了python和js两个版本?
- 2025-06-20 19:45:11有没有人***正好撞到你擅长的领域上的?
- 2025-06-20 20:05:10为什么说Go语言的设计是工程先进但学术落后?
- 2025-06-20 21:05:11中国军队有多强,在世界能排第几?
- 2025-06-20 20:30:11消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
- 2025-06-20 20:20:10如何看待Ollama基于Go语言开发而不是别的编程语言?
- 2025-06-20 19:55:10为什么水泥封不住尸臭?
- 2025-06-20 21:00:11应该怎么对最新版本的Windows、MacOS、鸿蒙PC系统作出公正的评价?
推荐产品
-
为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
阿里腾讯抖音都非常想自建骨干网城域网,在每个城市最后几公里十 -
国产操作系统很多年没有搞成为什么有人会认为鸿蒙会成功?
迟早要被神吹给带死。 前提大条件,花大价钱打造一个新系统的 -
为何四川盆地文化影响力这么强?
听他们吹!!? 我一个湖北人做了四川上门女婿的心得就是,别看 -
深圳房价能跌到什么位置?
20250612夜,更新一些数据 月亮湾某极端旧改楼盘,最近
新闻动态
最新资讯

