为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-26 13:40:18PostgreSQL 与 MySQL 相比,优势何在?
- 2025-06-26 12:05:18PHP现在真的已经过时了吗?
- 2025-06-26 12:55:18如何评价张靓颖刘宇宁《九万字》?
- 2025-06-26 13:45:17为什么都说 Finder 难用?
- 2025-06-26 13:20:17如何看待某日本小学校园餐只有一小块鸡肉?
- 2025-06-26 11:50:19用PHP写了个小框架,怎么才能得到大佬们的指点?
- 2025-06-26 13:00:18你们的爸妈是怎么发现你抽烟的?
- 2025-06-26 12:25:18如何评价前端组件库shadcn/ui?
- 2025-06-26 12:00:19为什么大部分人都认为2560x1440是2K?
- 2025-06-26 12:35:18中了一个亿 你会做什么?
推荐产品
-
***如你是负责核弹发射的人员,一天你正在值班,突然收到了发射核弹的命令,这种情况下你会按下发射按钮吗?
你以为的发射核弹: “xxx,立即向美国的xx城市发射核导弹 -
为什么用 electron 开发的桌面应用那么多?
在桌面应用开发的漫长历史中,我们见证了技术范式的演进:从 j -
如何看待不超过1879元的Mac mini(M4+16/256GB+票),易用性吊打同级其他台式电脑?
如果内置硬盘能换,那么很超值。 不过没理解错的话,mac -
美国下场轰炸伊朗,这次我国为什么要这么直白的谴责美国?
前几天,国内还有一些专家嘲笑美国阅兵表现拉胯、不踢正步、形象
新闻动态
最新资讯