深入理解 Rust 引用模式与值模式：所有权视角下的模式差异

wei202508

849人浏览 · 2025-10-30 22:07:51

wei202508 · 2025-10-30 22:07:51 发布

在 Rust 模式匹配中，引用模式（Reference Patterns） 与值模式（Value Patterns） 是两种处理被匹配值所有权与借用关系的模式类型，核心区别在于如何对待被匹配值的内存引用方式 —— 前者通过引用（& 或 &mut）访问值，不获取所有权；后者直接操作值本身，可能转移或复制所有权。理解这一区别对于正确处理 Rust 的所有权系统至关重要。

一、值模式：直接操作值本身

值模式（Value Patterns）是最基础的模式类型，它直接匹配值本身，而非值的引用。根据值的类型（Copy 或非 Copy），值模式可能导致所有权转移或复制。

1. 非 `Copy` 类型：所有权转移

对于非 Copy 类型（如 String、Vec），值模式会获取被匹配值的所有权，原变量将无法再使用：

rust

let s = String::from("hello");

// 值模式匹配：s 的所有权转移到模式中的变量 s_val
match s {
    s_val => println!("匹配到字符串：{}", s_val),
}

// 错误：s 的所有权已转移，无法再使用
// println!("{}", s);

此处 match s 中的模式 s_val 是值模式，直接绑定 s 的所有权，匹配后 s 变得无效。

2. `Copy` 类型：值复制

对于 Copy 类型（如整数、布尔值），值模式会复制值，原变量仍可使用（因复制不转移所有权）：

rust

let num = 42;

// 值模式匹配：复制 num 的值到 n，原 num 仍有效
match num {
    n => println!("匹配到数字：{}", n),
}

// 正确：num 是 Copy 类型，未失去所有权
println!("原变量仍可用：{}", num);

3. 值模式的典型场景

需要获取值的所有权进行修改或消费（如将 Vec 中的元素移出）；
处理 Copy 类型（无需担心所有权问题）；
模式中直接解构值的内部结构（如结构体字段、枚举变体）。

二、引用模式：通过引用访问值

引用模式（Reference Patterns）使用 & 或 &mut 匹配值的引用，而非值本身。它不会获取值的所有权，仅借用值（不可变或可变），匹配后原变量仍可使用。

1. 不可变引用模式（`&`）

使用 & 匹配不可变引用，模式会绑定到引用指向的值，且原变量保持不可变借用状态：

rust

let s = String::from("hello");
let s_ref = &s; // 不可变引用

// 引用模式：匹配不可变引用，绑定到 s_val（类型为 &String）
match s_ref {
    &val => println!("通过引用模式获取值：{}", val), // val 是 String 类型（解引用后）
}

// 正确：s 仅被不可变借用，仍可使用
println!("原字符串：{}", s);

注意：&val 中的 val 会自动解引用，因此 val 的类型是 String 而非 &String（这是 Rust 的 “自动解引用” 特性）。

2. 可变引用模式（`&mut`）

使用 &mut 匹配可变引用，可通过模式修改被引用的值，原变量保持可变借用状态：

rust

let mut num = 42;
let num_mut_ref = &mut num;

// 引用模式：匹配可变引用，绑定到 n（类型为 &mut i32）
match num_mut_ref {
    &mut n => {
        n += 10; // 通过可变引用修改值
        println!("修改后的值：{}", n);
    }
}

// 正确：原变量 num 已被修改
println!("原变量的值：{}", num); // 输出 52

3. 引用模式与嵌套结构

当匹配嵌套类型（如 Option<&T> 或包含引用的结构体）时，引用模式可精确控制借用层级：

rust

struct Point { x: i32, y: i32 }
let p = Point { x: 10, y: 20 };
let p_ref = &p;

// 匹配结构体的引用，同时解构字段（引用模式）
match p_ref {
    &Point { x, y } => println!("x: {}, y: {}", x, y),
}

// 原变量 p 仍可使用
println!("原 Point：x={}, y={}", p.x, p.y);

4. 引用模式的典型场景

处理引用类型（如 &T、&mut T），避免所有权转移；
对大型数据结构进行匹配（通过引用避免复制成本）；
在不获取所有权的情况下解构值（如函数参数为引用时）。

三、核心区别对比

维度	值模式（Value Patterns）	引用模式（Reference Patterns）
所有权处理	非 `Copy` 类型：转移所有权；`Copy` 类型：复制值	不转移所有权，仅借用（不可变 / 可变）
原变量可用性	非 `Copy` 类型：原变量失效；`Copy` 类型：仍可用	原变量保持可用（受借用规则限制）
适用场景	需获取所有权、处理 `Copy` 类型	处理引用、避免复制、临时访问值
语法标识	无特殊符号（直接写变量或结构）	使用 `&` 或 `&mut` 前缀
性能影响	可能触发复制（`Copy` 类型）或移动	无复制 / 移动成本，仅操作引用

四、常见混淆点：模式中的自动解引用

Rust 的模式匹配会自动解引用 “智能指针”（如 &T、Box<T>），这可能导致值模式与引用模式的界限看似模糊。例如：

rust

let s = String::from("hello");
let boxed_s = Box::new(s); // Box<String>

// 看似值模式，实际自动解引用 Box，匹配内部 String
match boxed_s {
    val => println!("{}", val), // val 是 String 类型（Box 被解引用）
}

但本质上，这仍是值模式 ——boxed_s 的所有权被转移到 val（Box 被解引用后，val 绑定内部的 String）。

五、实战建议：如何选择

当需要所有权时用值模式：例如消费一个 String（将其传入需要所有权的函数）、修改 Vec 的内容（如 push 或 pop）。
当仅需临时访问时用引用模式：例如函数参数为 &T 时，通过引用模式解构避免复制；处理大型结构体时，用 & 模式减少内存开销。

匹配引用类型时必须用引用模式：若被匹配值是 &T 或 &mut T，直接使用值模式会导致类型不匹配（除非手动解引用）：

rust

let s = String::from("hello");
let s_ref = &s;

// 错误：值模式期望 String 类型，但 s_ref 是 &String
// match s_ref {
//     val => println!("{}", val),
// }

// 正确：引用模式匹配 &String
match s_ref {
    &val => println!("{}", val),
}