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, v2: Vec) -> (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, v2: Vec) -> (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正确?留给读者去思考吧

你可能感兴趣的:(Rust: Ownership 实例解析)