当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-23 19:15:15
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 特朗普称美国完成对伊朗三处核设施的打击,具体情况如何?伊朗会如何反击?
- 240hz的显示器对比144hz提升有多少?
- 我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
- 俄罗斯为什么不用苏57?
- 相机选择二手尼康z6+唯卓仕镜头还是二手松下s5+美科镜头。主要是拍人像?
- 92年的大龄剩女,还有必要结婚吗?
- postgresql能取代mongodb吗?
- 为什么个人需要公网ip?
- 你捡过最大的漏是什么?
- 《龙族》中有什么细思极恐的细节?
最新资讯文章
- 自己拥有一台服务器可以做哪些很酷的事情?
- Gradle 是否已经对安卓的发展构成了阻碍?
- 美国真会下场对伊朗开战吗?
- 如何看待国内开源项目的不可持续性?
- 华为Pura 80首销遇冷,是否说明消费者已经开始对麒麟芯片性能有所觉醒?
- 为什么现在的周杰伦生活与作品中中华元素越来越少了?
- Trae和Cursor对比有什么优势吗?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 如何评价《灵笼 2》第六集?
- 作为Mac用户有什么推荐的鼠标吗?
- 为啥软路由大多都是爱快加openwrt的组合,单openwrt有什么缺点嘛?
- 电脑有64G的物理内存(DDR5 5200),完全够用了,可以关闭系统的虚拟内存吗?
- 有邻居的追求者出价三万,让我连续半个月每天找个女朋友晚上弄点动静,我该答应吗?
- 为什么部队能保证有八小时以上睡眠(午休+晚上),而高中生却做不到?
- 为什么日本经济下降,大学排名跌至谷底,还有那么多人挤破脑袋去日本留学?
- 为什么很多离异的30-40岁的女性,很难找到老公再婚?
- 为何有人说儒家文化下极容易产生「伪君子」?它的道德教化不是以平等和尊重的为前提的吗?
- 以色列为什么要打伊朗?
- 通过重体力劳动练出来的肌肉和标准健美人员肌肉有什么不同?
- ant-design-vue 社区为什么不维护了?