【跟小嘉学 Rust 编程】十八、模式匹配(Patterns and Matching)

小嘉丶学长

已于 2024-03-12 23:35:50 修改

阅读量1.7k

点赞数

分类专栏：跟小嘉学 Rust 编程文章标签： rust 开发语言后端

于 2023-08-26 15:57:25 首次发布

本文链接：https://blog.csdn.net/fj_author/article/details/132511999

版权

跟小嘉学 Rust 编程专栏收录该内容

34 篇文章 69 订阅

订阅专栏

系列文章目录

文章目录

系列文章目录
@[TOC](文章目录)

前言
一、使用到模式的地方
1.1、match 分支
1.2、if let 条件表达式
1.3、while let 条件循环
1.4、for 循环
1.5、let 语句
1.6、函数参数

二、可辩驳性(Refutability)
2.1、模式的两种形式

三、模式匹配语法(Pattern Syntax)
3.1、模式匹配字面值（Matching Literals）
3.2、匹配命名变量
3.3、多种模式
3.4、匹配范围
3.5、解构分解值
3.5.1、解构结构
3.5.2、灵活匹配
3.5.3、解构枚举
3.5.3、嵌套枚举和结构
3.5.4、解构结构和元组

3.6、模式中忽略值
3.6.1、忽略某个值
3.6.2、忽略值的某一部分
3.6.3、忽略未使用变量警告
3.6.4、使用.. 忽略值的剩余部分
3.6.5、match 守卫
3.6.6、@ 绑定

总结

前言

模式是Rust的一种特殊语法，用于匹配复杂的和简单类型的结构，模式与匹配表达式和其他构造结合使用，可以更好的控制流。

模式由下列元素或组合组成

字面值
解构的数组、enum、struct、tuple
变量
通配符
占位符

想要使用模式，需要将其与某个值进行比较，如果模式匹配，就可以在代码中使用这个值的想应部分。

主要教材参考《The Rust Programming Language》

一、使用到模式的地方

1.1、match 分支

match VALUE {
    PATTERN => EXPRESSION,
    PATTERN => EXPRESSION,
    PATTERN => EXPRESSION,
}

要求分支能够详尽所有可能性

特殊的模式: _，匹配任何值，不会绑定到变量，通常用于match的最后一个分支，用于忽略某些值。

1.2、if let 条件表达式

if let 表达式主要是作为简短的方式来替代只有一个匹配项的match，if let 可选的可以拥有 else（else if 和 else if let），但是 if let 不会检查穷尽性。

fn main() {
    let favorite_color: Option<&str> = None;
    let is_tuesday = false;
    let age: Result<u8, _> = "34".parse();

    if let Some(color) = favorite_color {
        println!("Using your favorite color, {color}, as the background");
    } else if is_tuesday {
        println!("Tuesday is green day!");
    } else if let Ok(age) = age {
        if age > 30 {
            println!("Using purple as the background color");
        } else {
            println!("Using orange as the background color");
        }
    } else {
        println!("Using blue as the background color");
    }
}

1.3、while let 条件循环

只要模式继续匹配就允许循环执行。

    let mut stack = Vec::new();

    stack.push(1);
    stack.push(2);
    stack.push(3);

    while let Some(top) = stack.pop() {
        println!("{}", top);
    }

1.4、for 循环

    let v = vec!['a', 'b', 'c'];

    for (index, value) in v.iter().enumerate() {
        println!("{} is at index {}", value, index);
    }

1.5、let 语句

let PATTERN = EXPRESSION;
let (x, y, z) = (1, 2, 3);

1.6、函数参数

fn foo(x: i32) {
    // code goes here
}

fn print_coordinates(&(x, y): &(i32, i32)) {
    println!("Current location: ({}, {})", x, y);
}

fn main() {
    let point = (3, 5);
    print_coordinates(&point);
}

二、可辩驳性(Refutability)

可辩驳性：模式是否会无法匹配。

2.1、模式的两种形式

模式有两种形式：可辩驳的，无可辩驳的
能够匹配任何可能传递的值的模式：无可辩驳的
对于某些可能的值，无法进行匹配的模式：可辩驳的
函数参数、let 语句、for 循环只接受无可辩驳的模式
if let 和while let 接受可辩驳的和无可辩驳的模式

三、模式匹配语法(Pattern Syntax)

3.1、模式匹配字面值（Matching Literals）

    let x = 1;

    match x {
        1 => println!("one"),
        2 => println!("two"),
        3 => println!("three"),
        _ => println!("anything"),
    }

3.2、匹配命名变量

    let x = Some(5);
    let y = 10;

    match x {
        Some(50) => println!("Got 50"),
        Some(y) => println!("Matched, y = {y}"),
        _ => println!("Default case, x = {:?}", x),
    }

    println!("at the end: x = {:?}, y = {y}", x);

3.3、多种模式

    let x = 1;

    match x {
        1 | 2 => println!("one or two"),
        3 => println!("three"),
        _ => println!("anything"),
    }

