rust怎么不要的墙拆掉_正确理解“rust无法实现链表”

首先引用对 Rust 语言的分析

然而研究过一阵子 Linear Logic 之后我发现，这个逻辑自己都没有解决任何问题，只不过给对象的引用方式施加了一些无端的限制，这样使得对象的引用计数是一个固定的值（1）。内存管理当然容易了，可是这样导致有很多程序你没法表达。

1."生命周期"并不是解决所有内存问题的。

引用自 Rust 程序设计语言 简体中文版

当你的代码调用一个函数时，传递给函数的值（包括可能指向堆上数据的指针）和函数的局部变量被压入栈中。当函数结束时，这些值被移出栈。

2.清栈是一个伴随函数结束的自动过程。

跟踪哪部分代码正在使用堆上的哪些数据，最大限度的减少堆上的重复数据的数量，以及清理堆上不再使用的数据确保不会耗尽空间，这些问题正是所有权系统要处理的。一旦理解了所有权，你就不需要经常考虑栈和堆了，不过明白了所有权的存在就是为了管理堆数据，能够帮助解释为什么所有权要以这种方式工作。

3.所有权管理了堆数据，解决了自动释放的问题。

由3可知，所有权并未解决所有问题。

就是2中，清栈后却依然存在的悬垂指针。

这被1解决了。

生命周期解决的正是和栈有关的内存问题。

所以标题中那段话应该改成“仅仅依靠栈无法实现链表”。

这不是rust的全部。

题外话，yinwang那篇文章准确的预言了rust的未来

比如

Rust 的数组可变性标记，跟 Swift 犯了一样的错误。Swift 的问题，我已经在之前的文章有详细叙述，所以这里就不多说了。简言之，同一个标记能表示的可变性，要么针对数组指针，要么针对数组元素，应该只能选择其一。而在 Rust 里面，你只有一个地方可以放“mut”进去，所以要么数组指针和元素全部都可变，要么数组指针和元素都不可变。你没有办法制定一个不可变的数组指针，而它指向的数组的元素却是可变的。

所以有了Pin。