• 借用

    借用

    多数情况下，我们更希望访问数据本身而不需要取得它的所有权。为实现这点，Rust 使用了借用（borrowing）机制。对象可以通过引用（&T）来传递，从而取代通过值（T）来传递。

    编译器静态地保证了（通过借用检查器）引用总是（always）指向有效的对象。也就是说，当存在引用指向一个对象时，该对象不能被销毁。

    1. // 此函数拥有 box 的所有权并销毁它
    2. fn eat_box_i32(boxed_i32: Box<i32>) {
    3.     println!("Destroying box that contains {}", boxed_i32);
    4. }
    6. // 此函数借用了一个 i32 类型
    7. fn borrow_i32(borrowed_i32: &i32) {
    8.     println!("This int is: {}", borrowed_i32);
    9. }
    11. fn main() {
    12.     // 创建一个装箱的 i32 类型，以及一个存在栈中的 i32 类型。
    13.     let boxed_i32 = Box::new(5_i32);
    14.     let stacked_i32 = 6_i32;
    16.     // 借用了  box 的内容，但没有取得所有权，所以 box 的内容可以
    17.     // 再次借用。
    18.     borrow_i32(&boxed_i32);
    19.     borrow_i32(&stacked_i32);
    21.     {
    22.         // 给出一个指向 box 里面所包含数据的引用
    23.         let _ref_to_i32: &i32 = &boxed_i32;
    25.         // 报错！
    26.         // 当 `boxed_i32` 里面的值被借用时，不能销毁 `boxed_int`。
    27.         eat_box_i32(boxed_i32);
    28.         // 改正 ^ 注释掉此行
    30.         // `_ref_to_i32` 离开作用域且不再被借用。
    31.     }
    33.     // box 现在可以放弃 `eat_i32` 的所有权且可以销毁
    34.     eat_i32(boxed_i32);
    35. }