当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-23 20:55:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- Go 语言几乎打了所有 Programming Language 学者的脸,然而它却成功了,为什么?
- 软路由是否被过度神化?
- 程序员都在用什么显示器写代码?
- 为什么苹果不封杀「爱思助手」「iTools」这类软件?
- 平面设计真的很难做吗?
- 数码宝贝1,2部里有哪些容易被忽略的小细节?
- 我去年查出来女性***两性畸形,目前16,高二,住男寝,怎么办?
- 大家的NAS都是24小时不关机吗?
- 用J***a写Android的时代是不是要结束了?
- 为什么越来越多的车主放弃开顺风车,情愿一个人独自开车?
最新资讯文章
- 微软edge浏览器为什么逐渐被其他的浏览器代替?
- 可以随身携带一个Linux系统吗?
- 华为和硅基流动发布CloudMatrix384超节点部署DeepSeek的报告,对行业有何影响?
- Linux下监控流量一般使用什么工具?
- 为何本田不给我们2.0T的雅阁,真的是有钱不赚吗?
- 为什么手机 NFC 功能基本上用不起来?
- 显卡丐版和旗舰有什么区别?
- 家里想搞一个服务器,怎么才不违规?
- 为什么感觉wps的用户越来越多,office没人用了?
- 现在是2025年6月,现在的房价是阴跌还是暴跌?还会继续跌多久?是否已经开始分化?
- 养了近十年的草龟要不要放生?
- 马兰基地巨型飞翼无人机的出现是否代表制造b21 类似物对于中国来说不再是个难题。?
- PHP现在真的已经过时了吗?
- 我的设计作品很烂嘛?
- 目前美军还有哪些领域是明显领先于解放军的?