为什么Rust写个链表都那么难?
- 发表时间:2025-06-25 13:30:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-24 04:25:14启用哪一个DNS网速最快?
- 2025-06-24 04:00:15你在你男/女朋友的手机里发现过什么秘密?
- 2025-06-24 03:40:15自己有车位,但是没有车,就想把对象的车停进去,结果物业不允许,这合法吗?
- 2025-06-24 04:25:14女朋友是跳拉丁舞的,跳双人舞时会有身体接触,作为男友我感觉有点吃醋怎么办?
- 2025-06-24 04:45:14Excel 不用 VBA,你使用过哪些绝妙的公式?
- 2025-06-24 03:50:15有没有什么惊为天人的 Logo 设计?
- 2025-06-24 04:25:14在韩国生活有什么体验?
- 2025-06-24 04:45:14周鸿祎为什么说他这辈子最鄙视李彦宏?
- 2025-06-24 04:30:15黄晓明上戏考博落榜,本人回应「明年再战」,怎样看明星对高学历的追求?上戏博士有多难考?
- 2025-06-24 03:30:15你被哪个后来知道很sb的BUG困扰过一周以上吗?
推荐产品
-
成都的gdp比杭州高,但是为什么感觉实力不如杭州呢?
因为长三角能打; 因为浙江能打; 因为杭州旁边的几个城市都很 -
分辨率越高对 CPU 的压力就越大吗?为什么?
理论讲起来不容易让人信服,做一个试验或许更容易打消疑虑。 -
北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?
不得不感慨,传统体制内还是有高人啊。 我个人悲观的看法,苏 -
钱学森放在现在是什么水准?
我看过钱老的《工程控制论》。 这本书虽然只有300多页。
新闻动态
最新资讯