当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-24 23:30:15
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 怀孕期间能发生性关系吗?
- 高三了,成绩会有所提升吗?
- 为什么说男人至死都是少年?
- 为什么百度搜索引擎越做越差?
- 如何看待网上说的:凡是有阿里、华为经历的一律不要?
- 你后悔买电子书阅读器吗?
- 和女生合租,都会发生什么事情?
- 一个非常漂亮的残疾女孩,会有人愿意娶吗?
- 27寸显示器是否有必要到4K?
- 你用过的最好用的鼠标是什么品牌的?