为什么Rust写个链表都那么难?
- 发表时间:2025-06-26 08:35:17
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-22 10:40:17科学怎么解释中医把脉孕检,并且知道怀的男孩女孩?
- 2025-06-22 10:00:17鸿蒙是换皮安卓吗?
- 2025-06-22 09:20:17如何看待英伟达新推出的显卡5090dd?
- 2025-06-22 10:05:16如何看待机器之心重测高考数学全卷,Gemini夺冠,豆包DeepSeek并列第二?
- 2025-06-22 09:35:17哪张照片让你觉得刘亦菲美得不可方物?
- 2025-06-22 09:25:16统一推送联盟为什么会失败?深层原因是什么?
- 2025-06-22 10:30:17服务器能否拒绝非浏览器发起的HTTP请求?
- 2025-06-22 10:15:17程序员从幼稚到成熟的标志是什么?
- 2025-06-22 09:40:16字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
- 2025-06-22 09:45:16中国特有的狸花猫有多强大?
推荐产品
-
为什么 WebStorm 这么好用还会有人去用 VSCode?
真正的前端:vscode 虚***的前端:webstorm我 -
无畏契约(valorant)在国内为什么这么火?
最近再补一个吧,一个fps游戏,居然不强调第一枪 One t -
有一个乌克兰的朋友问我,中国人凭什么能享受和平,我该怎么说?
无他,主要因为中国人脑子好使。 不信可以试试,你在中国街头 -
以前大力推广的沼气池,怎么现在越来越少了?
2003年~2010年,鼓励农村修建沼气池,说这东西不仅能解
最新资讯