表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
Alwaysdata 有免费服务。 100mb空间 装个cl...
会,血泪教训。 老大是三个多月开始用安抚奶嘴的,一直用到一...
谷歌退出中国市场不是因为反对审查,谷歌在任何国家的服务里都会...
看到大家都再说,我就说一个,我在医院上班,医院病历医嘱工作系...
剪映从一个免费软件到现在连识别个字幕都要会员,可以说是全忘初...
前段时间有同事离职,一口气面试了十来个人。 我最喜欢问的问...
在线客服 :
服务热线:
电子邮箱:
公司地址: