当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-23 20:55:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 请问“电纸书”“办公本”等墨水屏设备,适合在体制内正式会议替代传统笔记本使用吗?
- 「做负重深蹲肯定会腰痛,深蹲不可能完全不痛」「正确的负重深蹲就应该是腰完全不痛的」,哪句话是对的?
- 2025 年有哪些值得关注的开源项目?
- 作为部门的副职,要不要定期向单位一把手汇报工作?
- 如何评价剪映svip,599一年,有替代方案吗?
- 同样的SoC,为什么至今仍然没人成功给iPad Pro装上macOS?
- 如何评价Electron?
- “哨兵模式”涉嫌泄密,你支持封杀特斯拉吗?
- obsidian用一两年后会有多大?全文搜索还快吗?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
最新资讯文章
- 前后楼怎么共享宽带?
- 怎么隔离dify和RAGflow ?
- 为什么windows的arm版没有被广泛使用?
- 为什么腰肌劳损这么难治?
- 为什么台式 PC 还处在组装(DIY)阶段?
- 组nas一定要TDP低的cpu吗?
- 毒蛇出没之处,七步之内必有解药。这是正确的么?如果是,依据是什么?
- Unity收费***后,为何大家选择了Godot而不是Cocos?
- MySQL不香吗,为啥还要Elasticsearch?
- Golang 的 Web 框架该怎么选择?Web 开发又该怎样学?
- 中国现有的雷达技术能发现B2么?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 白人女性是不是很美,为什么?
- 你觉得《捞女游戏》会因为不可抗力而被下架吗?
- 为什么程序员独爱用Mac进行编程?