为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-21 04:15:15有什么好的录屏软件吗?要免费且好用的,可以录电脑播放的***?
- 2025-06-21 05:00:17小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?
- 2025-06-21 05:00:17如何看待 WebAssembly 这门技术?
- 2025-06-21 04:15:15导师给了1.4W要我给工作室买个主机,是整机还是自己配?
- 2025-06-21 04:50:1530岁了,你在深圳过着什么样的生活?
- 2025-06-21 04:10:16有哪些外行看起来很陋(low),但是内行人却觉得很高大上的东西?
- 2025-06-21 04:30:16网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 2025-06-21 04:50:15作为爸爸,你给闺女洗澡洗到多大?
- 2025-06-21 05:00:17rust 解决了什么问题?
- 2025-06-21 04:35:15为什么微软还没有倒闭?
推荐产品
-
Gemini 2.5 Flash 和Pro稳定版上线,和之前版本相比,在性能和应用场景上有哪些提升?
现在AI届有两大羊毛,一个是Cursor的edu邮箱用户可以 -
有没有免费的语音转文字的软件?
AsrTools2:功能特点:在 GitHub 上完全免费, -
JetBrains 放弃 AppCode 是否是一个错误决定?
不算错误。 没人会用AppCode写objc和swift的 -
有没有免费的语音转文字的软件?
AsrTools2:功能特点:在 GitHub 上完全免费,
最新资讯