表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
2025年,Gitea 和 GitLab 应当如何选择?
当下房子已经跌到这样了,你会买吗,为什么?
大家用的内网穿透工具收费高不高?
为什么程序员独爱用Mac进行编程?
如何看待 Rust 的应用前景?
你为什么在日常生活中不敢穿的太漂亮?
为什么索尼和任天堂已经不存在竞争关系,两家关系却还这么差?
为什么董明珠攻击小米空调,而公牛却没有攻击小米插座?
你见过最***的行为有哪些?
向量数据库的天花板有多高?
CTO要求把所有逻辑放到数据库合理吗?
nodejs 后端能不能利用tsx 处理 xml数据?
蔡澜曾说「年轻人要存到 100 万以上,这是脱离牛马生活的第一步」,怎样看这一观点?
你最满意的10款 PC 软件是什么?
男的真的会把所有衣服从上到下都扔洗衣机吗?
如何评价“寡姐”斯嘉丽·约翰逊的身材?