快捷導(dǎo)航

Rust中的&和ref使用解讀

更新時間：2025年02月26日 11:39:28 作者：許野平

在Rust中,`&`和`ref`都可以用來定義指針,但它們的使用位置不同,`&`通常放在等號右邊,而`ref`放在左邊,`&`主要用于函數(shù)參數(shù)和模式匹配中,而`ref`主要用于模式匹配中,Rust通過`&`和`ref`提供了靈活的指針操作,使得代碼更加安全和高效

Rust中的&和ref使

1. & 和 ref 都是用來定義指針的

廢話少說，先看代碼：

fn main() {
    let mut a: i32 = 111;

    let b = &a;
    println!("{}", *b); //111

    let ref c = a;
    println!("{}", *c); //111
}

而這結(jié)果一樣，都是在聲明一個指針。區(qū)別在那里？& 放在等號的右邊， ref 放在等好的左邊。

在看個例子，看看如何用指針修改變量：

fn main() {
    let mut a: i32 = 111;

    let b = &mut a; // 指針 b 本身是不可以修改的，但它指向的內(nèi)容是可以修改的。
    *b = 222;
    println!("{}", a); // 222

    let ref mut c = a; // 指針 c 本身是不可以修改的，但它指向的內(nèi)容是可以修改的。
    *c = 333;
    println!("{}", a); //333
}

在代碼行里，二者沒有任何區(qū)別。但是，為什么弄出兩個來呢？

2. 只能用 & 定義指針的地方

看一段代碼：

fn foo(x: &mut i32) {
    *x = 999;
}
fn main() {
    let mut a: i32 = 111;
    foo(&mut a);
    println!("{}", a); // 999
}

在函數(shù)傳參的時候用到了 & 來表示傳入?yún)?shù)棧的是一個可修改變量的地址。

下面我們修改一下，改成下面的代碼：

fn foo(ref mut x: i32) {
    *x = 999;
}
fn main() {
    let mut a: i32 = 111;
    foo(a);
    println!("{}", a); // 111
}

foo(a) 的調(diào)用語義是說，要把 a 的值復(fù)制到?？臻g，因此，fn foo(ref mut x: i32) 中參數(shù) x 引用的是棧上的數(shù)據(jù)。也就是說，不管函數(shù)的參數(shù) x 如何聲明，foo(a) 這種形式傳入?yún)?shù) a，都不可能修改變量 a 的值。我覺得這個規(guī)定是合理的，比 C++ 的引用的語義聲明簡單、合理多了。

我們再修改一下：

fn foo(ref x: &mut i32) {
    **x = 999;
}
fn main() {
    let mut a: i32 = 111;
    foo(&mut a);
    println!("{}", a); // 999
}

這次又成功了。但是這個 **x 你不覺得麻煩吧？因此，在函數(shù)參數(shù)聲明中，一般只用 & 來傳入變量的地址。

3. 只能用 ref 定義指針的地方

看下面的代碼：

fn main() {
    let s = Some(String::from("Hello!"));
    match s {
        Some(t) => println!("t = {}", t),
        _ => {}
    }
    println!("s = {}", s.unwrap());
}

這個是無法編譯的。因為 match s 語句中，已經(jīng)把 s 的所有權(quán)給轉(zhuǎn)移了，導(dǎo)致最后一條語句無法執(zhí)行。

編譯提示如下：

編譯期建議在模式匹配中把變量 t 改成 ref t，也就是說把 t 聲明成指針即可解決問題。

修改后代碼如下：

fn main() {
    let s = Some(String::from("Hello!"));
    match s {
        Some(ref t) => println!("t = {}", t),
        _ => {}
    }
    println!("s = {}", s.unwrap());
}

因為在模式匹配代碼塊中，我們沒有機(jī)會聲明變量類型，只能用 ref 表示變量 t 是個指針。

我試了一下，不用 ref 的話，還有一個變通的方法，就是把 match s 改成 match &s。

代碼如下：

fn main() {
    let s = Some(String::from("Hello!"));
    match &s {
        Some(t) => println!("t = {}", t),
        _ => {}
    }
    println!("s = {}", s.unwrap());
}

這個時候 t 前面加不加 ref 結(jié)果都一樣。因為 match 只是借用 s，所以不會影響 s 的生命周期。

4. 更多的試驗

下面給出了一組代碼，我們看看那些是合法的，那些是非法的。

fn main() {
    let v = 123;

    let x: &i32 = &v; 					// OK!
    let x: &i32 = &(123 + 456); 		// OK!
    if let Some(x:&i32) = Some(&123); 	// Error！

    let ref x: i32 = v;					// OK!
    let ref x: i32 = 123 + 456;			// OK!
    if let Some(ref x) = Some(123) {}	// OK!
}

5. 指針變量的解引用

看下面代碼，道理我不多講了，rust 會自動解多層嵌套引用，這個太方便了。

fn main() {
    let a: &i32 = &123;
    let b: &&i32 = &a;
    let c: &&&i32 = &b;

    println!("a = {}, b = {}, c = {}", a, b, c);
    println!("*a = {}, **b = {}, ***c = {}", *a, **b, ***c);
}

/* output
a = 123, b = 123, c = 123
*a = 123, **b = 123, ***c = 123
*/