当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-25 13:30:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 为什么 php 可以做到 7 毫秒以内响应,而 .net 做不到?
- 如何评价***伊内斯·特洛奇亚的身材?
- 周杰伦为什么不告粥饼伦黑伦侵犯他的名誉权?
- 如何评价微软的远程桌面?
- 美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施,钻地弹有多大杀伤力?能摧毁伊朗地下核设施吗?
- 鸿蒙折叠屏笔记本为什么敢卖26999?
- 肩袖肌群损伤了应该怎么办?
- 脸与身材不符是种怎样的体验?
- 谷歌云服务宕机导致 OpenAI、Shopify 等服务中断,此次宕机的具体技术原因是什么?
- 电脑开机后鼠标键盘都有相应 屏幕显示正常 但是所有图标都消失是什么情况呢?
最新资讯文章
- Electron 和当下其他的桌面开发方法相比如何?
- 「绝世美女」都有什么特点?
- 穿瑜伽裤爬山的女生会不会害羞?
- 如何看待 Three.js / WebGL 等前端 3D 技术?
- 以色列为什么要打伊朗?
- 公司规定所有接口都用 post 请求,这是为什么?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 分享一下你用过好用的开源项目有哪些?
- 换过电池的苹果手机内部发现被加装了一个部件,有大佬知道这是干什么的吗?
- ant-design-vue 社区为什么不维护了?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 如何看待成都辟谣艾滋病17万人?
- switch2好用吗朋友们?
- 北京日报点名批评“苏超”过度娱乐化的动机是什么?
- 美国搞出个“稳定币”,到底是什么?其它国家是如何看待稳定币的?
- Chrome 插件开发流程是什么?
- 周杰伦为什么不告粥饼伦黑伦侵犯他的名誉权?
- 被时代淘汰的水果有哪些?
- 为什么同样是输球,常州和国足的风评却差那么多呢?
- 5挺马克沁机枪,能否击败50万重骑兵?