表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
{dede:pagebreak/}
为什么大部分人都认为2560x1440是2K?
现在是2025年6月,现在的房价是阴跌还是暴跌?还会继续跌多久?是否已经开始分化?
公司就一个后端一个前端,有必要搞微服务吗?
NAS明明没那么好用,为什么还有那么多人坚持选择使用?
有什么话想送给一事无成的年轻人?
女明星做了什么医美项目保持童颜?
为什么欧美影视喜欢露点?
如何评价“寡姐”斯嘉丽·约翰逊的身材?
你们都什么时候对男女之事开窍的?
大部分语言都用尖括号<>表示泛型,为什么golang要标新立异用中括号?
如何解决Cursor等Agent编码开发轮次多了过后代码库变成屎山的问题?
感觉男朋友对我有些小气要不要分手?
有谁现在正在使用苹果mac mini 吗?能分享一下使用感受不?
穿内衣时,总往上跑,内衣是大了还是小了?
非计算机专业,好奇为什么会出现“程序依赖bug运行”的情况?
大家游泳后洗完澡是在里面穿好衣服还是裸着出来穿衣服呢?