精选新鲜的资讯为您呈现
-
为什么有人觉得《庆余年》很垃圾?
为什么有人觉得《庆余年》很垃圾?···
音乐 -
Mac mini M4，有必要升级24G内存吗？
Mac mini M4，有必要升级24G内存吗？···
音乐 -
为什么美国高校生偏好苹果电脑?
为什么美国高校生偏好苹果电脑?···
音乐 -
怎么看待三十而已里说的养鱼让人玩物丧志，养鱼是魔鬼，是黑洞，养鱼毁三代鱼缸毁一生的话?
怎么看待三十而已里说的养鱼让人玩物丧志，养鱼是魔鬼，是黑洞，养鱼毁三代鱼缸毁一生的话?···
音乐 -
鱼缸换水前为什么必须要困水？如果没条件困水怎么办？
鱼缸换水前为什么必须要困水？如果没条件困水怎么办？···
音乐 -
如何看待 2026QS 世界大学排名？
如何看待 2026QS 世界大学排名？···
音乐 -
你为什么觉得 Mac 不好用？
你为什么觉得 Mac 不好用？···
音乐 -
为什么不用scratch开发***？
为什么不用scratch开发***？···
音乐 -
42 公里的马拉松已经非常极限了，为什么还会有上百公里的越野跑？
42 公里的马拉松已经非常极限了，为什么还会有上百公里的越野跑？···
音乐
为什么Rust写个链表都那么难？
2025-06-24 15:35:14 来源：本站表面上看是因为Rust所有权系统不承认线性逻辑中的指数推理规则（Of course!和Why not?），导致链表这种含有“自指”结构的数据结构无法刻画。
但如果承认指数规则的话，要么回到引用计数垃圾回收的机制，要么手写mfree（Why not?）语句。
但这又回到了老路上，违背了Rust的目标。
但是只要我们提前知道链表的最大长度，那么就能写出来了。
例如：已知链表的最大长度是3，那么我们定义3个类型套一下即可。
问题就出在这里，“链表最大…。
猜你喜欢