当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?_新疆维吾尔自治区阿克苏地区阿克苏市素上平炎商超设备有限责任公司
浏览次数:304发表时间:2025-06-23 22:30:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- macOS Tahoe 将是英特尔芯片 Mac 的最后一次更新,这将对用户产生哪些影响?
- 为什么windows的arm版没有被广泛使用?
- 如何评价国产统信UOS系统?
- 俄罗斯禁止出口的NK-32涡扇发动机,真的技术遥遥领先吗?
- 据说go和c#的开发者都说自己比较节省内存,你们认为呢?
- 如果一个人有足够的钱让他一直***,那毒品对他的身体还有害吗?
- 为什么供应链桃子只有小米雷军可以摘,其他人只能干瞪眼?
- 为什么现在吹Rust的人这么多?
- 独立站怎么阻止别人盗我的产品?
- 晚上躺下了,孩子说饿了,让你起床煮东西吃,你起来煮吗?
最新资讯文章
- 如何看待伊朗媒体称「今晚将发生世界铭记的大事」?可能是什么?
- 为什么 m1 ***用大小核设计却没有 intel 的问题?
- 如何看待伊朗国家电视台发文:“今晚,将会发生一件大事,让世界铭记几个世纪”?
- Vue性能优于React,那为什么还不用Vue?
- 国产轮胎那么便宜,为什么很多人非要买高价的国外轮胎??
- 现阶段的时代红利是什么?
- 为什么很多人认为加入 Rust 的「光荣进化」是一件坏事?
- 扫黑风暴为什么他们费老大劲杀这么多人不如直接把督导组干掉?
- 网恋发现对方太好看了怎么办?
- 周杰伦为什么不告粥饼伦黑伦侵犯他的名誉权?
- 为什么都对TLC乃至未来的QLC嗤之以鼻呢?
- AntV X6 如何在节点中间添加新节点?
- count(*) count(1)哪个更快?
- 据报道称“浏览器内核有上千万行代码”,浏览器内核真的很复杂吗?
- 林述巍跟隋坡这两位谁的水平高?
- 你最满意的10款 PC 软件是什么?
- 如果苹果真的下架了微信的话,会发生什么?
- 《长安的荔枝》李善德被强塞「荔枝使」,职场中当领导给你「重要但缺***的项目」,如何区分是培养还是陷阱?
- 如何评价字节跳动开源的 HTTP 框架 Hertz ?
- 《西虹市首富》里面想花完钱却越花越多的情况,现实里面会发生吗?