当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
人气:发表时间:2025-06-24 04:00:15
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 你所见过的穷是什么样子?
- 为什么微软出的软件都那么巨大?
- 现在的microLED发展到什么地步了?
- 男子聚餐喝酒后冻死街头,法院表示「4位同事无过错」,如何评价此事?共同饮酒人是否需要承担责任?
- 自己拥有一台服务器可以做哪些很酷的事情?
- 为什么那么多人用GO?GO语言的优势在哪里?
- 可不可以发一张你觉得最有感觉的照片?
- 消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
- vue + tsx 的开发体验能追得上 react+tsx么?
- 你和你老婆是怎么认识的?
最新资讯文章
- 刚学前端的小白,想问问全站框架nextjs+shadcn+prisma为什么在国内不火呢?
- 搞了NAS之后去哪里下载4K,8K的电影?
- 用PHP写了个小框架,怎么才能得到大佬们的指点?
- 你见过最脑残的设计是什么?
- 为什么全网 都在说 iOS 开发不行了 ?
- 为什么hdmi2.1带宽优于dp1.4,还是会推荐dp?
- 你曾看到空乘做过的最傻的事情是什么?
- postgresql能取代mongodb吗?
- 如何评价b站up【有山先生】?
- 如何看待 Mac mini M4 支持可更换 SSD?
- J***aScript 已经强大到什么程度了?
- 周芷若一个船夫的女儿,容貌真的比得上皇家女子吗?
- 为什么 Bun 选择了 Zig 以及 JSCore?
- 无性婚姻是一种怎样的体验?
- 骑自行车会花费多少钱?
- 到底是9800x3d+5070ti还是u7+5080?
- 网恋发现对方太好看了怎么办?
- PHP现在真的已经过时了吗?
- Centos为什么突然没人用了?
- 是什么原因导致HDR无法推行?