当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-25 15:00:12
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 你是因为什么肥胖起来的?
- 为什么大多数评测对macbook的屏幕素质避而不谈?当真不怕被pwm频闪闪瞎眼吗?
- 黄晓明上戏考博落榜,本人回应「明年再战」,怎样看明星对高学历的追求?上戏博士有多难考?
- 你会从mac转向Windows吗?
- 你最满意的10款 PC 软件是什么?
- INTJ 的缺点是什么?
- 如何评价鸿蒙电脑无法编写其自身运行的程序?
- PHP和Node.js哪个更爽?
- 为什么抖音上的姑娘都那么好看,现实中我怎么一个也见不着?
- 为什么感觉腾讯的风评越来越好了?
最新资讯文章
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 如何看待小米yu7 3分钟大定破20w辆?
- 特斯拉Model Y如何应对小米 YU7的冲击?
- 为什么有人嘲笑练瑜伽的女性?
- 为什么 CRT 画质这么好也被淘汰,液晶反而发展的很好?
- 如何评价林志玲?
- 现在个人博客不能备案了吗?
- 广西桂军真的很厉害吗?
- 有谁组装NAS时,尝试过的最低配置是什么?
- 盒马鲜生和山姆会员店哪家比较好?
- 为什么烤包子难出新疆?
- 小米一款SU7就卖爆了,吉利那帮人在干啥事?
- 亚洲体坛最漂亮的十位女运动员都有谁?
- 如何优雅地同时使用 Linux 和 Windows 两个系统?
- cloudflare的1.1.1.1和warp有什么区别?






关注公众微信号
移动端,扫扫更精彩