表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
代码:
为什么年轻的肉体让人沉迷?
Go 语言的使用感受是什么?
罗马仕宣布召回超 49 万台充电宝,极端场景下可能有燃烧风险,有多危险?为何有安全隐患的产品能够上市?
想知道德普怎么看上艾梅柏·希尔德的?
黑客为什么可以做到无需知道源码的情况下找出系统漏洞?
如何看待《捞女游戏》(已改名为《情感反诈模拟器》)定档 6 月 19 日?
歼-20 在国际上到底是什么地位?
如何评价苹果 3 月 5 日发布的 MacBook Air M4,相比前代有哪些提升?
字节跳动技术副总裁开源了自己与Trae合作的首个项目,如何评价目前AI开发的水平?
三只羊是不是被人做局了?
为什么腾讯云或者阿里云不让自建dns服务器?
中国的航空发动机现在是什么水平?
组nas一定要TDP低的cpu吗?
为什么 php 可以做到 7 毫秒以内响应,而 .net 做不到?
如何看待机器之心重测高考数学全卷,Gemini夺冠,豆包DeepSeek并列第二?
用J***a写Android的时代是不是要结束了?
5挺马克沁机枪,能否击败50万重骑兵?
你自己觉得自己的身材好吗?
Chrome 插件开发流程是什么?
为什么国内连 Docker 镜像源都要封禁?
网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
在韩国生活有什么体验?
在C中,如何实现删掉一行注释无法运行?
各位都在用Docker跑些什么呢?
为什么都说 Finder 难用?
世界上哪款战斗机最好看?
有没有一个特别好用的Linux系统?
男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
既然C#等开源语言,为啥***le还要弄个基本上一模一样的Swift?
如何评价「尖叫」这种饮料?