为什么Rust写个链表都那么难?
- 发表时间:2025-06-24 01:10:15
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-25 21:25:16为什么河南饮食走不出去?
- 2025-06-25 22:05:16为什么 Linux 软件安装包会有依赖关系,而 Windows 软件安装包不需要?
- 2025-06-25 22:15:16如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
- 2025-06-25 21:50:16为什么不用rust重写Nginx?
- 2025-06-25 22:40:16跟离异的女同事聊天时,她冒出一句:「你老婆还不如我,离了跟我过得了」,我该怎么回答?
- 2025-06-25 21:45:16敲代码适合mac吗?
- 2025-06-25 21:35:16国外的女生为什么屁股都大?
- 2025-06-25 21:40:15electron可以用来写大型游戏吗?
- 2025-06-25 21:30:16nodejs 后端能不能利用tsx 处理 xml数据?
- 2025-06-25 22:05:16我是新手想养鱼,预算不超过200。有什么好的建议或者禁忌吗。?
推荐产品
-
想知道字节用什么分布式配置中心呢,作为golang大厂,应该不是沿用JAVA的配置中心吧?
介绍一个我当初在鹅厂写过的吧。 完全的云原生环境下的配置管理 -
如何看待以下说法:「衡水模式」下的学生过得比非洲孩子好多了,为何还要抱怨?
因为衡水模式的优越性根基已经崩溃了。 我之前就说过,衡水模 -
有哪些是你用上了mac才知道的事?
1、macOS支持的软件比想象的要多得多; 2、macOS支 -
RAG(检索增强生成)会不会消亡呢?
如果AI要开车,鲁迅大概率是拦不住的。 到处都在推荐RAGF
新闻动态
最新资讯