• 所有权和移动

    所有权和移动

    因为变量要负责释放它们拥有的资源，所以资源只能拥有一个所有者。这也防止了资源的重复释放。注意并非所有变量都拥有资源（例如 references）。

    在进行赋值（let x = y）或通过值来传递函数参数的时候，资源的所有权（ownership)会发生转移（transfer）。按照 Rust 的说法，这种方式被称为移动（move）。

    在移动资源之后，原来的所有者不能再使用，这可避免悬垂指针的产生。

    1. // 此函数取倒堆分配的内存的所有权
    2. fn destroy_box(c: Box<i32>) {
    3.     println!("Destroying a box that contains {}", c);
    5.     // `c` 被销毁且内存得到释放
    6. }
    8. fn main() {
    9.     // 栈分配的整型
    10.     let x = 5u32;
    12.     // 将 `x` **复制**（*Copy*）到 `y`——不存在资源移动
    13.     let y = x;
    15.     // 两个值都可以独立地使用
    16.     println!("x is {}, and y is {}", x, y);
    18.     // `a` 是一个指向堆分配的整型的指针
    19.     let a = Box::new(5i32);
    21.     println!("a contains: {}", a);
    23.     // **移动**（*Move*) `a` 到 `b`
    24.     let b = a;
    25.     // 把 `a` 的指针地址（非数据）复制到 `b`。现在两者都是指向
    26.     // 同一个堆分配的数据，但是现在是 `b` 占有它。
    28.     // 报错！`a` 再也不能访问数据，因为它不再拥有堆上的内存。
    29.     //println!("a contains: {}", a);
    30.     // 试一试 ^ 将此行注释去掉
    32.     // 此函数从 `b` 中取得栈分配的内存的所有权
    33.     destroy_box(b);
    35.     // 此时堆上的内存已经释放掉，而这个操作会导致解引用已释放的内存，
    36.     // 但这种情况会被编译器会禁止。
    37.     // 报错！和前面出错的原因一样。
    38.     //println!("b contains: {}", b);
    39.     // 试一试 ^ 将此行注释去掉
    40. }