Rust: Ownership 实例解析

Ownership 在Rust 里面是相当重要的，这与其所宣称的safety有着很大的联系

首先来看几个例子

// 例1
fn main() {
    let a: i32 = 10;
    let b = a;
    println!("a = {}, b = {}", a, b);
}

这个有问题吗？
是的，有！问题所在：变量b默认是不可更改的
只要修改为 let mut b = a; 即可
这个是没问题的！

再来看下一个例子

// 例2
fn main() {
    let v1 = vec![1, 2, 3];
    let v2 = v1;
    println!("v1[0] = {}", v1[0]);
}

有问题吗？
当然！编译会报错，因为变量v1对其指向的值的所有权(Ownership)已经移交(moved)给变量v2了，此时为了避免产生数据竞争(data race)，Rust限定只能有一个变量对其指向的内容有所有权

然而为什么例1不会出现编译问题呢？因为Rust里面，原始类型(Primitive Type)默认都实现了Copy Trait，这就意味着例1中的变量a和变量b指向的地址是不一样的，故不会出现数据竞争的情况，而向量(Vector)是没有实现Copy Trait的

最后，再来看一个复杂的例子

// 例3-a
fn foo(v1: Vec<i32>, v2: Vec<i32>) -> (v1, v2, answer) {
    (v1, v2, v1[0] + v2[0])
}

fn main() {
    let v1 = vec![1, 2, 3];
    let v2 = vec![4, 5, 6];
    
    let (v1, v2, answer) = foo(v1, v2);
    println!("The answer is {}", answer);
}

// 例3-b
fn foo(v1: Vec<i32>, v2: Vec<i32>) -> (answer, v1, v2) {
    (v1[0] + v2[0], v1, v2)
}

fn main() {
    let v1 = vec![1, 2, 3];
    let v2 = vec![4, 5, 6];
    
    let (answer, v1, v2) = foo(v1, v2);
    println!("The answer is {}", answer);
}

例3-a和例3-b有什么不一样呢，为什么例3-a会出错而例3-b正确？留给读者去思考吧