表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
代码:
为什么越是禁止孩子玩手机的家庭,最后养出的网瘾少年越多?
为何泉州不做大市区?
现在已经有5K、6K、8K分辨率显示器,那么8K之后是什么?
你身边身材最好的女生是什么样?
你的低成本爱好是什么?
台湾是中国领土,那台湾海峡算是内海,为什么不击沉那些无理通过海峡的军事力量?
为什么 macOS 比 Windows 稳定?
许多公式都有π和e,可能的原因有什么?
如何评价漫威剧《钢铁之心》?
2025年六月现在硬盘咋还涨价了呢?
「香港四大才子」之一蔡澜去世,你对他有哪些了解?如何评价他的成就?
你们在Notion、Obsidian、Logseq三者中如何选择?将哪个作为主力笔记软件?为什么?
自己拥有一台服务器可以做哪些很酷的事情?
大家都喜欢用什么浏览器?
《士兵突击》中如果高城动用关系,史今能不能留下来?
李小璐老了以后,会后悔么?
为什么现在很多人推崇国外原版教材?
可不可以发一张你觉得最有感觉的照片?
尼康的镜头里哪款拍摄人像好呢?
你会从mac转向Windows吗?
有一个***约你出去,你会去吗?
豆包推出 AI 编程,在「编辑模式」下可以直接前端改图和文字,体验如何?对行业会带来怎样的影响?
学Python可以直接从爬虫开始吗?
人工智能相关专业里有什么「坑」吗?