为什么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:25:17什么是「雷军比较法」?雷军比较法为什么很火?
- 2025-06-21 05:20:16为什么一部分 Go 布道师的博客不更新了?
- 2025-06-21 04:25:16语雀后端从Node迁移到J***a说明了什么?
- 2025-06-21 04:15:15go为了编译速度减少了很多编译优化?为什么不能提供优化编译模式来提升运行效率?是太懒还是另有隐情?
- 2025-06-21 05:15:15为何同是象棋,国际象棋的棋子可以做的那么有设计感,而中国象棋的棋子形式似乎比较单一?
- 2025-06-21 04:20:16腾讯开源的 libco 号称千万级协程支持,那个共享栈模式原理是什么?
- 2025-06-21 05:10:1630马赫的导弹,近防炮能挡住吗?
- 2025-06-21 04:50:15为什么 macOS 并不差,可市场总敌不过 Windows?
- 2025-06-21 04:35:15顺产后的你们感觉夫妻生活还和以前一样吗?
推荐产品
-
055一打一能不能打过阿利伯克?
利益相关:军内 某单位兼职员工,对国内的所有军事设备都了解。 -
为什么小男孩小时候要比小女孩难养好多?
兄弟,你这还是噩梦的刚开始,过来人告诉你儿子的养育过程 三岁 -
真的有这种又苗条身材又爆炸的么?
我姐跟我科普过,胸基本上就两种,腺体胸和脂肪胸 腺体胸这种主 -
***拍大尺度片子时摄影师不会看光吗?
当年刚买相机没多久,约朋友拍照,刚开始就拍拍袜子,拍拍脚啥的
新闻动态
最新资讯
- 《三角洲行动》7.3日新赛季【破壁】,有什么值得期待的?
- 华为和硅基流动发布CloudMatrix384超节点部署DeepSeek的报告,对行业有何影响?
- 为什么 mac mini 的 m4 版本价格这么低呢?
- Go 语言几乎打了所有 Programming Language 学者的脸,然而它却成功了,为什么?
- “哨兵模式”涉嫌泄密,你支持封杀特斯拉吗?
- 有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
- 华为官宣鸿蒙 HarmonyOS 5.1 将于 7 月开启升级,对此你怎么看?会选择第一时间升级吗?
- 系统该怎样架构才能处理实时热点数据?
- 男子因眼睛小被小米汽车系统频繁误判疲劳驾驶,一路提醒20多次,这是智能汽车通病吗?怎么解决该 bug?