当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-26 08:35:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 无畏契约(valorant)在国内为什么这么火?
- flutter为什么不用Go语言,而用Dart?
- 是什么原因导致HDR无法推行?
- 你最满意的10款 PC 软件是什么?
- 程序员需要用到内置kvm功能的显示器吗?或者是外置的kvm切换器吗?
- 大a下一个牛市多久到来?
- 为什么IPS很刺眼,尤其是看网页的白色部分,而VA光线很柔和,看久了眼睛不痛头不晕?
- 小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?
- 为啥中国把《水浒传》拍得这么土?
- 德州同事局,我做错了吗?
最新资讯文章
- 有什么高质量的 C++ 单头文件库?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?
- 以色列为什么要打伊朗?
- 长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
- 石油真的是远古动物尸体来的吗?
- 为什么软件公司很少用python开发web?
- Flutter 为什么没有一款好用的UI框架?
- 统一推送联盟为什么会失败?深层原因是什么?
- 为什么UC曾经是国内主流浏览器之一,但现在却逐渐销声匿迹了?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- DLM(扩散语言模型)会成为2025年的Mamba吗?
- 不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
- 为什么中国农村房子那么丑?
- 为什么有的人喜欢带着 MacBook 去咖啡店或者书店上网,而不是 ThinkPad 之类的?
- 如何评价苹果 3 月 5 日发布的 MacBook Air M4,相比前代有哪些提升?
- 如何看待 Rust 的应用前景?
- 老板说我设计了一周的海报还是不行,我到底该怎么学啊?
- php这个岗位在未来几年会消失吗,因为刚从事php有点焦虑?