当前位置: 首页 >
为什么Rust写个链表都那么难?_河南省商丘市梁园区树认裂纪念性建筑设施建设有限责任公司
- 如何看待多地开展查摆年轻干部玩心重、贪图享乐、说话随意、社会交往复杂、生活不检点等问题的行动?
- 为什么微信不向telegram学习?
- golang有哪些不错的游戏服务器框架?
- 深圳高二中学生「手搓」火箭飞燕一号发射成功,突破 10KM 海拔高度,这属于什么水平?手搓火箭有多难?
- 是什么原因让你一定要用 iPhone?
- 未来几年,市场对 AI 人才的需求会集中在哪几个方向?
- 只能选一个,你选谁?
- Node.js是谁发明的?
- 腰间盘突出能不能治愈?
- 你的电脑上有哪些你认为不可或缺的神仙软件?
联系我们
邮箱:
手机:
电话:
地址:
为什么Rust写个链表都那么难?
作者: 发布时间:2025-06-24 04:00:15点击:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
新闻资讯
-
2025-06-24华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
-
2025-06-24有哪些 2025 的神预言?会发生什么?
-
2025-06-24如何评价林志玲?
-
2025-06-24OpenAI 推出 o3-pro 推理模型,实际体验如何?
-
2025-06-24有个漂亮女朋友是种怎样的体验?
相关产品