Rust学习——所有权、引用和借用

所有权的转移#

在Cpp中，以下代码实现了字符串的赋值操作。

1
String s1 = "abcde";
2
String s2 = s1;

在这个代码里，s2相当于复制了s1字符串的字符内容，即完成了一次深拷贝。但在rust中：

1
let s1 = String::from("abcde");
2
let s2 = s1;

此时不同于cpp，它将s1对堆上”abcde”资源的所有权转移给了s2。此时s1不再有效，即s1不再持有任何资源。换句话来说，Rust永远也不会自动创建资源的“深拷贝”。 另外一个例子：

1
let x = 1;
2
let y = x;

x和y持有的资源全部在栈上，因此没有发生所有权的转移，而是将x的值复制给了y（它们实际上了实现了Copy的特征，因而可以直接复制而不是转移所有权）。
值得注意的是，不可变引用&T也是可以直接Copy的，但&mut T不行（&T的持有者对资源只读，因此非常安全）

函数传值与返回#

函数传值和返回的过程也会伴随所有权的转移。

1
fn takes_ownership(s:String){
2
    printfln!("{}",s);
3
}
4

5
fn main(){
6
    let str = String::from("abcde");
7
    takes_ownership(str);
8
}

takes_ownership函数取得了str原本持有的资源的所有权。

1
fn return_str() -> {
2
    String::from("abcde")
3
}
4

5
fn main(){
6
    let s = return_str();
7
}

s取得了return_str返回的字符串资源的所有权。

不可变引用和可变引用#

不可变引用相当于对资源只读，而可变引用让你对资源除了可读还可写。
因此，同一作用域内，有以下规则：

1. 不可变引用&T数量不限制
2. 可变引用&mut T只能有1个
3. 可变引用和不可变引用不能同时存在

1. 很多个读者共存不会影响彼此
2. 很多个写者共存会导致数据竞争
3. 写者修改资源会影响读者