当前位置: 首页 >
为什么Rust写个链表都那么难?_青海省果洛藏族自治州玛沁县拍黎洁雕塑股份公司
文章出处:网络 人气:发表时间:2025-06-25 18:15:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 如何制造一个高级的阳谋?
- 如何评价吴京马上要上映的新电影《镖人》?
- 如何评价ThinkBook 16+ 2025的独显版?
- 微信服务器会保留聊天记录吗,会保存多久?
- 小米Yu7的超预期大爆是否会促使华为亲自下场造车?
- 小米 YU7的3分钟20万辆订单是真的吗?
- 为什么程序员独爱用Mac进行编程?
- 如何评价小米 6 月 26 日发布的小米 YU7、MIX Flip2、REDMI K80 至尊版?
- 乳胶床垫能治腰痛吗?
- 为什么用 electron 开发的桌面应用那么多?
最新资讯文章
- 为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 如何评价江西这个省?
- 为什么10年前电脑内存就普遍16GB了,现在还是普遍16GB?
- GoLang不需要Rakefile/Makefile,是如何实现交叉编译的?如在X86上生成MIPS的可执行。
- 显示器选32还是27,2k还是4k?
- 为什么大部分人都认为2560x1440是2K?
- 不喜欢老婆找健身房男教练私教,是我太狭隘了吗?
- 为什么军民合用机场都要在起降的时候拉上遮阳帘?
- 消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
- 什么是 5G 固定无线接入(FWA)?
- 袁隆平比很多诺贝尔奖获得者对人类的贡献都更大。你认同这个观点吗?
- switch模拟器是不是历史上唯一在主机当红时就几乎完美模拟器?
- 是什么原因导致intp看着都很年轻?
- 为什么这么久了还是没有主流软件开发鸿蒙版?
- 当下房子已经跌到这样了,你会买吗,为什么?
- 为什么赡养老人这么难呢?
- 你怎么看中国IMO奥数憾失第一,五连冠统治被美国队终结这件事呢?
- 为什么感觉淘宝现在不如拼多多了?
- 老公加班过多,是逃避家庭责任吗?