为什么Rust写个链表都那么难?
- 发表时间:2025-06-24 15:35:14
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-25 22:10:12怎么隔离dify和RAGflow ?
- 2025-06-25 21:40:12为什么大家不再提星链了(包括外网)?
- 2025-06-25 22:45:12自己拥有一台服务器可以做哪些很酷的事情?
- 2025-06-25 22:55:11消息称苹果 macOS 26 将不再支持部分旧款英特尔 CPU 机型,这背后原因有哪些?
- 2025-06-25 22:35:12冬天也要穿胸罩吗?
- 2025-06-25 21:40:12在微软(Microsoft)工作是怎样一番体验?
- 2025-06-25 22:30:12各位前端大触们,一般怎么定颜色的?
- 2025-06-25 22:20:12有没有宝塔平替的服务器管理面板,现在宝塔越来越贵了,也太臃肿了?
- 2025-06-25 22:35:12坐标福建福州,现在是不是适合卖房?
- 2025-06-25 22:25:12为什么 Windows 的兼容性这么强大,到底用了什么技术?
推荐产品
-
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
一天5000枚啊,我给你算个账。 我就给你一枚火箭弹算一吨 -
IntelliJ IDEA 中有什么让你相见恨晚的技巧?
结构化搜索与替换(Structural Search and -
我毕业想成为前端工程师,可是前端技术太多,越学越多,可是我想成为技术强的人,又很无助,怎么办?
有人说做后端才有时间学技术,做前端只是无尽地改页面,不敢苟同 -
Nginx 能做什么好玩的事情?
有一个东西,叫做rtmp,直播用的,你可以使用nginx搭建
最新资讯

