当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?_浙江省温州市龙湾区挑阿率交通产品有限合伙企业
浏览次数:304发表时间:2025-06-23 17:40:13
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 你看过最绝望的一张图片?
- 有一双超级大长腿是什么感觉?
- 搞了NAS之后去哪里下载4K,8K的电影?
- 我爸讽刺我,写个破代码一年才十几万,他在工地带50个人,让我回去跟他干,写代码没出路,我该怎么选择?
- 你们的腰突是怎么突然好的?
- electron 可以开发诸如 adobe 全家桶这些大型软件吗?
- 洲际导弹能打到任何地方,为什么还需要轰炸机?
- 穿瑜伽裤爬山的女生会不会害羞?
- 为什么买的小乌龟总是养不活呀?
- qwen3-0.6B这种小模型有什么实际意义和用途吗?
最新资讯文章
- 手机存储器为什么会出现速度倒挂的现象,外存比内存快?
- 手机的运行内存真的有必要上16GB吗?
- php这个岗位在未来几年会消失吗,因为刚从事php有点焦虑?
- vue + tsx 的开发体验能追得上 react+tsx么?
- 各位前端大触们,一般怎么定颜色的?
- 在CSS大小单位中,em,rem,px,常用哪个较好?
- 目前中国程序员和美国程序员的差距在哪里?
- 电脑有64G的物理内存(DDR5 5200),完全够用了,可以关闭系统的虚拟内存吗?
- 如何评价杨立昆认为大模型只是对海量文本的模式进行复杂拟合,根本不懂意义?
- 5070ti什么时候才能回归正常价格?
- RTX5060真的有那么不值吗?
- 中国的防空系统能有效防止B2、B21这类飞翼隐身战略轰炸机入侵吗?
- 自己拥有一台服务器可以做哪些很酷的事情?
- FastApi性能是否真的接近Go?
- 个人博客网站,要坚持多久才会有读者?
- 华为自研的仓颉编程语言将于 7 月 30 日开源,这款语言将如何影响未来的开发趋势?
- 为什么程序员独爱用Mac进行编程?
- 国密加密算法有多安全呢?
- systemd吞并了什么?
- 为什么我还是无法理解transformer?





