当前位置: 首页 >
为什么Rust写个链表都那么难?_青海省果洛藏族自治州玛沁县拍黎洁雕塑股份公司
文章出处:网络 人气:发表时间:2025-06-23 22:30:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- uni***真的很垃圾吗?
- 北京日报点名批评“苏超”过度娱乐化的动机是什么?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 如何看待 Mac mini M4 支持可更换 SSD?
- 如何看待亮亮丽君夫妇中的女主又怀孕?
- 为什么广州地铁这么多人不懂得先下后上,将中间的位置留出给下车的人?
- 人类有希望走出***系吗?
- 现在个人博客不能备案了吗?
- 北京邮电大学和西安电子科技大学对比,实力如何?
- 长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
最新资讯文章
- 为什么美国这么强大?
- 如何评价尤雨溪?
- 《凡人修仙传》的韩立有 72 把金雷竹做的剑,其他人看见了不觉得奇怪吗?
- vue 框架开发的项目结构是如何搭建的?
- 如何评价伊朗国家电视台宣布今晚将发生大事,让世界铭记几个世纪?
- 目前亚洲最厉害的五款战斗机是什么?
- 为什么微软在已处于劣势的情况下还要搞 MAUI 这么一个连 Linux 都不支持的「跨平台GUI」?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- Rust连续多年成为最受欢迎的语言,为啥国内使用的人还是很少?
- 从2025年开始,为什么很多程序员都扔掉了Windows、Mac和Linux,开始拥抱鸿蒙pc了?
- 如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 苹果从 2026 年发布的 macOS 27 起不再兼容任何 Intel Macs,这背后原因有哪些?
- 为什么抖音上的姑娘都那么好看,现实中我怎么一个也见不着?
- 蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
- 你的鱼缸里养过什么奇怪的鱼?
- 怎么看swift的并发模式选择了actor模型?
- 如何评价浙江这个省?
- 马上领证了,发现男朋友离不了游戏,让他少打游戏他会非常生气,正常吗?
- 为什么 Blender 成功了?
- 为什么感觉腾讯的风评越来越好了?