C++的情況

C++把內(nèi)存使用分為兩種情況：值對象和指針對象。值語義的對象超出作用域會自動調(diào)用析構(gòu)函數(shù)銷毀，傳遞或者賦值的時候會進(jìn)行一次拷貝。指針語義則交給人肉來管理，或者使用智能指針來引用計數(shù)。

值對象在傳遞賦值中拷貝一次比較浪費(fèi)，所以C++后來有了移動構(gòu)造函數(shù)。值在移動以后，關(guān)聯(lián)的數(shù)據(jù)移動到新值。

Rust是怎么做的

Rust則是在C++的基礎(chǔ)上進(jìn)一步優(yōu)化。Rust的對象有一個所有者，和多個引用。

Rust只允許值有一個所有者，傳遞和賦值會導(dǎo)致所有權(quán)移動。這看起來像C++的unique_ptr，但實際上更像C++的移動語義。也就是說C++拷貝是隱式的移動是顯式的，Rust移動是隱式的。當(dāng)然Rust在這里有編譯器的靜態(tài)分析，沒有運(yùn)行時開銷。

很多地方并不想移動值，只是借用一下，Rust引入了引用的概念，來表達(dá)指針語義。一個常見內(nèi)存問題是指針指向了一個無效的內(nèi)存地址，Rust卻沒這個問題。Rust編譯器強(qiáng)制讓你證明值的生命周期大于它的引用的生命周期。有些編譯器搞不清楚的地方需要添加生命周期標(biāo)記，來告訴編譯器。

獲取引用是把一個值取地址的過程，是很嚴(yán)肅的。Rust核心的地方就是在這里做了限制，保證了內(nèi)存安全。

Rust的局限性

即便有了復(fù)雜的所有權(quán)和生命期機(jī)制，但遇見復(fù)雜的情況還要回到引用計數(shù)。

既要零開銷抽象，又要內(nèi)存安全，那么付出的代價就是代碼可讀性變差。所以說天下沒有免費(fèi)的午餐、魚與熊掌不可兼得。希望rust能增強(qiáng)生命周期自動推斷，減少人工標(biāo)注。

總結(jié)

以上是生活随笔為你收集整理的rust8G内存够不够用_Rust是如何做到内存安全的的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。