rust智能指針的具體使用
一、智能指針是什么
指針是一個(gè)存儲(chǔ)內(nèi)存地址的變量。這個(gè)地址指向一些其他數(shù)據(jù)。
智能指針是一類(lèi)數(shù)據(jù)結(jié)構(gòu),它們類(lèi)似指針,但是擁有額外的功能。智能指針的概念起源于C++。Rust標(biāo)準(zhǔn)庫(kù)提供了許多智能指針,比如String和Vec<T>,雖然我們并不這么稱(chēng)呼它們,但這些類(lèi)型都屬于智能指針。
智能指針通常使用結(jié)構(gòu)體實(shí)現(xiàn)。智能指針與常規(guī)結(jié)構(gòu)體的區(qū)別在于智能指針實(shí)現(xiàn)了Deref和Drop trait。Deref trait使智能指針表現(xiàn)的像引用一樣,這樣就可以編寫(xiě)既用于引用、又用于智能指針的代碼。Drop trait允許我們自定義智能指針離開(kāi)作用域時(shí)的行為。
在Rust中,引用和智能指針的一個(gè)區(qū)別是引用是一類(lèi)只借用數(shù)據(jù)的指針;智能指針則擁有數(shù)據(jù)的所有權(quán)。
二、最常用的一些智能指針
1.Box<T>,用于在堆上分配
2.Rc<T>,一個(gè)引用計(jì)數(shù)類(lèi)型,其數(shù)據(jù)可以有多個(gè)所有者
3.Ref<T> 和RefMut<T>,通過(guò)RefCell<T> 訪問(wèn)(RefCell<T>是一個(gè)在運(yùn)行時(shí)而不是在編譯時(shí)執(zhí)行借用規(guī)則的類(lèi)型)
(一)Box指針
Box<T>類(lèi)型是一個(gè)智能指針,因?yàn)樗鼘?shí)現(xiàn)了Deref trait和Drop trait。
box把值放在堆上而不是棧上。留在棧上的則是指向堆數(shù)據(jù)的指針。除了數(shù)據(jù)被儲(chǔ)存在堆上而不是棧上之外,box沒(méi)有性能損失。不過(guò)也沒(méi)有很多額外的功能。
1.創(chuàng)建Box
使用new函數(shù)創(chuàng)建
例子
fn main() {
let var_i32 = 5; // 默認(rèn)數(shù)據(jù)保存在 棧 上
let b = Box::new(var_i32); // 使用Box后數(shù)據(jù)會(huì)存儲(chǔ)在堆上
println!("b = {}", b);
}
b離開(kāi)作用域時(shí),它將自動(dòng)釋放。這個(gè)釋放包括b本身(位于棧上)和它所指向的數(shù)據(jù)(位于堆上)。
2.使用box
像使用引用一樣使用box。
使用解引用操作符 * 解引用box
fn main() {
let x = 5; // 值類(lèi)型數(shù)據(jù)
let y = Box::new(x); // y是一個(gè)智能指針,指向堆上存儲(chǔ)的數(shù)據(jù)5
println!("{}",5==x);
println!("{}",5==*y); // 為了訪問(wèn)y存儲(chǔ)的具體數(shù)據(jù),需要解引用
}
編譯運(yùn)行結(jié)果如下
true
true
直接使用 5 == y 會(huì)返回false
3.使用Box創(chuàng)建遞歸類(lèi)型
Rust需要在編譯時(shí)知道類(lèi)型占用多少空間。一種無(wú)法在編譯時(shí)知道大小的類(lèi)型是遞歸類(lèi)型,其值的一部分可以是自身類(lèi)型的另一個(gè)值。這種嵌套可以是無(wú)限的,所以Rust不知道遞歸類(lèi)型需要多少空間。不過(guò)box有一個(gè)已知的大小,所以通過(guò)在遞歸類(lèi)型定義中插入box,就可以創(chuàng)建遞歸類(lèi)型了。一個(gè)常見(jiàn)遞歸類(lèi)型就是鏈表。
實(shí)例
enum List {
Cons(i32, List),
Nil,
}
use crate::List::{Cons, Nil};
fn main() {
let list = Cons(1, Cons(2, Cons(3, Nil)));//使用這個(gè)list來(lái)儲(chǔ)存1, 2, 3
}
第一個(gè)Cons儲(chǔ)存1和另一個(gè)List值。這個(gè)List是一個(gè)Cons值,此cons儲(chǔ)存2和下一個(gè)List值。這個(gè)list又是一個(gè)cons,儲(chǔ)存3和值為Nil的List。這段代碼編譯錯(cuò)誤。因?yàn)檫@個(gè)類(lèi)型 “有無(wú)限的大小”。
因?yàn)?code>Box<T> 是一個(gè)指針,它的大小是確定的,所以將Box作為Cons的成員,這樣List的大小就確定了。
enum List {
Cons(i32, Box<List>),
Nil,
}
use crate::List::{Cons, Nil};
fn main() {
let list = Cons(1,
Box::new(Cons(2,
Box::new(Cons(3,
Box::new(Nil))))));
}
三、兩個(gè)特性
(一)Deref Trait
1.Deref是由Rust標(biāo)準(zhǔn)庫(kù)提供的一個(gè)特性。
實(shí)現(xiàn)Deref之后就能把智能指針當(dāng)作引用使用,相當(dāng)于重載解引用運(yùn)算符*。
Deref中包含deref()方法。
deref()方法用于引用self實(shí)例并返回一個(gè)指向內(nèi)部數(shù)據(jù)的指針。
例子
use std::ops::Deref;
struct DerefExample<T> {
value: T
}
impl<T> Deref for DerefExample<T> {
type Target = T;
fn deref(&self) -> &Self::Target {
&self.value
}
}
let x = DerefExample { value: 'a' };
assert_eq!('a', *x);
范例
use std::ops::Deref;
struct MyBox<T>(T);
impl<T> MyBox<T> {
fn new(x:T)-> MyBox<T> {
MyBox(x)
}
}
impl<T> Deref for MyBox<T> {
type Target = T;
fn deref(&self) -> &T {
&self.0
}
}
fn main() {
let x = 5;
let y = MyBox::new(x); // 調(diào)用new() 返回創(chuàng)建一個(gè)結(jié)構(gòu)體實(shí)例
println!("5==x is {}",5==x);
println!("5==*y is {}",5==*y); // 解引用y
println!("x==*y is {}",x==*y); // 解引用y
}
編譯運(yùn)行結(jié)果如下
5==x is true
5==*y is true
x==*y is true
每次使用 * 時(shí), * 運(yùn)算符都被替換成先調(diào)用deref方法再使用 * 解引用的操作,且只會(huì)發(fā)生一次,不會(huì)無(wú)限遞歸替換 * 操作符,解引用出i32類(lèi)型的值就停止了
2.DerefMut trait用于重載可變引用的 * 運(yùn)算符
3.Deref隱式轉(zhuǎn)換
Deref隱式轉(zhuǎn)換將實(shí)現(xiàn)了Deref的類(lèi)型的引用轉(zhuǎn)換為另一種類(lèi)型的引用。例如,將&String轉(zhuǎn)換為&str,因?yàn)镾tring實(shí)現(xiàn)了Deref因此可以返回&str。Deref強(qiáng)制轉(zhuǎn)換是Rust在函數(shù)或方法傳參上的一種便利操作,并且只能作用于實(shí)現(xiàn)了Deref的類(lèi)型。當(dāng)這種特定類(lèi)型的引用作為實(shí)參傳遞給和形參類(lèi)型不同的函數(shù)時(shí)將自動(dòng)轉(zhuǎn)換類(lèi)型。這時(shí)會(huì)有一系列的deref方法被調(diào)用,把我們提供的類(lèi)型轉(zhuǎn)換成了形參所需的類(lèi)型。
Deref隱式轉(zhuǎn)換使Rust程序員在調(diào)用函數(shù)時(shí)無(wú)需使用過(guò)多& 和 *。這個(gè)功能方便我們編寫(xiě)同時(shí)作用于引用或智能指針的代碼。
實(shí)例
//還是上面的MyBox<T>
fn hello(name: &str) {
println!("Hello, {name}!");
}
let m = MyBox::new(String::from("Rust"));
hello(&m);
因?yàn)镈eref隱式轉(zhuǎn)換,使用MyBox<String>的引用作為參數(shù)是可行的。
因?yàn)?code>MyBox<T>實(shí)現(xiàn)了Deref,Rust可以通過(guò)deref將&MyBox<String>變?yōu)?amp;String。而String也實(shí)現(xiàn)了Deref,Rust再次調(diào)用deref將&String變?yōu)?amp;str,這就符合hello函數(shù)的定義了。
如果沒(méi)有Deref強(qiáng)制轉(zhuǎn)換,要把&MyBox<String>類(lèi)型的值傳給hello函數(shù),則不得不編寫(xiě)如下代碼
let m = MyBox::new(String::from("Rust"));
hello(&(*m)[..]);
(*m)將MyBox<String>解引用為String,接著&和[..]將String轉(zhuǎn)換成&str。
沒(méi)有Deref強(qiáng)制轉(zhuǎn)換的話,所有這些符號(hào)混在一起將難以讀寫(xiě)和理解。Deref強(qiáng)制轉(zhuǎn)換會(huì)自動(dòng)執(zhí)行這些轉(zhuǎn)換。這些轉(zhuǎn)換發(fā)生在編譯時(shí),所以沒(méi)有運(yùn)行時(shí)損耗!
Deref隱式轉(zhuǎn)換有三種情形:
(1)當(dāng)T實(shí)現(xiàn)Deref Target=U 時(shí)從 &T到 &U。
(2)當(dāng)T實(shí)現(xiàn)DerefMut Target=U 時(shí)從 &mut T到 &mut U。
(3)當(dāng)T實(shí)現(xiàn)Deref Target=U 時(shí)從 &mut T到 &U。
第一種情況表明如果有一個(gè) &T,而T實(shí)現(xiàn)了返回U類(lèi)型的Deref,則可以直接得到 &U。
第二種情況表明可變引用也有著相同的行為。
第三個(gè)情況將可變引用強(qiáng)轉(zhuǎn)為不可變引用。但是反過(guò)來(lái)是不行的,不可變引用永遠(yuǎn)也不能強(qiáng)轉(zhuǎn)為可變引用。
這三種情況下,T類(lèi)型都自動(dòng)實(shí)現(xiàn)了U類(lèi)型的所有方法。
(二)Drop Trait
Rust中的析構(gòu)函數(shù)是由Drop trait提供的drop()方法。
Drop Trait只有一個(gè)方法drop() 。
實(shí)現(xiàn)了Drop特質(zhì)的結(jié)構(gòu)體在離開(kāi)了它的作用域時(shí)會(huì)調(diào)用drop()方法。
例子
use std::ops::Deref;
struct MyBox<T>(T);
impl<T> MyBox<T> {
fn new(x:T)->MyBox<T>{
MyBox(x)
}
}
impl<T> Deref for MyBox<T> {
type Target = T;
fn deref(&self) -< &T {
&self.0
}
}
impl<T> Drop for MyBox<T>{
fn drop(&mut self){
println!("dropping MyBox object from memory ");
}
}
fn main() {
let x = 50;
MyBox::new(x);
MyBox::new("Hello");
}
編譯運(yùn)行結(jié)果如下
dropping MyBox object from memory
dropping MyBox object from memory到此這篇關(guān)于rust智能指針的具體使用的文章就介紹到這了,更多相關(guān)rust智能指針內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
rust多個(gè)mod文件引用和文件夾mod使用注意事項(xiàng)小結(jié)
在 Rust 項(xiàng)目中,可以使用 mod 關(guān)鍵字將一個(gè)文件夾或一個(gè) rs 文件作為一個(gè)模塊引入到當(dāng)前文件中,本文給大家介紹rust多個(gè)mod文件引用和文件夾mod使用注意事項(xiàng)小結(jié),感興趣的朋友跟隨小編一起看看吧2024-03-03
Rust 語(yǔ)言中的 into() 方法及代碼實(shí)例
在 Rust 中,into() 方法通常用于將一個(gè)類(lèi)型的值轉(zhuǎn)換為另一個(gè)類(lèi)型,這通常涉及到資源的所有權(quán)轉(zhuǎn)移,本文給大家介紹Rust 語(yǔ)言中的 into() 方法及代碼實(shí)例,感謝的朋友跟隨小編一起看看吧2024-03-03
Rust語(yǔ)言實(shí)現(xiàn)圖像編碼轉(zhuǎn)換
image-rs庫(kù)是?Rust?社區(qū)中廣泛使用的一個(gè)開(kāi)源庫(kù),它提供了豐富的圖像編解碼功能,本文主要介紹了Rust語(yǔ)言實(shí)現(xiàn)圖像編碼轉(zhuǎn)換,具有一定的參考價(jià)值,感興趣的可以了解一下2024-05-05
使用win10 wsl子系統(tǒng)如何將 rust 程序靜態(tài)編譯為linux可執(zhí)行文件
這篇文章主要介紹了使用win10 wsl子系統(tǒng)如何將 rust 程序靜態(tài)編譯為linux可執(zhí)行文件,本文給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友參考下吧2025-05-05
Rust 標(biāo)準(zhǔn)庫(kù)的結(jié)構(gòu)及模塊路徑詳解
在 Rust 中,標(biāo)準(zhǔn)庫(kù)提供了一組核心功能,以幫助開(kāi)發(fā)者執(zhí)行常見(jiàn)的編程任務(wù),這個(gè)路徑樹(shù)可以作為參考,幫助你更好地理解 Rust 標(biāo)準(zhǔn)庫(kù)的結(jié)構(gòu)和模塊之間的關(guān)系,本文介紹 Rust 標(biāo)準(zhǔn)庫(kù)的結(jié)構(gòu),并提供相應(yīng)的 use 路徑,感興趣的朋友一起看看吧2024-05-05

