为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-21 00:35:17如何看待jemalloc停止维护?
- 2025-06-21 02:05:17机械硬盘的盘片轴承是如何避免磨损的?
- 2025-06-21 01:55:17k8s最稳定的是那个版本?
- 2025-06-21 00:45:17可以随身携带一个Linux系统吗?
- 2025-06-21 02:15:16苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 2025-06-21 02:15:16为何雷军天天健身,却无健身痕迹?
- 2025-06-21 01:40:17群晖端部署了emby,盒子安装了客户端播放蓝光电影为什么不能显示影片自带字幕?
- 2025-06-21 01:40:17有哪些你去旅行后祛魅的城市?
- 2025-06-21 01:55:17华为 HDC 发布 HarmonyOS 6 开发者 beta 版对应用开发者和鸿蒙生态有哪些影响?
- 2025-06-21 00:40:17你曾经开过最烂的车是哪款车?
推荐产品
-
为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
阿里腾讯抖音都非常想自建骨干网城域网,在每个城市最后几公里十 -
群晖端部署了emby,盒子安装了客户端播放蓝光电影为什么不能显示影片自带字幕?
搭建了一个emby公益服,但是经常会出现欧美剧没有中文字幕的 -
联想 128GB 超大内存迷你 AMD 主机上架,此款主机有哪些亮点?
问题:锐龙AI Max+ 395卖多少钱? 只看到闲鱼一个报 -
长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
长期来看,其实Windows系统远比我们想象中的要稳定,30
最新资讯