当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-25 14:00:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 你见过最无用的节俭行为是什么?
- 索尼互动娱乐宣布 PS6 的开发工作已经全面启动,你会如何期待索尼的下一代游戏主机呢?
- 未来几年,市场对 AI 人才的需求会集中在哪几个方向?
- 你卡过最厉害的bug是什么?
- docker有哪些有趣的用途?
- 为什么当领导的不能把话说明白?
- 苹果从 2026 年发布的 macOS 27 起不再兼容任何 Intel Macs,这背后原因有哪些?
- 鱼缸能不能做到一直不换水还很清澈?
- 王冰冰好看吗?
- 2025年,Gitea 和 GitLab 应当如何选择?
最新资讯文章
- 如何评价《情感反诈模拟器》女演员刘梦茹最新的抖音***回应?
- 苹果 macOS Tahoe 26 新 Finder 图标引争议,其争议点主要集中在哪些方面?
- 为什么中国很少有人使用linux?
- 妈妈和儿子需要避嫌吗?
- 学编程要不要买电脑?
- 为什么苹果的Mac不能啃下“游戏”和“软件支持”这2块硬骨头?
- 现在有没有可能在地球某处隐藏一个大型军事基地而几十年不被发现?
- 媒体曝光有学生吸食打火机气体成瘾,打火机气体中有哪些成分?吸食会对身体有怎样的伤害?
- 用了几年大厂云服务器,现在想换便宜的,有推荐的吗?
- 个人开发者或小企业不申请经营性ICP备案,怎样开发APP盈利?
- 新手想要打好篮球,主要练运球还是投篮?
- 和男朋友同居期间,被男朋友妈妈骂了,要怎么办呢?后续要如何相处呢?
- 请问一下图中***的名字,谢啦?
- golang总体上有什么缺陷?
- 你们在Notion、Obsidian、Logseq三者中如何选择?将哪个作为主力笔记软件?为什么?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- PHP现在真的已经过时了吗?
- 三十岁左右的你,正处于什么状态?
- 匿名关了,大家实名说说你最近的烦恼?
- 如何在不重装系统和软件的情况下换系统盘?