表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
go 有哪些成熟点的后台管理框架?
如何评价Orbstack(在Mac上低开销地运行容器和Linux)?
维护一个大型开源项目是怎样的体验?
外网测试同样的性能下的掌机安装steam os系统的性能比安装微软系统的帧率更强,原因是什么?
特朗普称美国完成对伊朗三处核设施的打击,具体情况如何?伊朗会如何反击?
你如何看待腾讯《从何说起》,关于周深的专访?
到底是9800x3d+5070ti还是u7+5080?
现代艺术只考虑意义、不考虑美感吗?
男女对立会在10后里缓和吗?
Windows 为什么要有注册表而 Unix 就不需要?
电话:
座机:
邮箱:
地址: