在Rust中是沒有內(nèi)存垃圾回收機制(GC)的，那Rust是如何保障內(nèi)存安全的呢？這就引出了“所有權”這個概念。

我們看下下面這段偽代碼

let s = "helloString";
t = s;
print(s);

在之前我們學習的語言中，比如C語言，對于上述偽代碼的執(zhí)行結(jié)果應該是正常打印"helloString" 的內(nèi)容，但是在Rust中，執(zhí)行上述代碼時，會出現(xiàn)如下提示

------ 增加所有權返回內(nèi)容；

而產(chǎn)生這個結(jié)果的原因就是觸發(fā)了Rust語言中所有權機制：

• Rust中的每一個值都有一個對應的變量作為它的所有者
• 在同一時間內(nèi)，值有且僅有一個所有者
• 當所有者離開自己的作用域時，它持有的值就會被釋放掉

在看這三條機制之前，需要先說明一下Rust中變量作用域的概念

作用域：一個對象在程序中有效的范圍。

比如如下Rust代碼

{
    let s = "hello";
}

在花括號內(nèi)部就是變量s的作用域，當源碼超出這個范圍后，變量s將不再可用，即

{
    let s = "hello";
}
println!("{}", s);

打印這一句代碼編譯時會報錯。因為在Rust語言中，當變量離開作用域時Rust會自動調(diào)用變量的"drop"函數(shù)，以此保障內(nèi)存的快速回收。上述源碼中，在代碼執(zhí)行到“}”時，Rust調(diào)用了變量s的drop函數(shù)，所以s指向的內(nèi)存失效，從而導致在執(zhí)行打印語句時會出錯，也就是這個邏輯保障了Rust語言中內(nèi)存的安全性。

我們再說回文章開頭的偽代碼例子，為什么編譯時會出現(xiàn)問題，這里我們就要詳細介紹一下這些語句在Rust中的邏輯。

let s = "helloString";

這句語句是聲明了一個變量并使用“helloString”進行了初始化

簡化展示，隱藏內(nèi)部詳細邏輯

t = s;

這個語句是將變量s的內(nèi)容同時賦值給變量t，如下圖，如果每次賦值的時候都全量內(nèi)存拷貝一份的話，那整體語言性能會下降很多（畢竟變量地址大小還是不可確定的），所以處理方式是新建一個變量t，然后將內(nèi)容內(nèi)存指向s的指向地址。

上述情況下就出現(xiàn)了一個情況，同一個值被兩個變量所指向，這個不符合Rust所有權的規(guī)則，所以Rust根據(jù)所有權做了一個語言限制，即當s賦值給新的變量t時，變量t指向s指向的內(nèi)容，而變量s本身將被Rust擦除，所以在執(zhí)行完賦值語句后，等號右側(cè)（也就是s）將無效，在Rust語言中將這個行為叫做變量的移動，從字面意思理解也就是將變量s所有的值移動到變量t中，移動完成后s的生命周期也隨之結(jié)束。

Rust有了移動這個概念，那對于其他語言中的深度拷貝或再次賦值的情況下Rust中該如何做呢？為了解決這個問題，Rust提出了另外一個變量與數(shù)據(jù)的交互方式——克隆，意思就是將s的數(shù)據(jù)完整的克隆一份給t，s的內(nèi)容不變：

以Rust字符串數(shù)據(jù)結(jié)構為例子，可參考如下：

let s1 = String::from("hello");
let s2 = s1.clone();  // 此處為克隆的默認方法
println!("s1={}, s2={}", s1, s2); 

從執(zhí)行結(jié)果可以看出，克隆后s1變量內(nèi)容不變，還可以繼續(xù)使用。

上述就是Rust所有權的一些學習心得。

到此這篇關于Rust你不認識的所有權的文章就介紹到這了,更多相關Rust所有權內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！

最新評論