当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-25 14:30:18
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 能不能发一张你相册里最好看的自拍照?
- 有人说x86是条必沉的船,苹果早就跳船了,微软也有弃船的意图,你怎么看?
- 韦东奕的牙怎么没了?
- “飞机是最安全的交通工具”这种说法,是否是谬论?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 健身为什么要多练腿?
- 什么事情让你体验到 JPEG 和 RAW 的差别?
- 魔兽世界有必要4k吗?
- 小米澎湃OS真的很不行吗?
- 中医为什么提倡禁一切寒凉之物?
最新资讯文章
- Intel为什么不取消AMD的X86架构授权?
- 你这一生 ,悟出最大的一个道理是什么 ?
- 英特尔的衰落,是因为真正做事的工程师被挖了?还是公司战略出问题?
- 如何设计一条 prompt 让 LLM 陷入死循环?
- 鸿蒙PC操作系统是不是就是手机操作系统?
- 大家有什么被中医震惊征服的经历吗?
- 为什么电动车都突破 800 km 续航了,还是无法消除里程焦虑?
- 韦东奕的牙怎么没了?
- 索尼互动娱乐宣布 PS6 的开发工作已经全面启动,你会如何期待索尼的下一代游戏主机呢?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 有哪些事情是MacOS做不到但Linux可以做到的?
- 如果苹果真的下架了微信的话,会发生什么?
- 为什么微信不向telegram学习?
- 小腿能粗到什么地步?
- Linux 下有没有类似 Everything 的搜索工具?