1.摘要
生命周期在Rust編程中是一個重要概念, 它能確保引用像預期的那樣一直有效。在Rust語言中, 每一個引用都有其生命周期, 通俗講就是每個引用在程序執行的過程中都有其自身的作用域, 一旦離開其作用域, 其生命周期也宣告結束, 值不再有效。幸運的是, 在絕大多數時間里, 生命周期是隱含且可以進行推斷的, 類似于當有多種可能的類型時必須注明類型, 正因為如此, 所以Rust需要使用者使用泛型生命周期參數來注明它們的關系, 從而確保程序運行時實際使用的引用絕對有效。
2.懸垂引用問題
懸垂引用會導致Rust編程中出現一些潛在的安全問題, 例如: 程序在無意之中引用了非預期引用的數據, 而這種現象在沒有任何約束的情況下很容易出現。Rust編程中引入生命周期的主要原因就是避免編程過程中出現的懸垂引用問題。
下面看一個代碼示例：
fn main() {let num;{let count = 5;num = &count;}println!("num: {}", num);
}首先定義了一個變量num, 下面的花括號表示進入到一個作用域, 在該作用域中, 定義了一個變量count,并賦值為5, 在這個內部作用域中,&count表示一個對變量count的引用, 然后將其賦給變量num, 在作用域的外部, 調用println打印出num的值。
先嘗試編譯一下這段代碼試試:
Rust編譯器報錯的地方指向代碼: num = &count, 并報了一個錯誤:"borrowed value does not live long enough", 意思是&count的值并沒有存在足夠久, 并很貼心的用藍色字告訴我們作用域的范圍界定。那么有一個問題, Rust編譯器是以什么機制來判定作用域使用的合法性呢?
3.Rust檢查機制
在Rust編譯器中, 有一個被稱為借用檢查器的機制, 它的主要工作原理是通過比較作用域來確保代碼中所有的借用都是有效的, 看一下下面的代碼標識:
fn main() {let num; ? ------------------------- num_s{ ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? |let count = 5; ------ count_s ? |num = &count; --------- ? ? ? ? |} ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? |println!("num: {}", num);------------
}這里將上面代碼中的兩個關鍵變量num和count分別引入一個各自代表其生命周期的標識:num_s和count_s。很明顯可以看到, num變量的起點在作用域上面, 終點在作用域下面,。而count_s的生命周期起點在進入第一個花括號后面, 終點在第二個花括號前面, 也就是說, num變量的生命周期num_s包含了count_s的生命周期, 所以Rust編譯器利用借用檢查器比較兩個變量的生命周期大小, 很容易推斷出num的生命周期明顯要長。
上面的代碼被Rust編譯器拒絕編譯, 正是因為借用檢查器首先發現 num_s的生命周期比count_s要長, 而num = &count這句代碼, 被引用的對象&count比引用者num存在的時間更短, 因此產生了懸垂引用。
那么解決該問題的方式也比較簡單, 只要被引用對象和引用者處于同一作用域即可解決, 如下代碼:
方式一:
fn main() {let count = 5;let num = &count;println!("num: {}", num);
}方式二:
fn main() {let num;{let count = 5;num = &count;println!("num: {}", num);}
}4.泛型生命周期
下面有一段代碼, 主要完成了兩個字符串的長度比較功能, 其中compare函數負責完成兩個字符串的長度比較并返回長度最長的字符串的
切片。代碼如下:
fn compare(a: &str, b: &str) -> &str {if a.len() > b.len() {a} else {b}
}
?
fn main() {let sample1 = String::from("sample for suntiger");let sample2 = "suntiger";let c_result = compare(sample1.as_str(), sample2);println!("最長的字符串是 {}", c_result);
}這段代碼編譯時,Rust編譯器的返回如下:
上面的錯誤提示分為三個部分: compare函數的兩個參數以及返回值存在生命周期問題。首先, Rust編譯器并不清楚將要返回的引用&str到底是指向參數a還是參數b, 其實作為程序員自己也是不知道的, 因為只有在運行時通過比較兩個參數的長度大小后才知道哪個參數切片的字符串內容更長。
因此, 根據Rust編譯器的綠色標記提示, 在編寫compare函數時, 必須增加泛型生命周期參數來定義引用間的關系以便Rust的檢查機制能夠正確分析。
5.生命周期注解
在上面的編譯器返回提示中, 綠色的部分: <'a>、&'a被稱為生命周期注解, 這個也是Rust語言獨特的語法, 看起來比較奇葩和抽象, 那么Rust如何去定義這個注解呢, 以下是簡單的語法:
&str ? ? ? // 稱為引用
&'a str ? ? // 稱為帶有顯式生命周期的引用
&'a mut str // 稱為帶有顯式生命周期的可變引用生命周期注解的一個重要作用就是告訴Rust編譯器在多個引用的泛型生命周期參數存在期間它們如何相互聯系。
嘗試將compare函數代碼修改如下:
fn compare<'a>(a: &'a str, b: &'a str) -> &'a str {if a.len() > b.len() {a} else {b}
}再次嘗試編譯, Rust編譯器返回如下:
這次返回了正確的結果, 當在函數中使用生命周期注解時, 這些注解只存在于函數簽名中, 而不存在于函數體的任何代碼中, 當在實際應用過程中, 參數的引用傳給compare函數時, 被'a取代的具體生命周期是參數a的作用域與參數b的作用域重疊的那一部分, 換句話說就是兩個參數中生命周期較小的那一個。
6.結構體生命周期注解
在定義結構體時, 也要在相應的地方加上生命周期注解, 結構體定義如下:
struct PersonInfo<'a> {name: &'a str,
}在該結構體中定義了一個name的字段, 其中存放了一個字符串切片, 為了能夠在結構體定義中使用生命周期參數, 必須在結構體名稱后面的括號中聲明泛型生命周期參數。
接下來需要在main函數中創建一個結構體實例, 將一個字符串切片內容傳給結構體參數, 代碼如下:
fn main() {let sayinfo = String::from("今天天氣不錯#挺風和日麗的...");let headerinfo = sayinfo.split('#').next().expect("找不到分隔符'#'");let pi = PersonInfo {name: headerinfo,};println!("分割name內容為: {}", pi.name);
}在上面的代碼中, 對變量sayinfo中的內容作了字符串分割, 如果找到符號#,則取前面的內容,然后將該部分內容存到結構體字段中。
編譯結果如下:
因為變量sayinfo在結構體PersonInfo之前創建, 且結構體離開作用域之后,變量sayinfo仍然不會離開作用域, 因此PersonInfo實例中的引用一直都是有效的, 并不會出問題。
7.靜態生命周期
靜態生命周期和靜態變量一樣, 都有一個關鍵字: static, 例子代碼如下:
let sample: &'static str = "我是一個靜態周期的例子.";現在變量sample的生命周期會一直持續, 在整個程序中都是有效的, 盡管靜態生命周期會避免編碼過程中的很多編譯器檢查錯誤, 但是一旦在編碼過程中出現懸垂引用的錯誤編碼時, 更正確的做法應該是想辦法解決懸垂引用的問題,而不是靠靜態生命周期避開錯誤。
8.總結
在本篇文章中我們探索了生命周期在Rust常見場景中的各種應用, 但在復雜的業務場景中, 可能還會遇到其它錯誤, 這時候依靠Rust編譯器強大的提示功能應該能夠準確找到出現問題的地方, 在這個過程中解決問題, 除了加深印象, 還能起到舉一反三的作用。
)
