表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
陌生人晕倒了,帮他拨打120后,病人不支付120出车费,这个费用谁来承担?
以色列有能力灭掉伊朗吗?
微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
如何评价b站陈睿和徐逸疑似减股跑路?
工控软件有什么开源项目?
为什么央视不再报道洛杉矶***了?
Vue性能优于React,那为什么还不用Vue?
小米汽车官方解释了刹车盘生锈属于正常现象,并提供了两种除锈功能,这些措施是否足够有效?
你是什么时候发现老婆出轨的?
如何评价腾讯元宝桌面端使用 Rust 的 Tauri 框架?
电话:
座机:
邮箱:
地址: