当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-25 14:00:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 网传广东怀集洪水后赵一鸣超市被哄抢,县***回应相关单位正在核实,若属实哄抢者该承担哪些法律责任?
- 利用爬虫技术能做到哪些很酷很有趣很有用的事情?
- 为什么一谈到Wi-Fi想支持6GHz,总有人说那你可以去国外?
- 广西桂军真的很厉害吗?
- 上海首例认定提供爬虫程序抓取公开数据构成提供侵入计算机信息系统程序罪案,该案件有哪些细节值得关注?
- ***移动在德国起诉小米侵犯4G专利,大家如何看待此***?
- 如何看待Ollama基于Go语言开发而不是别的编程语言?
- PS5 Pro 为什么不升级 CPU 呢?
- 大家猜猜伊朗的结局如何?
- 你卡过最厉害的bug是什么?
最新资讯文章
- 为什么国外网站总喜欢弹出cookie访问权限弹窗,国内网站却没有,这么做有什么意义?
- 空战的时候可不可以先击落预警机?
- 京东 CEO 称一线城市京东外卖全职骑手人均收入 1.3 万元,这属于什么水平?外卖员收入过万难不难?
- 有人说24GB和48GB内存容量是新一代电脑平台最均衡的方案,真的是这样吗?电脑内存应该如何选?
- JetBrains 的核心技术是什么?
- iPad Pro大概可以使用多久呢?
- systemd吞并了什么?
- 编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
- HTTP/3 解决了什么问题,又引入了什么新问题?
- 要不要帮导师装服务器?
- 家里想搞个服务器,有什么好的建议方案吗?
- switch2好用吗朋友们?
- Swift 和同时代的其他语言比起来怎么样?
- Mac 发展那么多年结果只能剪***吗?
- 2025年了,照相机为啥还这么难用?像素低还很贵?
- 如何看待「苏超」赞助商1个月增加超200%,达到中超2倍?
- 有没有一款音乐播放器,能连接nas音乐,创建音乐库,自动匹配歌词封面等等?类似infuse的概念呢?
- 电脑有64G的物理内存(DDR5 5200),完全够用了,可以关闭系统的虚拟内存吗?
- 世界上哪款战斗机最好看?
- 为什么都说 Finder 难用?