首先引用对 Rust 语言的分析
然而研究过一阵子 Linear Logic 之后我发现,这个逻辑自己都没有解决任何问题,只不过给对象的引用方式施加了一些无端的限制,这样使得对象的引用计数是一个固定的值(1)。内存管理当然容易了,可是这样导致有很多程序你没法表达。
1."生命周期"并不是解决所有内存问题的。
引用自 Rust 程序设计语言 简体中文版
当你的代码调用一个函数时,传递给函数的值(包括可能指向堆上数据的指针)和函数的局部变量被压入栈中。当函数结束时,这些值被移出栈。
2.清栈是一个伴随函数结束的自动过程。
跟踪哪部分代码正在使用堆上的哪些数据,最大限度的减少堆上的重复数据的数量,以及清理堆上不再使用的数据确保不会耗尽空间,这些问题正是所有权系统要处理的。一旦理解了所有权,你就不需要经常考虑栈和堆了,不过明白了所有权的存在就是为了管理堆数据,能够帮助解释为什么所有权要以这种方式工作。
3.所有权管理了堆数据,解决了自动释放的问题。
由3可知,所有权并未解决所有问题。
就是2中,清栈后却依然存在的悬垂指针。
这被1解决了。
生命周期解决的正是和栈有关的内存问题。
所以标题中那段话应该改成“仅仅依靠栈无法实现链表”。
这不是rust的全部。
题外话,yinwang那篇文章准确的预言了rust的未来
比如
Rust 的数组可变性标记,跟 Swift 犯了一样的错误。Swift 的问题,我已经在之前的文章有详细叙述,所以这里就不多说了。简言之,同一个标记能表示的可变性,要么针对数组指针,要么针对数组元素,应该只能选择其一。而在 Rust 里面,你只有一个地方可以放“mut”进去,所以要么数组指针和元素全部都可变,要么数组指针和元素都不可变。你没有办法制定一个不可变的数组指针,而它指向的数组的元素却是可变的。
所以有了Pin。