时间:2025-06-20 02:15:16 来源:网络 人气:
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
如何评价B站峰哥亡命天涯直播中说面包就是比馒头好吃,中国古代不吃面包是因为贫穷,没有足够的柴火?
有什么是你去了上海才知道的事情?
蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
如何评价Orbstack(在Mac上低开销地运行容器和Linux)?
MySQL不香吗,为啥还要Elasticsearch?
为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
为什么很多人在1panel推出之后,还坚持用宝塔面板?
为什么《歌手》不请周杰伦、陈奕迅、王菲、张学友、孙燕姿、梁静茹、王力宏、林俊杰当节目嘉宾?
为什么浙江落下的陨石,防空系统没有拦截,它和导弹有什么不同?
评论列表(条)