当前位置: 首页 >
为什么Rust写个链表都那么难?_米兰·(milan)中国官方网站
文章出处:网络 人气:发表时间:2025-06-25 13:05:12
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 为什么运维都这么难招?
- 时隔 20 年新修订的治安管理处罚法自明年 1 月 1 日起施行,新修订的治安管理处罚法聚焦哪些问题?
- 今年上半年结婚登记数再创新低,较去年同期减少 49.8 万对,如何看待这一现象?
- 乳胶床垫的好处和坏处有哪些?
- 吵架后,老公快一个星期不联系,是要离婚的节奏吗?
- Go语言对象的内存布局是怎样的?
- 非计算机专业,好奇为什么会出现“程序依赖bug运行”的情况?
- 都是研制核武器,美国为何只敢动伊朗,对朝鲜却畏首畏尾?
- 如何评价游戏《无畏契约》「莽侠」这支枪?
- 为什么润人觉得出国一定就会过的好呢?
最新资讯文章
- 为什么武汉的发展感觉对不起它逆天的位置?
- 如何反驳“电脑普及15年,年轻人还要淘宝代装steam”?
- J***a 除了 Spring 还有什么?
- 你见过的最棒的个人博客界面是什么样的?
- 毕设答辩,老师说node不可能写后台怎么办?
- 程序员真的需要一台 Mac 吗?
- 编程语言 MoonBit 发布 Beta 版,正式进入企业场景应用,会带来哪些影响?
- 女朋友把狗喝的水倒洗碗池里,还一副理所当然的样子,这对吗?
- GoLang不需要Rakefile/Makefile,是如何实现交叉编译的?如在X86上生成MIPS的可执行。
- 鱼缸换水前为什么必须要困水?如果没条件困水怎么办?
- Nginx 安装及配置详解有哪些内容?
- 我的世界怎么租一个四个人的服务器?
- 现在个人博客不能备案了吗?
- 魔兽世界有必要4k吗?
- 为什么长大以后连看动画片都不纯粹了?
- 《葫芦兄弟》中七个葫芦娃谁的能力在现代用处更大?
- 龙芯 2K3000 处理器正式发布,这款处理器的发布对国产芯片的发展意味着什么?
- 为什么今年的雷霆会惹众怒?
- 胖东来真有网上说的那么好吗?
- 你见过身边身材最好的女生是什么样子的?





