当前位置: 首页 >
为什么Rust写个链表都那么难?_湖北省荆州市松滋市屋村作业保护有限公司
文章出处:网络 人气:发表时间:2025-06-24 23:30:15
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 为什么卫星地图上,空中飞行的飞机会有三原色的拖影?
- 如何看待M4单核性能吊打9950x?
- 你从别人的旧硬盘里发现了什么有趣的东西?
- 宝宝们 敢不敢发出你们自己最可爱的自拍照?
- 美国为什么不发展高铁?
- 为什么现在全世界的经济环境都这么恶劣?
- 为什么大部分人都认为2560x1440是2K?
- 为什么很多知乎的回答推崇日本式的市区、市郊通勤铁路?
- 如何看待 Mac mini M4 支持可更换 SSD?
- 鱼缸能不能做到一直不换水还很清澈?
最新资讯文章
- 如何将obsidian软件的文章,优雅发表在知乎里?
- 南京「先锋书店」公开禁止商拍,此前因「最美书店」称号成网红打卡地,失去这部分流量对书店来说是好事吗?
- 一名女子在杭州万象城遭挟持被捅 20 多刀,隆胸***体救了一命,这反映出哪些公安系统的问题?
- 苹果为什么要给每代MacOS起个名字,真以为人们记得住分得清吗?
- 下一代linux shell 会是什么,现在主要是bash?
- CPU 为什么很少会坏?
- 程序员真的需要一台 Mac 吗?
- 为什么知乎上都是说电车没有油车好?
- 你自己觉得自己的身材好吗?
- 为何一直推荐WebRTC?
- 在农村建房子的后悔了吗?
- 看新闻说老美的B-2连续飞了37小时,飞行员的吃喝拉撒怎么解决?
- 为什么程序员独爱用Mac进行编程?
- 男的真的会把所有衣服从上到下都扔洗衣机吗?
- 为什么LibreOffice的Windows版在国内火不起来?
- 中医为什么提倡禁一切寒凉之物?
- 医生老师公务员三个铁饭碗群体,谁会第一个面临职业危机呢?
- 女明星究竟可以有多瘦?
- 鸿蒙电脑会在国内逐渐取代windows电脑吗?
- 如何评价章若楠个人?