表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
工控软件有什么开源项目?
古代刚考中进士一般授予什么官职,一段时间后又能当上什么等级的官(平均水平)?
最讨厌和哪种人打羽毛球?
女主播和榜一大哥现实碰面会做什么?
编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
Office 中为何还要保留 Access 数据库?
为什么Mac连个正儿八经的CAD都装不了还敢打着生产力的旗号?
老板说我设计了一周的海报还是不行,我到底该怎么学啊?
大家在做登录功能时,一般怎么做暴力破解防护?
网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
电话:
座机:
邮箱:
地址: