当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?_浙江省温州市龙湾区挑阿率交通产品有限合伙企业
浏览次数:304发表时间:2025-06-25 15:30:14
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- Rust开发Web后端效率如何?
- go 有哪些成熟点的后台管理框架?
- 胸大的女孩会自卑 吗?
- 香港iang签证如何在内地有工作的情况下续签?
- Golang与Rust哪个语言会是今后的主流?
- 北京日报点名批评“苏超”过度娱乐化,它是否管的太宽了?为什么无良媒体不会被查封取缔?
- 为什么小米造车可以叫小米,而华为不可以用华为品牌造车?
- 新疆维吾尔自治区,经济发展的真实前景如何?
- JetBrains 放弃 AppCode 是否是一个错误决定?
- 为什么有的人一看就是老实人?
最新资讯文章
- 你卡过最厉害的bug是什么?
- 特厨隋坡探店成都快餐店,给出80分以上的高分,为什么评分远高于大饭店?
- 作为一个服务器,node.js 是性能最高的吗?
- 如何看待伊朗国家电视台发文:“今晚,将会发生一件大事,让世界铭记几个世纪。”?
- 你发生过的最尴尬的事是什么?
- 把《武林外传》中的打工人郭芙蓉放在现代,她能干长久吗?
- 现在的中国打的过美国吗?
- 华为官宣鸿蒙 HarmonyOS 5.1 将于 7 月开启升级,对此你怎么看?会选择第一时间升级吗?
- 为什么小米造车可以叫小米,而华为不可以用华为品牌造车?
- 怎么才能有尤雨溪一半强,该怎么学习?
- 在哪能下载到免费可靠的solidworks软件以及教程?
- 为什么《歌手》不请周杰伦、陈奕迅、王菲、张学友、孙燕姿、梁静茹、王力宏、林俊杰当节目嘉宾?
- 8 岁小孩偷花 1 万多买 26 箱荔枝,孩子父亲称在商品未发货时申请退款被拒,这合理吗?
- 怎么在武汉找男朋友?
- 邻居家小孩来敲门问WiFi密码,告诉他之后,他竟然几部手机电视全用上。你说该怎么办?
- 特朗普集团正式进军手机市场,推出 Trump Mobile 移动网络和土豪金智能手机,背后有哪些考量?
- 网传厦门某国企研发部门要求每日考察后端 400 行,前端 1000 行代码量,如属实,这个考核合理吗?
- 男人最无声的炫耀是什么?
- 如果你是《一帘幽梦》里的绿萍,你会不会最后原谅紫菱?
- 蜜雪冰城香港门店被通报「产品大肠菌群超标 70%」,哪些环节可能导致大肠菌群超标?会对身体有哪些危害?





