Rust学习教程10 - 所有权

最新推荐文章于 2024-09-18 14:44:43 发布

孙飞 Sunface

最新推荐文章于 2024-09-18 14:44:43 发布

阅读量636

点赞数 2

分类专栏： Rust语言圣经文章标签： rust 开发语言后端

本文链接：https://blog.csdn.net/erlib/article/details/121780061

版权

Rust通过所有权系统在编译时确保内存安全，避免了垃圾回收的性能损失。所有权规则规定每个值都有一个所有者，所有者离开作用域时，值会被丢弃。本文介绍了栈和堆的区别，强调了所有权在堆栈管理中的作用，以及所有权在函数传值与返回中的应用。通过示例展示了所有权转移、克隆和拷贝的概念，帮助理解Rust中变量绑定背后的数据交互。

摘要由CSDN通过智能技术生成

本文节选自<<Rust语言圣经>>一书
欢迎大家加入Rust编程学院，一起学习交流:
QQ群：1009730433

所有权

所有的程序都必须和计算机内存打交道，如何从内存中申请空间来存放程序的运行内容，如何在不需要的时候释放这些空间，成了重中之重，也是所有编程语言设计的难点之一。在计算机语言不断演变过程中，出现了三种流派：

垃圾回收机制(GC)，在程序运行时不断寻找不再使用的内存，典型代表：Java、Go
手动管理内存的分配和释放, 在程序中，通过函数调用的方式来申请和释放内存，典型代表：C++
通过所有权来管理内存，编译器在编译时会根据一系列规则进行检查

其中Rust选择了第三种，最妙的是，这种只发生在编译器，因此对于程序运行期，不会有任何性能上的损失。

因为所有权是一个新概念，因此读者需要花费一些时间来掌握它，一旦掌握，海阔天空任你跃，在本章，我们将通过字符串来引导讲解所有权的相关知识。

一段不安全的代码

先来看看C语言的一段糟糕代码：

int* foo() {
   
    int a;          // 变量a的作用域开始
    a = 100;
    char *c = "xyz";   // 变量c的作用域开始
    return &a;
}                   // 变量a和c的作用域结束

这段代码虽然可以编译通过，但是其实非常糟糕，变量a和c都是局部变量，函数结束后将局部变量a的地址返回，但局部变量a存在栈中，在离开作用域后，局部变量所申请的栈上内存都会被系统回收，从而造成了悬空指针(Dangling Pointer)的问题。这是一个非常典型的内存安全问题。很多编程语言都存在类似这样的内存安全问题。再来看变量c，c的值是常量字符串，存储于常量区，可能这个函数我们只调用了一次，我们可能不再想使用这个字符串，但xyz只有当整个程序结束后系统才能回收这片内存，这点让程序员是不是也很无奈？

所以内存安全问题，一直都是程序员非常头疼的问题，好在在Rust中，这些问题即将成为历史，那Rust如何做到这一点呢？

在正式进入主题前，先来一个预热知识。

栈（Stack）与堆（Heap）

栈和堆是编程语言最核心的数据结构，但是在很多语言中，你并不需要经常考虑到栈与堆。不过对于Rust这样的系统编程语言，值是位于栈上还是堆上非常重要,因为这会影响程序的行为和性能。

栈和堆的核心目标就是为程序在运行时提供可供使用的内存空间，关于它们的详细解释和实现方式，请参见Rust代码鉴赏一书.

栈

栈以放入值的顺序存储值并以相反顺序取出值。这也被称作 后进先出。想象一下一叠盘子：当增加更多盘子时，把它们放在盘子堆的顶部，当需要盘子时，也从顶部拿走。不能从中间也不能从底部增加或拿走盘子！增加数据叫做进栈，移出数据则叫做出栈。

因为上述的实现方式，栈中的所有数据都必须占用已知且固定的大小的内存空间，如果数据大小是未知的，那么在取出数据时，你将无法取到你想要的数据。

堆

与栈不同，对于大小位置或者可能变化的数据，我们需要将它存储在堆上。

当向堆上放入数据时，你需要请求一定大小的空间。操作系统在堆的某处找到一块足够大的空位，把它标记为已使用，并返回一个表示该位置地址的指针。这个过程称作 在堆上分配内存，有时简称为 “分配”（allocating）。接着，该指针会被推入栈中，因为指针的大小时已知且固定的，在后续使用过程中，你将通过栈中的指针，来获取数据在堆上的实际内存位置，进而访问该数据。

因此堆是一种缺乏组织的数据结构。想象一下去餐馆就座吃饭: 进入餐馆，告知服务员有几个人，然后它找到一个够大的空桌子(堆上分配的内存空间)并领你们过去。如果有人来迟了，他们也可以通过桌号(栈上的指针)来找到你们坐在哪。