3.4、匹配范围

示例：匹配数值范围

    let x = 5;

    match x {
        1..=5 => println!("one through five"),
        _ => println!("something else"),
    }

示例：匹配字符串范围

    let x = 'c';

    match x {
        'a'..='j' => println!("early ASCII letter"),
        'k'..='z' => println!("late ASCII letter"),
        _ => println!("something else"),
    }

3.5、解构分解值

3.5.1、解构结构

示例：

struct Point {
    x: i32,
    y: i32,
}

fn main() {
    let p = Point { x: 0, y: 7 };

    let Point { x: a, y: b } = p;
    assert_eq!(0, a);
    assert_eq!(7, b);
    
 	let Point { x, y } = p;
    assert_eq!(0, x);
    assert_eq!(7, y);
}

3.5.2、灵活匹配

fn main() {
    let p = Point { x: 0, y: 7 };

    match p {
        Point { x, y: 0 } => println!("On the x axis at {x}"),
        Point { x: 0, y } => println!("On the y axis at {y}"),
        Point { x, y } => {
            println!("On neither axis: ({x}, {y})");
        }
    }
}

3.5.3、解构枚举

enum Message {
    Quit,
    Move { x: i32, y: i32 },
    Write(String),
    ChangeColor(i32, i32, i32),
}

fn main() {
    let msg = Message::ChangeColor(0, 160, 255);

    match msg {
        Message::Quit => {
            println!("The Quit variant has no data to destructure.");
        }
        Message::Move { x, y } => {
            println!("Move in the x direction {x} and in the y direction {y}");
        }
        Message::Write(text) => {
            println!("Text message: {text}");
        }
        Message::ChangeColor(r, g, b) => {
            println!("Change the color to red {r}, green {g}, and blue {b}",)
        }
    }
}

3.5.3、嵌套枚举和结构

enum Color {
    Rgb(i32, i32, i32),
    Hsv(i32, i32, i32),
}

enum Message {
    Quit,
    Move { x: i32, y: i32 },
    Write(String),
    ChangeColor(Color),
}

fn main() {
    let msg = Message::ChangeColor(Color::Hsv(0, 160, 255));

    match msg {
        Message::ChangeColor(Color::Rgb(r, g, b)) => {
            println!("Change color to red {r}, green {g}, and blue {b}");
        }
        Message::ChangeColor(Color::Hsv(h, s, v)) => {
            println!("Change color to hue {h}, saturation {s}, value {v}")
        }
        _ => (),
    }
}

3.5.4、解构结构和元组

let ((feet, inches), Point { x, y }) = ((3, 10), Point { x: 3, y: -10 });

3.6、模式中忽略值

3.6.1、忽略某个值

fn foo(_: i32, y: i32) {
    println!("This code only uses the y parameter: {}", y);
}

fn main() {
    foo(3, 4);
}

3.6.2、忽略值的某一部分

范例1:

    let mut setting_value = Some(5);
    let new_setting_value = Some(10);

    match (setting_value, new_setting_value) {
        (Some(_), Some(_)) => {
            println!("Can't overwrite an existing customized value");
        }
        _ => {
            setting_value = new_setting_value;
        }
    }

    println!("setting is {:?}", setting_value);

范例2:

    let numbers = (2, 4, 8, 16, 32);

    match numbers {
        (first, _, third, _, fifth) => {
            println!("Some numbers: {first}, {third}, {fifth}")
        }
    }

3.6.3、忽略未使用变量警告

fn main() {
    let _x = 5;
    let y = 10;
    
    let s = Some(String::from("Hello!"));

    if let Some(_) = s {
        println!("found a string");
    }
    println!("{:?}", s);
}

3.6.4、使用… 忽略值的剩余部分

    struct Point {
        x: i32,
        y: i32,
        z: i32,
    }

    let origin = Point { x: 0, y: 0, z: 0 };

    match origin {
        Point { x, .. } => println!("x is {}", x),
    }

 	let numbers = (2, 4, 8, 16, 32);
    match numbers {
        (first, .., last) => {
            println!("Some numbers: {first}, {last}");
        }
    }

3.6.5、match 守卫

match 守卫是 match 分支模式后额外的 if 条件，想要匹配该条件也必须满足

    let num = Some(4);

    match num {
        Some(x) if x % 2 == 0 => println!("The number {} is even", x),
        Some(x) => println!("The number {} is odd", x),
        None => (),
    }

3.6.6、@ 绑定

    enum Message {
        Hello { id: i32 },
    }

    let msg = Message::Hello { id: 5 };

    match msg {
        Message::Hello {
            id: id_variable @ 3..=7,
        } => println!("Found an id in range: {}", id_variable),
        Message::Hello { id: 10..=12 } => {
            println!("Found an id in another range")
        }
        Message::Hello { id } => println!("Found some other id: {}", id),
    }