当前位置:当前位置: 首页 >
为什么Rust写个链表都那么难?
文章出处:网络 人气:发表时间:2025-06-24 10:05:13
表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则(Of course!和Why not?),导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话,要么回到引用计数垃圾回收的机制,要么手写mfree(Why not?)语句。
但这又回到了老路上,违背了Rust的目标。
但是只要我们提前知道链表的最大长度,那么就能写出来了。
例如:已知链表的最大长度是3,那么我们定义3个类型套一下即可。
问题就出在这里,“链表最大…。
同类文章排行
- 俄罗斯为什么不用苏57?
- 055驱逐舰 是个什么概念?
- 为何一讨论Wi-Fi 7阉割6GHz+320MHz,很多人都说用不上所以根本不在意?
- 中国的航空发动机现在是什么水平?
- MiniMax Week第三天推出通用 Agent,体验如何?对行业会带来哪些影响?
- 中餐炒菜那么好吃,为什么欧美人不学去?
- 为什么《绝区零》打磨了那么多细节的同时,却有一个灾难性的UI设计?
- 你们的腰椎间盘突出,怎么治好的?
- 印度女性为什么不嫁到中国?
- 为什么同样是输球,常州和国足的风评却差那么多呢?
最新资讯文章
- 在武汉,你们的找对象标准是怎样的?
- 央企的信创,是否有必要把 spring 替换成国产的 solon ?
- 为什么运维都这么难招?
- 以色列有能力灭掉伊朗吗?
- 如何看待《捞女游戏》(已改名为《情感反诈模拟器》)定档 6 月 19 日?
- Node.js是谁发明的?
- 游戏史上有哪些著名的平衡***故?
- 李连杰时隔多年复出参演武侠电影《镖人:风起大漠》,票房能爆吗?
- 巴基斯坦援助伊朗防空,大家怎么看?
- 你认为这次伊以冲突,以色列这次干得漂亮吗?
- 女朋友是跳拉丁舞的,跳双人舞时会有身体接触,作为男友我感觉有点吃醋怎么办?
- 有邻居的追求者出价三万,让我连续半个月每天找个女朋友晚上弄点动静,我该答应吗?
- 为何同是象棋,国际象棋的棋子可以做的那么有设计感,而中国象棋的棋子形式似乎比较单一?
- 腾讯开源的 libco 号称千万级协程支持,那个共享栈模式原理是什么?
- 人真的有运气这一说法吗?






关注公众微信号
移动端,扫扫更精彩