解读

国内 Rust 社招/校招面试里，这道题出现的频率极高，面试官真正想考察的是：

1. 你是否把“模式”当成 Rust 语法的一级公民，而不仅仅把参数当“变量名”；
2. 能否在零成本抽象的前提下，用模式解构写出可读性高、编译期即可拒绝非法状态的代码；
3. 对所有权、借用、ref/ref mut的边界是否清晰，避免在面试现场写出“能编译但性能不对”或“性能对但编译不过”的代码。

回答时务必先给结论，再给代码片段，最后补一句“编译期即可拒绝非法状态”，这在国内技术主管耳中就是“安全 + 性能”双重保险。

知识点

1. **不可反驳模式（irrefutable pattern）**才能直接出现在函数参数位置；可反驳模式（refutable）必须用 match/if let。
2. 模式自带绑定 + 解构 + 丢弃三重语义，因此参数列表里可以同时完成“字段拆解、无关字段忽略、所有权转移或借用”。
3. 对 Copy 类型直接绑定；对非 Copy 类型默认移动（move）；需要只读借用加 &，需要可变借用加 &mut；想不转移所有权又想在模式里解构，必须搭配 ref/ref mut。
4. 嵌套结构体、枚举、元组、切片、数组、Vec、HashMap 均可在参数位置一次性解构；路径敏感的枚举解构还能让编译器自动检查“未处理变体”。
5. 使用 .. 做剩余字段省略、_ 做单字段丢弃、_x 做绑定但未使用 lint 静默，都是国内代码审查里公认的“整洁”标志。

答案

下面给出 7 种国内面试最常问、现场写白板 100% 能编译的写法，按“简单 → 复杂 → 实战”递进，每段都附带关键注释，可直接背诵。

1. 单个值直接绑定

fn foo(x: i32) { /* x 已绑定，Copy 语义 */ }

2. 元组一次性解构

fn bar((x, y): (i32, String)) {
    // String 被 move 进来，y 拥有所有权
}

3. 结构体字段解构 + 剩余字段省略

struct Point { x: f64, y: f64, z: f64 }
fn baz(Point { x, y, .. }: Point) {
    // 只关心 x、y，z 被编译期优化掉，零成本
}

4. 枚举路径敏感解构

enum Msg { Quit, Move { x: i32, y: i32 } }
fn handle(Msg::Move { x, y }: Msg) {
    // 若传 Quit，编译期直接报错，天然“防御式编程”
}

5. 引用模式：只读借用

fn len(&s: &String) -> usize { s.len() }
// 调用端仍可使用原 String，无 move

6. 可变借用 + 内部解构

fn update(&mut Vec<(String, i32)> { ref mut v }: &mut Vec<(String, i32)>) {
    v.push(("rust".into(), 1));
    // ref mut 让 v 绑定到可变引用内部，无需先解引用
}

7. 切片模式：固定前 n 个元素

fn head([fst, snd, ..]: &[i32]) -> i32 {
    fst + snd
    // 长度不足 2 时编译期 panic，拒绝运行时越界
}

现场回答时，先说一句“函数参数只能接受不可反驳模式”，然后挑 3、4、6 各写一行，最后总结：“以上写法均在编译期完成内存布局优化，无运行时开销，符合 Rust 零成本抽象原则。”——国内面试官通常到此就点头。

拓展思考

1. 模式可反驳性检查：如果写 fn f(Some(x): Option<i32>) {}，编译器会拒绝，因为 None 没处理；面试可顺势引出“用 match/if let 做可反驳分支”的最佳实践。
2. 泛型 + 模式：fn take<T>((first, ..): (T, T, T)) -> T { first } 在泛型上下文里同样零成本，可展示你对单态化的理解。
3. 异步闭包参数：async move |mut buf: &mut [u8]| { .. } 里把 &mut [u8] 再套一层 mut，用于在闭包体内做切片重新绑定，考察对“异步 + 借用”双重边界的心智模型。
4. FFI 场景： extern "C" 函数参数目前不支持复杂模式，只能使用标识符绑定，现场可补充“复杂解构在 FFI 层需先由 Rust 封装函数做转换”，体现你对安全抽象层的认知深度。

掌握以上要点，在国内 Rust 岗位面试中即可做到“问一答三”，既显深度又显广度。