当前位置: 首页 >
为什么Rust写个链表都那么难?_青海省果洛藏族自治州玛沁县拍黎洁雕塑股份公司
文章出处:网络 人气:发表时间:2025-06-26 08:35:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 感觉狗的风评渐渐不如猫了,为什么?
- 普通人有可能在羽毛球比赛中赢林丹1球吗?
- 你见过最不爱卫生的女生是怎样的?
- 国内为什么那么多人黑 WordPress ?
- 如何评价河北旅游口号“这么近,那么美,周末到河北”?
- 宽带师傅说再打10086把网给我断了,请问会真的这样吗?
- 鱼缸能不能做到一直不换水还很清澈?
- MacBook的诱惑在哪里?
- 为什么都 2025 年了显卡还不能通杀 4K?
- 黄仁勋带着他芯片团队回国,他的成就会高于钱学森吗?
最新资讯文章
- 体制内女老师,被关系户欺负,大吼——"不干就给老子滚",我该怎么办?
- 工业克苏鲁什么意思?
- 如何评价Cursor?
- Visual Studio 是不是坑了一代人?为什么?
- 《士兵突击》中如果高城动用关系,史今能不能留下来?
- NAS的盘是否需要一次性买齐?
- 福尔摩斯是否付给华生工钱?
- 为什么日本人室内光脚啊?他们屋子里有这么干净吗?
- 为什么黄河入海口没有形成大城市?
- 为什么鲁迅认为中医是一种有意的或无意的骗子?
- 现实中的父女关系是怎样的?
- 本人女20,平胸跟男生一样怎么办 ?
- MacBook的诱惑在哪里?
- 为什么大家不再提星链了(包括外网)?
- 《诡秘之主》动画已经播出,感觉怎么样?符不符合大家的期待?
- 南京「先锋书店」公开禁止商拍,此前因「最美书店」称号成网红打卡地,失去这部分流量对书店来说是好事吗?
- 可以分享你经常打开的一个网站吗?
- 跟一对情侣合租的感受?
- 女170 100斤胖吗?
- 《葫芦兄弟》中七个葫芦娃谁的能力在现代用处更大?