为什么Rust写个链表都那么难?
- 发表时间:2025-06-23 22:30:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-25 17:25:18独立开发者都使用了哪些技术栈?
- 2025-06-25 16:05:18中国军事力量有希望达到全球第一吗?
- 2025-06-25 16:35:1927寸显示器有必要上4K吗?
- 2025-06-25 17:20:191MB其实是一个很大的存储单位,那么它的存储容量究竟有多大?
- 2025-06-25 16:30:18MySQL不香吗,为啥还要Elasticsearch?
- 2025-06-25 17:20:19有哪些女主让你觉得真是「人间尤物」?
- 2025-06-25 16:50:19快乐教育毁了多少孩子了?
- 2025-06-25 16:35:19男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- 2025-06-25 17:30:17异性同办公室久了会不会日久生情?
- 2025-06-25 16:35:19修仙文明可能以怎样的方式碾压星际文明?
推荐产品
-
脸与身材不符是种怎样的体验?
知乎第一个四千赞,谢谢大家点赞呀! 再加更新两张新拍的图吧, -
面试官灵魂拷问:为什么 SQL 语句不要过多的 join?
是有原因的。 首先,传统数据库 join 消耗 数据库的 -
为什么Rust的包管理器Cargo这么好用?
好用,指 request 被一个死了九年的包占用。 新来的 -
为什么成功人士的精力都非常旺盛?
因为人越忙越有空,越闲越他妈累。 我个人发现,精神高度集中
新闻动态
最新资讯