RUST特性之三:所有权ownership(2/5)

2024-01-08 18:33:08

要讲清楚 所有权,必须得讲清楚两个基本概念:

栈(Stack)与堆(Heap)

估计高手看这篇如同废话,请直接跳过,但不说清楚下面就没有办法讲 ownership了。

栈和堆都是代码在运行时可供使用的内存,但是它们的结构不同。栈是很有序的结构。栈以放入值的顺序存储值并以相反顺序取出值。这也被称作?后进先出last in, first out)。

栈中的所有数据都必须占用已知且固定的大小。在编译时大小未知或大小可能变化的数据,要改为存储在堆上。

因为堆里的数据有大有小,所以堆是缺乏结构的:当向堆放入数据时,你要先请求一定大小的空间,还记得C语言的malloc,calloc吧。内存分配器(memory allocator)在堆的某处(不一定是哪里)找到一块足够大的空位,把它标记为已使用,并返回一个表示该位置地址的 让人又爱又恨的?指针pointer)。这个过程称作?在堆上分配内存allocating on the heap),有时简称为 “分配”(allocating)。

注意区别一下,指针本身是放在栈里的,因为指向放入堆中数据的指针是已知的并且大小是固定的。

想象一下你和朋友去餐馆吃饭。你向服务员说明有几个人,服务员会找到(allocating)一个够大的空桌子并领你们过去。如果有朋友来迟了,他也可以通过询问你们大桌子的位置(pointer 指针)来找到你们坐在哪。

比如下面这个代码段:

    let s1 = String::from("hello");
  

在内存里是这样的,s1在栈里,“hello”在堆里,s1指向“hello”所在的位置:

?

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

如何跟踪哪部分代码正在使用堆上的哪些数据,最大限度的减少堆上的重复数据的数量,以及清理堆上不再使用的数据确保不会耗尽空间,这些问题正是 所有权(ownership)系统要处理的。也是Java,Python的垃圾回收机制做的事情。

一旦理解了所有权(ownership),就不需要经常考虑栈和堆了,不过明白了所有权的主要目的就是为了管理堆数据,(栈那么整齐,是不需要我们特殊管理的),就能够理解为什么所有权要以这种方式工作。

文章来源:https://blog.csdn.net/psychovip/article/details/135418300
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。