当前位置: 首页 >
为什么Rust写个链表都那么难?_内蒙古自治区巴彦淖尔市五原县饭券全汽摩附属产品有限责任公司
文章出处:网络 人气:发表时间:2025-06-20 02:15:16
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 北京日报点名批评“苏超”过度娱乐化的动机是什么?
- 以色列是如何从三天前的不可一世要灭了伊朗到今天的哭哭啼啼要“为生存而战”的?
- 如何评价DuckDB?
- 关于***你还在继续写吗?
- 北京日报点名批评“苏超”过度娱乐化的动机是什么?
- 如何评价仓颉编程语言7月30日开源?
- 小米发布了 REDMI 首款旗舰小平板 K Pad,仅 8.8 英寸,小巧便携,如何评价这一设计?
- 华为红枫影像出来这么久了,为什么还没有友商跟进?是不是说明这是一项可有可无的技术?
- 中餐炒菜那么好吃,为什么欧美人不学去?
- 你敢晒出你自己的照片吗?
最新资讯文章
- 为什么人到中年,很少有身材苗条的?
- 如何评价华为最新长焦专利技术?能否颠覆手机长焦摄影的目前限制?
- 皮肤太白是种怎样的体验?
- 如何优雅地给妹子优化电脑(Windows)?
- 小米YU7从7月提前至6月底发布,是什么原因导致提前发布?
- 以色列为什么突然敢打伊朗了?不怕被报复?
- 微软宣布 5 月 28 日开始下架「Microsoft 远程桌面」应用,背后原因有哪些?
- 我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
- 如何看待海参崴百年后重归中国中转港口?
- postgresql也很强大,为何在中国大陆,mysql成为主流,postgresql屈居二线呢?
- 伊朗没有战斗机吗?为什么不起飞空中拼***?
- 为什么西安市突然不禁摩了?
- ant-design-vue 社区为什么不维护了?
- 为什么有些人认为中国武器装备看起来很土?
- 陌生人晕倒了,帮他拨打120后,病人不支付120出车费,这个费用谁来承担?
- 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
- 新手养鱼,鱼缸中能放入哪些水草?
- 微信头像会影响第一印象吗?
- 如果一个人长时间不说话,是不是会丧失语言能力?
- 为什么同样是输球,常州和国足的风评却差那么多呢?