当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-24 23:30:15
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 几年前吹得神乎其神的福建舰电磁弹射为什么现在销身匿迹了?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 如何评价高圆圆的身材算是美女类型的吗?
- 据说Rust和WASM可以让J***ascript变得更强,有值得推荐的项目吗?
- 同样是对标安卓系统,为什么谷歌的Fuchsia死了,而华为的鸿蒙却愈发壮大?
- 如何自己搭建家庭服务器?
- 为什么开发一个 AI Agent 看似容易,但真正让它「好用」却如此困难?技术瓶颈主要在哪里?
- 韦东奕(北大韦神)要是去写游戏引擎代码,能不能把虚幻引擎按在地上摩擦?数学好真能‘降维打击吗?
- HTTP/3 解决了什么问题,又引入了什么新问题?
最新资讯文章
- J***a 除了 Spring 还有什么?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 是什么原因导致HDR无法推行?
- 如何看待凤凰传奇取消天津场演唱会?
- 中餐炒菜那么好吃,为什么欧美人不学去?
- 美国国务卿称将开始吊销中国学生签证,包括在关键领域学科学生,影响有多大?在美中国留学生该怎样应对?
- 如何看待 TS SwiftUI flutter 三家?
- 为何本田不给我们2.0T的雅阁,真的是有钱不赚吗?
- Linux下监控流量一般使用什么工具?
- 以色列为什么突然敢打伊朗了?不怕被报复?
- 日本AV对中国人的毒害有多大?
- 多个充电宝或电芯品牌的 3C 认证证书被暂停,涉及罗马仕、安克、绿联、倍思、安普瑞斯等,发生了什么?
- 中餐炒菜那么好吃,为什么欧美人不学去?
- 如何电脑下载Adobe audition?
- 新手准备养鱼,请教大神需要什么东西?
- 夸克网盘有可能超越百度网盘吗?
- 鱼缸能不能做到一直不换水还很清澈?
- 央企的信创,是否有必要把 spring 替换成国产的 solon ?
- 为何本田不给我们2.0T的雅阁,真的是有钱不赚吗?
- 预测一下,下一次阅兵会出现什么武器震惊世界?