当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-25 14:00:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 如何看待三峡集团总部搬迁至武汉?
- 亚洲体坛最漂亮的十位女运动员都有谁?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 电视剧《长安的荔枝》17-20 集拍得如何?有哪些值得关注的剧情点?
- 如何评价《灵笼 2》第六集?
- 为什么上海、宁波那么近要搞两个港口?不会恶性竞争么?
- 为什么不用rust重写Nginx?
- 有没有免费的软件能够提取***中的音频转文字?
- 特朗普表示美军阅兵式将超越奥运会或世界杯,这背后的意义和成本如何评估?
- 有没有一个特别好用的Linux系统?
最新资讯文章
- 你们跟网友面过基吗?翻车了吗?
- 《欢天喜地七仙女》中 「仙女下嫁凡人」 的设定,在今天是否过时?
- 个人开发者或小企业不申请经营性ICP备案,怎样开发APP盈利?
- 阿里网盘为什么没有动静了?
- 055驱逐舰的战力被低估还是被高估?
- 印度女性为什么不嫁到中国?
- 如何看待伊朗导弹打击以色列医院?
- 为什么工厂流水线的工人们宁愿每天做重覆的工作也不愿意去学一门技术?
- 异性同办公室久了会不会日久生情?
- 你最喜欢《临高启明》的哪个段落?
- 为什么当今 Web 应用不都***用 WebSocket 形式进行数据交互?
- 055驱逐舰的战力被低估还是被高估?
- DeepSeek 那么厉害为什么要开源?
- 顺产后的你们感觉夫妻生活还和以前一样吗?
- 女生被踢裆也会很疼吗?