Rust 架構網站 03 所有權

1. 每個變數有一個所有者(owner)
2. 同時間只能有一個所有者
3. 只要擁有者離開作用域就會被釋放

{ 
       // s 在此處無效，因為它還沒宣告
        let s = "hello";   // s 在此開始視為有效

        // 使用 s
	let c = s;
　　　　　// 所有權轉移 c有效 , s無效

	println!(s);
　　　　//將會報錯 因為所有權已經在c了
    }                      // 此作用域結束， c 不再有效

關於函式的所有權

fn main() {
    let s = String::from("hello");  // s 進入作用域

    takes_ownership(s);             // s 的值進入函式
                                    // 所以 s 也在此無效

    let x = 5;                      // x 進入作用域

    makes_copy(x);                  // x 本該移動進函式裡
                                    // 但 i32 有 Copy，所以 x 可繼續使用

} // x 在此離開作用域，接著是 s。但因為 s 的值已經被移動了
  // 它不會有任何動作

fn takes_ownership(some_string: String) { // some_string 進入作用域
    println!("{}", some_string);
} // some_string 在此離開作用域並呼叫 `drop`
  // 佔用的記憶體被釋放

fn makes_copy(some_integer: i32) { // some_integer 進入作用域
    println!("{}", some_integer);
} // some_integer 在此離開作用域，沒有任何動作發生

1. 當變數被拿來當函式的參數時，就是一個所有權的轉移
2. 轉移後的作用域，就在函式裡面。