为什么Rust写个链表都那么难?
- 发表时间:2025-06-25 13:30:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-26 11:10:20为什么好多人不承认大众审美就是喜欢白皮?
- 2025-06-26 10:40:19如何建一个安全的个人nas?
- 2025-06-26 10:55:19如何看待“计算机民科“的网站51soez已关站维护一周?
- 2025-06-26 09:40:18周芷若一个船夫的女儿,容貌真的比得上皇家女子吗?
- 2025-06-26 10:45:19你用n8n/dify搭建了哪些实用的Agent工作流?
- 2025-06-26 11:20:20MacOS的哪个设计让你非常恼火?
- 2025-06-26 10:15:19「绝世美女」都有什么特点?
- 2025-06-26 11:30:20如何评价张靓颖刘宇宁《九万字》?
- 2025-06-26 11:10:20苹果电脑的 macOS 系统有多难用?
- 2025-06-26 09:35:18MySQL不香吗,为啥还要Elasticsearch?
推荐产品
-
前端是不是快没了?
于个人来说,技术比重确实很大。 但是于行业来说,个人技术算个 -
你见过最无用的节俭行为是什么?
我父亲使用空调的方式和别人不一样,夏天热的时候正常人都是空调 -
当下房子已经跌到这样了,你会买吗,为什么?
广州南沙,上个月刚上车 99.9㎡,总价130w(含税、中介 -
长期使用的大佬来说说,MacOS 真的比 Windows 稳定吗?
长期来看,其实Windows系统远比我们想象中的要稳定,30
最新资讯