产品展示
PRODUCTS
- 中餐炉灶系列
- 韩式炉灶系列
- 电磁炉灶系列
- 蒸饭设备系列
- 海鲜蒸柜系列
- 排烟系统系列
- 白钢调理系列
- 保温售饭系列
- 洗涮系列
- 洗碗机系列
- 家用橱柜系列
- 冷冻冷藏系列
- 保鲜展柜系列
- 加热消毒系列
- 车类系列
- 食品机械系列
- 西餐设备系列
- 不锈钢器皿系列

服务热线:400-000-0000
服务热线:400-000-0000
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。