浅析 Rust 所有权

一、什么是 stack 和 heap

stack 和 heap 都用于变量的内存存储。对于大多数的编程人员来讲,都无需去关心内存是如何分配到 heap 和 stack 中的(实际上,对于 stack 和 heap 的区别,也很多人并不是很清楚)。譬如在JavaScript中,大多数人知道一个结论:基本数据类型放在 stack 中,而引用数据类型放在 heap 里面。但一旦问到,为何需要这样进行划分的时候,少有人可以说上一二。

那它们到底有什么区别呢? 首先它们虽然都是可供代码使用的内存,但结构是不同的。 stack是一个线性的数据结构,以放入值得顺序存储值并以相反的顺序取出值,也就是我们常说的:后进先出。其数据的输入和取出,则通常被称为 进栈、出栈。由于 stack是线性的数据结构,所以 stack 中的所有数据都是必须占用已知且固定的大小。

而 heap 则是一个非线性的数据结构,是缺乏组织的。因此对于一些在初始时,大小未知或大小可能发生变化的数据,则可以放在堆中。当我们想要在堆中存储一些数据时,我们通常其实是请求一块大小合适的空间,然后操作系统在堆中搜索一个足够大的空间以匹配我们所请求的内存量,并将其标记为已用,并返回一个表示该位置地址的 **指针, **而这个指针也通常被存在 stack 中。这个过程也就是 堆内存分配,也常被称为 内存分配。

需要注意的是,将变量推入 stack 中,其实并不能被认为是内存分配,因为它本质上,只是按顺序压入 stack中,比不需要去进行显性的分配

由于它们数据结构不同、存储方式不同。也决定了,将值压入 stack 要比在 heap 上进行内存分配要来的快。因为入 stack 时,操作系统无需为新数据搜索内存空间,位置固定于 stack 顶部,只需压入即可。而堆内存分配则需要先找到一块足够存放数据的内存空间,然后才能将变量放入,生成指针(很多时候,还需要将指针压入 stack 中保存)。同理,访问 stack 的变量也比访问 heap 得数据要快。

二、什么是所有权

搞清楚栈和堆得区别后,我们大致就可以清楚我们通常说的 GC 其实主要关注的就是 heap 上的内存的回收。而我们今天要说的的所有权,其实也是主要管理堆数据,例如:哪部分代码正在使用堆上的哪些数据,最大限度的减少堆上的重复数据,清理堆上不再使用的数据确保不会耗尽空间。
所有的编程语言,都有着属于自己的管理计算机内存的方式。大体上可分为两个大的流派:

  1. 语言自带垃圾回收机制,可以在程序运行时不断的去寻找不再使用的内存。比如JavaScript、Go等语言,就自带垃圾回收机制
  2. 语言没有自带垃圾回收,需要开发者亲自进行内存的分配和释放,比较典型的就是如 C、 C++。

而Rust则没有走上面两条道路,而是通过所有权系统来管理内存,编译器在编译时会根据一系列的规则去对代码进行进行检查,确定变量的回收时机,因此,当程序运行时,所有权系统不会减慢程序。
而所有权系统具体有以下三点最重要的规则:

  • Rust 中的每一个值都有一个被称为其 owner 的变量
let a = 5   // a 是 5 的 owner
  • 每个值在任何一刻都只能有一个 owner
  • 当 owner 离开作用域时,这个值的内存将被回收

三、变量的作用域

Rust 根据作用域管理指针,在作用域中申请内存,离开作用域则会释放作用域。Rust 中的作用域也非常简单, Rust 是词法作用域,以大括号为边界,一个大括号对应着一个作用域:

fn main() {
    let content = String::from("Srtian");
    println!("{}",content);
}

比如如上的代码,在 String::from 处为 content 申请了内存,而在离开大括号后,content也就离开了作用域后被释放掉。

四、所有权的具体表现

上面几部分以及差不多将Rust的所有权系统简单的减少了一遍,接下来就让我们来看看,所有权系统到底是如何作用域 Rust 的内存管理的。

4.1、所有权的移动

在Rust中,对于已知大小的值,将其进行复制到另一个值会很容易:

fn main() {
    let a =  "5" ; 
    let b = a ; //将值a复制到b 
    println!("{}", a)  // 5 
    println!("{}", b)  // 5 
} 

因此 a 存储在 stack 中,所以我们可以对其直接进行复制。但对于放在 heap 中的数据,我们就不能这么简单的进行复制了(放在 heap 中的数据,也就是被所有权系统所管理的数据):

fn main() { 
    let s1 = String::from("hello");
    let s2 = s1; // 将s1复制到s2
    println!("{}", s1)  // 这里会报错,因为s1在这里已经被释放了
    println!("{}", s2)  // hello
}

当我们运行上面代码时,会出现报错。这是因为,当我们复制存储在 heap 中的值时,Rust 为了防止诸如:二次释放这样的错误,它在处理这种场景时,会直接认为 s1 不再有效。这样 Rust 就无需再在 s1 离开作用域时再需要清理它。
熟悉诸如JavaScript等语言的朋友,应该对浅拷贝和深拷贝很熟悉,其实上述的这个操作有点浅拷贝的意思,它只会拷贝指针、长度和容量,而不会直接拷贝数据。但 Rust 同时也会让第一个变量直接无效,因此也不能粗暴的将其理解为浅拷贝。

还有个需要注意的: Rust 永远不会自动创建数据的"深拷贝"。因此,所有自动的复制,都可以认为对于运行时的性能影响较小

而当我们确实需要深拷贝去拷贝 heap 上的数据时,我们可以使用 clone 方法来对值进行深拷贝:


#![allow(unused)]
fn main() {
    let s1 = String::from("hello");
    let s2 = s1.clone();
    println!("s1 = {}, s2 = {}", s1, s2);
}

4.2、所有权的借用

所有权的移动或者变量的深拷贝并不能满足工程师们日常的开发需求,比如:

fn main(){
    let contents = String::from("hello srtian");
    some_process(contents);
    println!("{}",contents); // error
}
fn some_process(word:String) {
    println!("some_process {}",word);
}

在上面的代码中, some_process(contents) contents变量会『移动』给some_process的参数word,contents变量就不能再次使用了。而且对于每次内存的重新分配,许多资源在时间和空间的开销都太昂贵了,但在日常开发中,类似的需求还是很多的。因此在这种情况下, Rust 提供了借用的选项。
所有权的借用也非常简单,我们只需在借用的变量前,加&字符即可:

struct Person {
    age: u8
}

fn main() {
    let jake = Person { age: 18 };
    let srtian = &jake;

    println!("jake: {:?}\nsrtian: {:?}", jake, srtian);
}

在上述代码中,尽管没有 clone。但上面的代码仍然会编译并输出。同样,如果是不可复制的值被借用,可以将其作为参数传递给函数,也就是解决我们上面所说的那个问题:

fn sum(vector: &Vec<i32>) -> i32 {
    let mut sum = 0;
    for item in vector {
        sum = sum + item
    }
    sum
}

fn main() {
    let v = vec![1,2,3];
    let v_ref = &v;
    let s = sum(v_ref);
    println!("sum of {:?}: {}", v_ref, s); // 不会报错
}

不过,需要注意的是,对于借用来的变量,我们是不能对其进行更改的。这其实也符合我们日常生活的基本常识,借来的东西,我们都需要原样进行返回。不过,Rust 也提供了方法来对借用来的变量进行更改:

fn main() {
    let mut s = String::from("hello");
    change(&mut s);
}

fn change(some_string: &mut String) {
    some_string.push_str(", world");
}

我们需要将 s 修改为 mut。然后传入的参数以及接受的参数,都需要显式的表明是 mut 的。不过需要注意的是,在特定的作用域中,特定的数据只能有一个可变引用。这个限制允许可变性的存在,不过是以一种受限的方式允许的。这样做的好处在于 Rust 可以在编译时就避免 数据竞争。数据竞争类似于竞态条件,它可由三种行为造成:

  1. 两个或更多指针同时访问统一数据
  2. 至少有一个指针被用来写入数据
  3. 没有同步数据访问的机制

有时候,我们会希望返回借来的值。比如我们想要返回字符串中较长的一个,我们可以写出如下的代码:

fn longest(x: &str, y: &str) -> &str {
    if x.bytes().len() > y.bytes().len() {
        x
    } else {
        y
    }
}

fn main() {
    let jake = "jake";
    let srtian = "srtian";

    println!("{}", longest(jake, srtian));
}

以上的代码不能成功编译,会报错:

fn longest(x: &str, y: &str) -> &str {
                                ^ expected lifetime parameter
 
 = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `x` or `y`

这就有关乎变量的生命周期了,生命周期是借用变量的有效范围。Rust 强大的编译器让我们在大多数情况下,无需显式的编写它们,而是通过推断去实现。但在一些需要生命周期参与的场景下,还是需要我们手动的去添加申明周期函数。譬如,我们想要解决上面的错误,就需要进行生命周期的手动声明:

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.bytes().len() > y.bytes().len() {
        x
    } else {
        y
    }

fn main() {
    let jake = "jake";
    let srtian = "srtian";

    println!("{}", longest(jake, srtian));
}

如此我们就能将借用的变量进行返回。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,378评论 6 481
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,356评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 152,702评论 0 342
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,259评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,263评论 5 371
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,036评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,349评论 3 400
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,979评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,469评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,938评论 2 323
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,059评论 1 333
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,703评论 4 323
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,257评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,262评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,485评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,501评论 2 354
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,792评论 2 345

推荐阅读更多精彩内容

  • 简介 接上回 Rust 的所有权概念 Rust 的核心特性就是所有权。 Rust 和大多数语言的垃圾回收机制(内存...
    kami1983阅读 605评论 0 1
  • 变量 声明变量关键字:let 变量值分为两种类型: 可变的(mut) 不可变 变量类型: 布尔型 - bool 表...
    JennerHua阅读 873评论 0 4
  • 编程语言的内存管理一般有两种: 带垃圾回收机制的,如 Java,Golang,会在运行时检查不再使用的内存并回收,...
    找不到工作阅读 201评论 0 0
  • 原文链接:https://kaisery.github.io/trpl-zh-cn/ch04-01-what-is...
    空乱木阅读 217评论 0 0
  • 通用编程概念 变量与可变性 变量默认不可变,如需要改变,可在变量名前加 mut 使其可变。例如:let mut a...
    soojade阅读 12,539评论 2 30