表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
2025年,Gitea 和 GitLab 应当如何选择?
如何评价伊朗驻华大使馆发布的海报?熊熊圣火,焚以残躯……?
为什么有很多人连基本的常识都没有?
***如清空你一切***,但是你获得一个可以每天百分之一增长的一千块钱,你愿意吗?
Golang与Rust哪个语言会是今后的主流?
中国的防空系统能有效防止B2、B21这类飞翼隐身战略轰炸机入侵吗?
为什么中国JK无法拍出日本JK的感觉?
你们认为一个40多岁的女人老吗?
《死神来了》如何逃脱死神的死亡设计?
央视怎么又开始报道伊朗的防空能力了?是有神秘的力量开始介入了吗?
电话:
座机:
邮箱:
地址: