1.摘要

生命周期在Rust編程中是一個重要概念, 它能確保引用像預(yù)期的那樣一直有效。在Rust語言中, 每一個引用都有其生命周期, 通俗講就是每個引用在程序執(zhí)行的過程中都有其自身的作用域, 一旦離開其作用域, 其生命周期也宣告結(jié)束, 值不再有效。幸運的是, 在絕大多數(shù)時間里, 生命周期是隱含且可以進(jìn)行推斷的, 類似于當(dāng)有多種可能的類型時必須注明類型, 正因為如此, 所以Rust需要使用者使用泛型生命周期參數(shù)來注明它們的關(guān)系, 從而確保程序運行時實際使用的引用絕對有效。

2.懸垂引用問題

懸垂引用會導(dǎo)致Rust編程中出現(xiàn)一些潛在的安全問題, 例如: 程序在無意之中引用了非預(yù)期引用的數(shù)據(jù), 而這種現(xiàn)象在沒有任何約束的情況下很容易出現(xiàn)。Rust編程中引入生命周期的主要原因就是避免編程過程中出現(xiàn)的懸垂引用問題。

下面看一個代碼示例：

fn main() {
   let num;
   {
      let count = 5;
      num = &count;
   }
   println!("num: {}", num);
}

首先定義了一個變量num, 下面的花括號表示進(jìn)入到一個作用域, 在該作用域中, 定義了一個變量count,并賦值為5, 在這個內(nèi)部作用域中,&count表示一個對變量count的引用, 然后將其賦給變量num, 在作用域的外部, 調(diào)用println打印出num的值。

先嘗試編譯一下這段代碼試試:

Rust編譯器報錯的地方指向代碼: num = &count, 并報了一個錯誤:"borrowed value does not live long enough", 意思是&count的值并沒有存在足夠久, 并很貼心的用藍(lán)色字告訴我們作用域的范圍界定。那么有一個問題, Rust編譯器是以什么機(jī)制來判定作用域使用的合法性呢?

3.Rust檢查機(jī)制

在Rust編譯器中, 有一個被稱為借用檢查器的機(jī)制, 它的主要工作原理是通過比較作用域來確保代碼中所有的借用都是有效的, 看一下下面的代碼標(biāo)識:

fn main() {
   let num;    ------------------------- num_s
   {                                   |
      let count = 5; ------ count_s    |
      num = &count;  ---------         |
   }                                   |
   println!("num: {}", num);------------
}

這里將上面代碼中的兩個關(guān)鍵變量num和count分別引入一個各自代表其生命周期的標(biāo)識:num_s和count_s。很明顯可以看到, num變量的起點在作用域上面, 終點在作用域下面,。而count_s的生命周期起點在進(jìn)入第一個花括號后面, 終點在第二個花括號前面, 也就是說, num變量的生命周期num_s包含了count_s的生命周期, 所以Rust編譯器利用借用檢查器比較兩個變量的生命周期大小, 很容易推斷出num的生命周期明顯要長。

上面的代碼被Rust編譯器拒絕編譯, 正是因為借用檢查器首先發(fā)現(xiàn) num_s的生命周期比count_s要長, 而num = &count這句代碼, 被引用的對象&count比引用者num存在的時間更短, 因此產(chǎn)生了懸垂引用。

那么解決該問題的方式也比較簡單, 只要被引用對象和引用者處于同一作用域即可解決, 如下代碼:

方式一:

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函數(shù)負(fù)責(zé)完成兩個字符串的長度比較并返回長度最長的字符串的

切片。代碼如下:

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函數(shù)的兩個參數(shù)以及返回值存在生命周期問題。首先, Rust編譯器并不清楚將要返回的引用&str到底是指向參數(shù)a還是參數(shù)b, 其實作為程序員自己也是不知道的, 因為只有在運行時通過比較兩個參數(shù)的長度大小后才知道哪個參數(shù)切片的字符串內(nèi)容更長。

因此, 根據(jù)Rust編譯器的綠色標(biāo)記提示, 在編寫compare函數(shù)時, 必須增加泛型生命周期參數(shù)來定義引用間的關(guān)系以便Rust的檢查機(jī)制能夠正確分析。

5.生命周期注解

在上面的編譯器返回提示中, 綠色的部分: <'a>、&'a被稱為生命周期注解, 這個也是Rust語言獨特的語法, 看起來比較奇葩和抽象, 那么Rust如何去定義這個注解呢, 以下是簡單的語法:

&str        // 稱為引用
&'a str     // 稱為帶有顯式生命周期的引用
&'a mut str // 稱為帶有顯式生命周期的可變引用

生命周期注解的一個重要作用就是告訴Rust編譯器在多個引用的泛型生命周期參數(shù)存在期間它們?nèi)绾蜗嗷ヂ?lián)系。

嘗試將compare函數(shù)代碼修改如下:

fn compare<'a>(a: &'a str, b: &'a str) -> &'a str {
    if a.len() > b.len() {
       a
    } else {
       b
    }
}

再次嘗試編譯, Rust編譯器返回如下:

這次返回了正確的結(jié)果, 當(dāng)在函數(shù)中使用生命周期注解時, 這些注解只存在于函數(shù)簽名中, 而不存在于函數(shù)體的任何代碼中, 當(dāng)在實際應(yīng)用過程中, 參數(shù)的引用傳給compare函數(shù)時, 被'a取代的具體生命周期是參數(shù)a的作用域與參數(shù)b的作用域重疊的那一部分, 換句話說就是兩個參數(shù)中生命周期較小的那一個。

6.結(jié)構(gòu)體生命周期注解

在定義結(jié)構(gòu)體時, 也要在相應(yīng)的地方加上生命周期注解, 結(jié)構(gòu)體定義如下:

struct PersonInfo<'a> {
    name: &'a str,
}

在該結(jié)構(gòu)體中定義了一個name的字段, 其中存放了一個字符串切片, 為了能夠在結(jié)構(gòu)體定義中使用生命周期參數(shù), 必須在結(jié)構(gòu)體名稱后面的括號中聲明泛型生命周期參數(shù)。

接下來需要在main函數(shù)中創(chuàng)建一個結(jié)構(gòu)體實例, 將一個字符串切片內(nèi)容傳給結(jié)構(gòu)體參數(shù), 代碼如下:

fn main() {
    let sayinfo = String::from("今天天氣不錯#挺風(fēng)和日麗的...");
    let headerinfo = sayinfo.split('#').next().expect("找不到分隔符'#'");
    let pi = PersonInfo {
        name: headerinfo,
    };
    println!("分割name內(nèi)容為: {}", pi.name);
}

在上面的代碼中, 對變量sayinfo中的內(nèi)容作了字符串分割, 如果找到符號#,則取前面的內(nèi)容,然后將該部分內(nèi)容存到結(jié)構(gòu)體字段中。

編譯結(jié)果如下:

因為變量sayinfo在結(jié)構(gòu)體PersonInfo之前創(chuàng)建, 且結(jié)構(gòu)體離開作用域之后,變量sayinfo仍然不會離開作用域, 因此PersonInfo實例中的引用一直都是有效的, 并不會出問題。

7.靜態(tài)生命周期

靜態(tài)生命周期和靜態(tài)變量一樣, 都有一個關(guān)鍵字: static, 例子代碼如下:

let sample: &'static str = "我是一個靜態(tài)周期的例子.";

現(xiàn)在變量sample的生命周期會一直持續(xù), 在整個程序中都是有效的, 盡管靜態(tài)生命周期會避免編碼過程中的很多編譯器檢查錯誤, 但是一旦在編碼過程中出現(xiàn)懸垂引用的錯誤編碼時, 更正確的做法應(yīng)該是想辦法解決懸垂引用的問題,而不是靠靜態(tài)生命周期避開錯誤。

8.總結(jié)

在本篇文章中我們探索了生命周期在Rust常見場景中的各種應(yīng)用, 但在復(fù)雜的業(yè)務(wù)場景中, 可能還會遇到其它錯誤, 這時候依靠Rust編譯器強(qiáng)大的提示功能應(yīng)該能夠準(zhǔn)確找到出現(xiàn)問題的地方, 在這個過程中解決問題, 除了加深印象, 還能起到舉一反三的作用。

到此這篇關(guān)于Rust編程中的生命周期的文章就介紹到這了,更多相關(guān)Rust生命周期內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論