參考與借用
我們在範例 4-5 使用元組的問題在於,我們必須回傳 String
給呼叫的函式,我們才能繼續在呼叫 calculate_length
之後繼續使用 String
,因為 String
會被傳入 calculate_length
。不過我們其實可以提供個 String
數值的參考。參考(references) 就像是指向某個地址的指標,我們可以追蹤存取到該處儲存的資訊,而該地址仍被其他變數所擁有。和指標不一樣的是,參考保證所指向的特定型別的數值一定是有效的。
以下是我們定義並使用 calculate_length
時,在參數改用參考物件而非取得所有權的程式碼:
檔案名稱:src/main.rs
fn main() { let s1 = String::from("hello"); let len = calculate_length(&s1); println!("'{}' 的長度為 {}。", s1, len); } fn calculate_length(s: &String) -> usize { s.len() }
首先你會注意到原先變數宣告與函式回傳值會用到元組的地方都被更改了。再來注意到我們傳遞的是 &s1
給 calculate_length
,然後在定義時我們是取 &String
而非 String
。這些「&」符號就是參考,它們允許你不必獲取所有權來參考它。以下用圖示 4-5 示意。
注意:使用
&
參考的反向動作是解參考(dereferencing),使用的是解參考運算符號*
。我們會在第八章看到一些解參考的範例並在第 15 章詳細解釋解參考。
讓我們進一步看看函式的呼叫:
fn main() { let s1 = String::from("hello"); let len = calculate_length(&s1); println!("'{}' 的長度為 {}。", s1, len); } fn calculate_length(s: &String) -> usize { s.len() }
&s1
語法讓我們可以建立一個指向 s1
數值的參考,但不會擁有它。因為它並沒有所有權,它所指向的資料在不再使用參考後並不會被丟棄。
同樣地,函式簽名也是用 &
說明參數 s
是個參考。讓我們加一些註解在範例上:
fn main() { let s1 = String::from("hello"); let len = calculate_length(&s1); println!("'{}' 的長度為 {}。", s1, len); } fn calculate_length(s: &String) -> usize { // s 是個 String 的參考 s.len() } // s 在此離開作用域,但因為它沒有它所指向的資料的所有權 // 所以不會被釋放掉
變數 s
有效的作用域和任何函式參數的作用域一樣,但當不再使用參考時,參考所指向的數值不會被丟棄,因為我們沒有所有權。當函式使用參考作為參數而非實際數值時,我們不需要回傳數值來還所有權,因為我們不曾擁有過。
我們會稱呼建立參考這樣的動作叫做借用(borrowing)。就像現實世界一樣,如果有人擁有某項東西,他可以借用給你。當你使用完後,你就還給他。你並不擁有它。
所以要是我們嘗試修改我們借用的東西會如何呢?請試試範例 4-6 的程式碼。直接劇透你:它執行不了的!
檔案名稱:src/main.rs
fn main() {
let s = String::from("hello");
change(&s);
}
fn change(some_string: &String) {
some_string.push_str(", world");
}
以下是錯誤訊息:
$ cargo run
Compiling ownership v0.1.0 (file:///projects/ownership)
error[E0596]: cannot borrow `*some_string` as mutable, as it is behind a `&` reference
--> src/main.rs:8:5
|
7 | fn change(some_string: &String) {
| ------- help: consider changing this to be a mutable reference: `&mut String`
8 | some_string.push_str(", world");
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `some_string` is a `&` reference, so the data it refers to cannot be borrowed as mutable
For more information about this error, try `rustc --explain E0596`.
error: could not compile `ownership` due to previous error
如同變數預設是不可變,參考也是一樣的。我們不被允許修改我們參考的值。
可變參考
我們可以修正範例 4-6 的程式碼,讓我們可以變更借用的數值。我們可以加一點小修改,改用可變參考就好:
檔案名稱:src/main.rs
fn main() { let mut s = String::from("hello"); change(&mut s); } fn change(some_string: &mut String) { some_string.push_str(", world"); }
首先我們將 s
加上了 mut
,然後我們在呼叫 change
函式的地方建立了一個可變參考 &mut s
,然後更新函式的簽章成 some_string: &mut String
來接收這個可變參考。這樣能清楚表達 change
函式會改變它借用的參考。
可變參考有個很大的限制:如果你有一個數值的可變參考,你就無法再對該數值有其他任何參考。所以嘗試建立兩個 s
的可變參考的話就會失敗,如以下範例所示:
檔案名稱:src/main.rs
fn main() {
let mut s = String::from("hello");
let r1 = &mut s;
let r2 = &mut s;
println!("{}, {}", r1, r2);
}
以下是錯誤資訊:
$ cargo run
Compiling ownership v0.1.0 (file:///projects/ownership)
error[E0499]: cannot borrow `s` as mutable more than once at a time
--> src/main.rs:5:14
|
4 | let r1 = &mut s;
| ------ first mutable borrow occurs here
5 | let r2 = &mut s;
| ^^^^^^ second mutable borrow occurs here
6 |
7 | println!("{}, {}", r1, r2);
| -- first borrow later used here
For more information about this error, try `rustc --explain E0499`.
error: could not compile `ownership` due to previous error
此錯誤表示此程式碼是無效的,因爲我們無法同時可變借用 s
超過一次。第一次可變借用在 r1
且必須持續到它在 println!
用完爲止,但在其產生到使用之間,我們嘗試建立了另一個借用了與 r1
相同資料的可變借用 r2
。
這項防止同時間對相同資料進行多重可變參考的限制允許了可變行為,但是同時也受到一定程度的約束。這通常是新 Rustaceans 遭受挫折的地方,因為多數語言都會任你去改變其值。這項限制的好處是 Rust 可以在編譯時期就防止資料競爭(data races)。資料競爭和競爭條件(race condition)類似,它會由以下三種行為引發:
- 同時有兩個以上的指標存取同個資料。
- 至少有一個指標在寫入資料。
- 沒有針對資料的同步存取機制。
資料競爭會造成未定義行為(undefined behavior),而且在執行時你通常是很難診斷並修正的。Rust 能夠阻止這樣的問題發生,不讓有資料競爭的程式碼編譯通過!
如往常一樣,我們可以用大括號來建立一個新的作用域來允許多個可變參考,只要不是同時擁有就好:
fn main() { let mut s = String::from("hello"); { let r1 = &mut s; } // r1 離開作用域,所以建立新的參考也不會有問題 let r2 = &mut s; }
Rust 對於可變參考和不可變參考的組合中也實施著類似的規則,以下程式碼就會產生錯誤:
fn main() {
let mut s = String::from("hello");
let r1 = &s; // 沒問題
let r2 = &s; // 沒問題
let r3 = &mut s; // 很有問題!
println!("{}, {}, and {}", r1, r2, r3);
}
以下是錯誤訊息:
$ cargo run
Compiling ownership v0.1.0 (file:///projects/ownership)
error[E0502]: cannot borrow `s` as mutable because it is also borrowed as immutable
--> src/main.rs:6:14
|
4 | let r1 = &s; // no problem
| -- immutable borrow occurs here
5 | let r2 = &s; // no problem
6 | let r3 = &mut s; // BIG PROBLEM
| ^^^^^^ mutable borrow occurs here
7 |
8 | println!("{}, {}, and {}", r1, r2, r3);
| -- immutable borrow later used here
For more information about this error, try `rustc --explain E0502`.
error: could not compile `ownership` due to previous error
哇!看來我們也不可以擁有不可變參考的同時擁有可變參考。
擁有不可變參考的使用者可不希望有人暗地裡突然改變了值!不過數個不可變參考是沒問題的,因為所有在讀取資料的人都無法影響其他人閱讀資料。
請注意參考的作用域始於它被宣告的地方,一直到它最後一次參考被使用為止。舉例來說以下程式就可以編譯,因為不可變參考最後一次的使用(println!
)在可變參考宣告之前:
fn main() { let mut s = String::from("hello"); let r1 = &s; // 沒問題 let r2 = &s; // 沒問題 println!("{} and {}", r1, r2); // 變數 r1 和 r2 將不再使用 let r3 = &mut s; // 沒問題 println!("{}", r3); }
不可變參考 r1
和 r2
的作用域在 println!
之後結束。這是它們最後一次使用到的地方,也就是在宣告可變參考 r3
之前。它們的作用域沒有重疊,所以程式碼是允許的:編譯器能辨別出參考何時在作用域之前不再被使用。
雖然借用錯誤有時是令人沮喪的,但請記得這是 Rust 編譯器希望提前(在編譯時而非執行時)指出潛在程式錯誤並告訴你問題的源頭在哪。這樣你就不必親自追蹤為何你的資料跟你預期的不一樣。
迷途參考
在有指標的語言中,通常都很容易不小心產生迷途指標(dangling pointer)。當資源已經被釋放但指標卻還留著,這樣的指標指向的地方很可能就已經被別人所有了。相反地,在 Rust 中編譯器會保證參考絕不會是迷途參考:如果你有某些資料的參考,編譯器會確保資料不會在參考結束前離開作用域。
讓我們來嘗試產生迷途指標,看看 Rust 怎麼產生編譯期錯誤:
檔案名稱:src/main.rs
fn main() {
let reference_to_nothing = dangle();
}
fn dangle() -> &String {
let s = String::from("hello");
&s
}
以下是錯誤訊息:
$ cargo run
Compiling ownership v0.1.0 (file:///projects/ownership)
error[E0106]: missing lifetime specifier
--> src/main.rs:5:16
|
5 | fn dangle() -> &String {
| ^ expected named lifetime parameter
|
= help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
help: consider using the `'static` lifetime
|
5 | fn dangle() -> &'static String {
| +++++++
For more information about this error, try `rustc --explain E0106`.
error: could not compile `ownership` due to previous error
此錯誤訊息包含了一個我們還沒介紹的功能:生命週期(lifetimes)。我們會在第十章詳細討論生命週期。就算我們先不管生命週期的部分,錯誤訊息仍然告訴了我們程式出錯的關鍵點:
this function's return type contains a borrowed value, but there is no value
for it to be borrowed from
讓我們進一步看看我們的 dangle
程式碼每一步發生了什麼:
檔案名稱:src/main.rs
fn main() {
let reference_to_nothing = dangle();
}
fn dangle() -> &String { // 回傳 String 的迷途參考
let s = String::from("hello"); // s 是個新 String
&s // 我們回傳 String s 的參考
} // s 在此會離開作用域並釋放,它的記憶體就不見了。
// 危險!
因為 s
是在 dangle
內產生的,當 dangle
程式碼結束時,s
會被釋放。但我們卻嘗試回傳參考。此參考會指向一個已經無效的 String
。這看起來不太優!Rust 不允許我們這麼做。
解決的辦法是直接回傳 String
就好:
fn main() { let string = no_dangle(); } fn no_dangle() -> String { let s = String::from("hello"); s }
這樣就沒問題了。所有權轉移了出去,沒有任何值被釋放。
參考規則
讓我們來回顧我們討論到的參考規則:
- 在任何時候,我們要嘛只能有一個可變參考,要嘛可以有任意數量的不可變參考。
- 參考必須永遠有效。
接下來我們要來看看一個不太一樣的參考型別:切片(slices)。