为什么Rust写个链表都那么难?
- 发表时间:2025-06-20 02:15:16
- 来源:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
推荐资讯
- 2025-06-20 02:35:15H264和H265谁画质好,求回谢谢!?
- 2025-06-20 02:40:14为何Microsoft能一直留在中国市场?
- 2025-06-20 03:40:14能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
- 2025-06-20 03:15:15做好的flask项目怎么部署到服务器,使用公网ip可访问?
- 2025-06-20 03:50:14自己组一个E5服务器才几百块钱,为什么去阿里云租这么贵?
- 2025-06-20 02:40:14西方人是怎么发现地球是圆的的?
- 2025-06-20 03:25:15遭遇生理性涨奶该怎么办?
- 2025-06-20 04:00:14为什么不用rust重写Nginx?
- 2025-06-20 03:10:15为什么说男人至死都是少年?
- 2025-06-20 02:55:15各位都在用Docker跑些什么呢?
推荐产品
-
你为什么放弃了wsl?
高强度用过一两年。 后来不用了,我真记得为什么,因为发现在 -
为什么 Linux 软件安装包会有依赖关系,而 Windows 软件安装包不需要?
你不应该用面向普通用户的商业软件的思路去理解Linux的软件 -
数码宝贝1,2部里有哪些容易被忽略的小细节?
随便写几个推论,少部分会涉及数码其他作品。 1:第二部本宫 -
老板说我设计了一周的海报还是不行,我到底该怎么学啊?
如果你老板要求不高的话,还可以抢救一下,但是也得学一段时间
新闻动态
最新资讯