当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?_新疆维吾尔自治区阿克苏地区阿克苏市素上平炎商超设备有限责任公司
浏览次数:304发表时间:2025-06-25 18:15:17
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 如何在Mac m1中部署openwrt软路由虚拟机?
- 为什么MIPS架构的路由器CPU能实现比X86高很多的网络吞吐量?
- 求推荐程序开发笔记本!?
- 特斯拉宣布将于 6 月 22 日开始 Robotaxi 公开试运营,这将对自动驾驶行业带来哪些影响?
- 为什么中国JK无法拍出日本JK的感觉?
- 所以现有技术是无法侦测和锁定击落 B-2 ***轰炸机的吗?
- 自己组一个E5服务器才几百块钱,为什么去阿里云租这么贵?
- Mac mini M4,有必要升级24G内存吗?
- node.js可以做***识别分析吗?
- 榴莲的产量明明很高,为什么还卖那么贵?
最新资讯文章
- 为什么欧美影视喜欢露点?
- 为什么大家不再提星链了(包括外网)?
- 银行股为什么大涨几年?
- 为什么我觉得 AI 写代码纯属添乱?
- 如何评价陈楚生?
- 长得和刘亦菲很像是一种什么体验?
- 请问买个nas,能够直接把游戏装进去吗?
- 什么是 5G 固定无线接入(FWA)?
- 2025年六月现在硬盘咋还涨价了呢?
- 男朋友说我穿衣服太开放,难道好身材不应该显示出来吗?
- PostgreSQL 与 MySQL 相比,优势何在?
- 能不能通过养殖方法,把淡水鱼身上***除掉?然后再售卖做刺身,超级爱吃刺身,很害怕寄身虫?
- 如何评价尤雨溪?
- 为什么MIPS架构的路由器CPU能实现比X86高很多的网络吞吐量?
- 贵州榕江县城遭超 30 年一遇洪水威胁,最大商场被洪水淹没,目前当地情况如何?为什么此次洪水这么大?
- 为什么 php 可以做到 7 毫秒以内响应,而 .net 做不到?
- 大厂后端开发需要掌握docker和k8s吗?
- 如何评价“师父和我做鲁菜”账号基本上停更?
- 据说go和c#的开发者都说自己比较节省内存,你们认为呢?
- NPU 可不可以代替 GPU?