当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?_新疆维吾尔自治区阿克苏地区阿克苏市素上平炎商超设备有限责任公司
浏览次数:304发表时间:2025-06-23 20:55:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 应该如何看待群晖在DSM 7.2.2-72803更新中去掉了Video Station?
- 穿瑜伽裤爬山的女生会不会害羞?
- 055大驱到底强在哪里?
- 为什么 Linux 软件安装包会有依赖关系,而 Windows 软件安装包不需要?
- 买到烂尾楼到底该有多绝望?
- 真的有这种又苗条身材又爆炸的么?
- 华为官宣鸿蒙 HarmonyOS 5.1 将于 7 月开启升级,对此你怎么看?会选择第一时间升级吗?
- 公司规定所有接口都用 post 请求,这是为什么?
- 有什么你认为不错的重生文?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
最新资讯文章
- 请问有没有什么工具能够生成局域网的网络拓扑结构图?
- 歼-20 在国际上到底是什么地位?
- 30岁的人生有多无力?
- 上海房价会不会再跌百分之50%?
- switch2好用吗朋友们?
- 为什么有的房东喜欢把房间租给女租户?
- 腰椎间盘突出有多痛苦?
- 如何评价字节跳动开源的 HTTP 框架 Hertz ?
- 只有我觉得.doc文件比.docx文件便捷吗?
- 为什么都说武器越怪,死的越快?
- Rust 使用 Result 的错误处理方式与 Golang 使用 error 的方式有什么本质区别?
- 如何看待机器之心重测高考数学全卷,Gemini夺冠,豆包DeepSeek并列第二?
- 为什么一部分 Go 布道师的博客不更新了?
- 求大神解答,为什么大家都不喜欢用docker?
- 为什么程序员独爱用Mac进行编程?
- 为什么说耿直的人更容易吃亏?
- 慈禧为什么要反对戊戌变法?
- 请教下这款技嘉主板如何开启TMP2.0?
- 哪张照片让你觉得刘亦菲美得不可方物?
- 外贸独立站怎么做SEO?