Rust所有權模型的核心原則

單一所有權原則

在Rust中，每個變量對特定記憶體區域擁有所有權，並且在任何給定時間內，只有一個變量可以擁有該記憶體。這種設計消除了多執行緒程式中可能出現的數據競爭問題。所有權的轉移是Rust記憶體安全模型的核心。

基本型別：復制成本低

對於基本型別（如整數、浮點數、布爾值），復制操作成本很低，因為其記憶體大小在編譯時已知。當你將基本型別賦值給另一個變量時，數據會被復制，而不是移動。

1. let i =5;

2. let j = i;// 這裏發生了復制

3. println!("{}", j);// 輸出: 5

4. println!("{}", i);// 輸出: 5

在這種情況下，變量 i 和 j 是獨立的，它們持有相同的值，但所有權沒有發生變化。

復雜型別：所有權轉移

對於復雜型別（如 Vec 、 String ），其記憶體大小在編譯時並不固定。因此，當一個變量被賦值給另一個變量時，所有權會被轉移，而不是復制。

1. let v = vec![1,2,3,4,5];

2. let w = v;// `v`的所有權被轉移給`w`

3. println!("{:?}", w);// 輸出: [1, 2, 3, 4, 5]

4. println!("{:?}", v);// 錯誤: 借用已移動的值

當所有權轉移到 w 後，變量 v 將不再可存取。

函式和閉包中的所有權

所有權轉移同樣適用於將復雜型別傳遞給函式或閉包的情況。不過，所有權可以從函式中返回，從而允許你重新獲得對數據的存取。

範例：函式中的所有權

1. let v = vec![1,2,3,4,5];

2. let foo =|v:Vec<i32>|->Vec<i32>{

3. println!("Vector used in foo");

4. v // 返回所有權

5. };

6. let v = foo(v);// 所有權轉移到`foo`，然後返回給`v`

7. println!("{:?}", v);// 輸出: [1, 2, 3, 4, 5]

步驟如下：

1. 當閉包 foo 被呼叫時， v 的所有權轉移給 foo 。

2. 閉包使用 v （打印它），然後返回它。

3. 所有權重新分配給主作用域中的變量 v ，使其再次可存取。

為什麽所有權在Rust中很重要

所有權模型提供了幾個優勢：

總結

Rust的所有權模型強制執行嚴格的記憶體管理規則：