表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
Windows有哪些神级软件?
作为新娘,结婚当天是怎样的体验?
想学编程,该不该买MacBook?
为什么 mac mini 的 m4 版本价格这么低呢?
做个web服务器,gin框架和go-zero怎么选?
如何评价邹市明妻子冉莹颖?
小米 YU7 发布会,有哪些大说特说的点其实是行业基操?
本人女20,平胸跟男生一样怎么办 ?
静电容键盘为什么没能超越机械键盘?
能够自己一个人创业的全栈web码农fullstack developer要会哪些技术?
电话:
座机:
邮箱:
地址: