Rust 入门 - 所有权

Ownership

Rust 中的每一个值都有一个被称为其 所有者(owner)的变量。

值在任一时刻有且只有一个所有者。

当所有者(变量)离开作用域,这个值将被丢弃。

变量做用域

{
    //当 s 进入作用域 时,它就是有效的。
    // 这一直持续到它 离开作用域 为止。
    let s = "apple";
    println!("s = {}", s);

    let s1 = String::from("Tom");
    log(s1);
    // error value borrowed here after move 被借用无法输出
    // println!("s1 = {}", s1);
} //离开作用域自动释放
    // println!("s = {}", s);

fn log(name: String) {
    println!("{}", name);
}

内存与分配

mut string 由于可变, 分配在堆上:
必须在运行时向操作系统请求内存。

需要一个当我们处理完 String 时将内存返回给操作系统的方法。

let mut s = String::from("hello");
s.push_str(", world!");
println!("s = {}", s);

变量与数据交互的方式(一):移动

let x = 5; // 给 x 赋值 5,由于 5 的大小是已知的, 被分配到栈上
let y = x;
println!("x = {}, y = {}", x, y);
// string 版本
let s1 = String::from("hello");
let s2 = s1;
println!("s2 = {}", s2);
// println!("s1 = {}, s2 = {}", s1, s2);

String 由三部分组成,如图左侧所示:一个指向存放字符串内容内存的指针,一个长度,和一个容量。这一组数据存储在栈上。右侧则是堆上存放内容的内存部分。


Xnip2021-05-26_15-57-45.jpg

当我们将 s1 赋值给 s2,String 的数据被复制了,这意味着我们从栈上拷贝了它的指针、长度和容量。我们并没有复制指针指向的堆上数据。


Xnip2021-05-26_15-58-43.jpg

操作 s2 = s1 在堆上数据比较大的时候会对运行时性能造成非常大的影响。

Xnip2021-05-26_16-01-07.jpg

如果你在其他语言中听说过术语 浅拷贝(shallow copy)和 深拷贝(deep copy),那么拷贝指针、长度和容量而不拷贝数据可能听起来像浅拷贝。不过因为 Rust 同时使第一个变量无效了,这个操作被称为 移动(move),而不是浅拷贝。上面的例子可以解读为 s1 被 移动 到了 s2 中。那么具体发生了什么,如图 4-4 所示。

【借用】


Xnip2021-05-26_16-01-47.jpg

另外,这里还隐含了一个设计选择:Rust 永远也不会自动创建数据的 “深拷贝”。因此,任何 自动 的复制可以被认为对运行时性能影响较小。

克隆 确实需要的拷贝的场景使用

let s1 = String::from("hello");
let s2 = s1.clone(); //clone 堆上的数据被复制了
println!("s1 = {}, s2 = {}", s1, s2);

为什么整形不需要clone?

let x = 5;
let y = x;
println!("x = {}, y = {}", x, y);

原因: 整型这样的在编译时已知大小的类型被整个存储在栈上,所以拷贝其实际的值是快速的。
Rust 有一个叫做 Copy trait 的特殊注解,可以用在类似整型这样的存储在栈上的类型上。如果一个类型拥有 Copy trait,一个旧的变量在将其赋值给其他变量后仍然可用。Rust 不允许自身或其任何部分实现了 Drop trait 的类型使用 Copy trait。如果我们对其值离开作用域时需要特殊处理的类型使用 Copy 注解,将会出现一个编译时错误。要学习如何为你的类型增加 Copy 注解,请阅读附录 C 中的 “可派生的 trait”。

那么什么类型是 Copy 的呢?可以查看给定类型的文档来确认,不过作为一个通用的规则,任何简单标量值的组合可以是 Copy 的,不需要分配内存或某种形式资源的类型是 Copy 的。如下是一些 Copy 的类型:

所有整数类型,比如 u32。

布尔类型,bool,它的值是 true 和 false。

所有浮点数类型,比如 f64。

字符类型,char。

元组,当且仅当其包含的类型也都是 Copy 的时候。比如,(i32, i32) 是 Copy 的,但 (i32, String) 就不是。

所有权和函数

将值传递给函数在语义上与给变量赋值相似。向函数传递值可能会移动或者复制,就像赋值语句一样

let s = String::from("hello"); // s 进入作用域
takes_ownership(s); // s 的值移动到函数里 【移动】
                    // ... 所以这里不再有效
let x = 5; // x 进入作用域
makes_copy(x); // 但 i32 是 copy 的 【copy】
                // ...所以能继续使用

fn takes_ownership(some_string: String) {
    println!("{}", some_string);
}

fn makes_copy(some_integer: i32) {
    println!("{}", some_integer);
}

返回值和作用域

返回值也能转移所有权

let s1 = gives_ownership(); // gives_ownership 将返回值移给 s1
let s2 = String::from("hello"); // s2进入作用域
let s3 = take_and_gives_back(s2);
println!("s1= {}", s1);
// println!("s2 = {}", s2);
println!("s3 = {}", s3);
// s2被移动到  take_and_gives_back , take_and_gives_back 返回值给s3

fn take_and_gives_back(str: String) -> String {
    str
}

fn gives_ownership() -> String {
    let a = String::from("hello");
    a
}

转移返回值的所有权

{
let s1 = String::from("hello");
let (s2, len) = calculate_length(s1);
println!("{} length is {}", s2, len);
}
// s3 移出作用域并被丢弃,s2 移出作用域并但被移走

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

推荐阅读更多精彩内容