表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
哪张照片让你觉得刘亦菲美得不可方物?
大家怎么看待长沙这个城市?
联想 128GB 超大内存迷你 AMD 主机上架,此款主机有哪些亮点?
新手养鱼,鱼缸中能放入哪些水草?
为什么 Mac 对游戏支持这么差?
各位都在用Docker跑些什么呢?
旅行者 1 号飞出太阳系了,它是如何和地球联系的呢?
美国国务卿称将开始吊销中国学生签证,包括在关键领域学科学生,影响有多大?在美中国留学生该怎样应对?
伊朗是个怎么样的国家?
如果你是荔枝使,如何在十天内让杨贵妃吃上新鲜荔枝?
电话:
座机:
邮箱:
地址: