61_模式匹配的语法

1. 匹配字面值

模式可以直接匹配字面值。

如下示例代码:

rust 复制代码
fn main() {
    let x = 1;

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

2. 匹配命名变量

命名的变量是可匹配任何值的无可辩驳模式。

如下示例代码:

rust 复制代码
fn main() {
    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 = {:?}", x, y);
}

3. 多重模式

在match表达式中,使用|语法(就是或的意思),可以匹配多种模式。

如下示例代码:

rust 复制代码
fn main() {
    let x = 1;

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

4. 使用..=来匹配某个范围的值

如下示例代码:

rust 复制代码
fn main() {
    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"),
    }
}

5. 结构以分解值

可以使用模式来解构struct、enum、tuple,从而引用这些类型值的不同部分。

如下示例代码:

rust 复制代码
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!(0, b);
}

不过,以上在main的代码可以简写成如下

rust 复制代码
fn main() {
    let p = Point { x: 0, y: 7 };

    let Point { x, y } = p;
    assert_eq!(0, x);
    assert_eq!(0, y);
}

我们还可以灵活地使用解构,如下代码

rust 复制代码
match p {
    // 要求y的值是0,x随意
    Point { x, y: 0 } => println("On the x axis at {}", x),
    // 要求x的值是0,y随意
    Point { x: 0, y } => println("On the y axis at {}", y),
    // 如果前两个模式都无法匹配的话,将匹配最后一个
    Point { x, y } => println("On neither axis: ({}, {})", x, y),
}

6. 解构枚举

如下示例代码:

rust 复制代码
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 {} and in the y direction {}.", x, y)
        }
        Message::Write(text) => println!("Text message: {}", text),
        Message::ChangeColor(r, g, b) => {
            println!("change the color to red {}, green {}, and blue {}", r, g, b)
        }
    }
}

7. 解构嵌套的struct和enum

如下示例代码:

rust 复制代码
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 the color to red {}, green {}, and blue {}", r, g, b)
        }
        Message::ChangeColor(Color::Hsv(h, s, v)) => {
            println!("change the color to hue {}, saturation {}, and value {}", h, s, v)
        }
        _ => (),
    }
}

8. 解构struct和tuple

如下示例代码:

rust 复制代码
struct Point {
    x: i32,
    y: i32,
}

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

9. 在模式中忽略值

有几种方式可以在模式中忽略整个值或部分值。

如下示例代码:

  • _忽略整个值
  • _配合其他模式可以忽略部分值
  • _开头的名称
  • ..忽略值的剩余部分

9.1 使用"_"来忽略整个值

函数有两个参数,但是函数体中只用到第二个参数。

如下示例代码:

rust 复制代码
fn foo(_: i32, y: i32 ) {
    prinltln!("This code only uses the y parameter: {}", y);
}

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

9.2 使用嵌套的"_"来忽略值的一部分

如下示例代码:

rust 复制代码
fn main() {
    let mut setting_value = Some(5);
    let new_setting_value = Some(10);

    match (setting_value, new_setting_value) {
        // 内配的值:只要两个值都是Some即可
        (Some(_), Some(_)) => {
            println!("Can't overwrite an existing customized value");
        }
        _ => {
            setting_value = new_setting_value 
        }
    }

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

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

    match numbers {
        // 只需要元组的某部分值
        (first, _, third, _, fifth) => {
            println!("Some numbers: {}, {}, {}", first, third, fifth);
        }
    }
}

9.3 通过使用"_"开头命名来忽略未使用的变量

正常情况下,创建一个变量,但是没有使用,rust编译器就会发出警告。有时候我们想要创建一个临时变量,但又不想让编译器发出警告,就可以使用下划线开头的方式。

如下示例代码:

rust 复制代码
fn main() {
    let _x = 5;
    ley y = 10;
}

以上代码编译之后,x不会发生警告,而y会发出警告。我们再来看一个示例

rust 复制代码
fn mian() {
    let s = Some(String::from("Hello!"));

    if let Some(_s) = s {
        println!("found a string");
    }

    println!("{:?}", s);
}

以上代码编译将会发生报错,因为在嗲用最后的println!之前,s已经将所有权移动到了_s,如果将代码修改为如下内容得以解决问题

rust 复制代码
fn mian() {
    let s = Some(String::from("Hello!"));

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

    println!("{:?}", s);
}

9.4 使用..来忽略值的剩余部分

如下示例代码:

rust 复制代码
struct Point {
    x: i32,
    y: i32,
    z: i32,
}

fn main() {
    let origin = Point { x: 0, y: 0, z: 0 };
    match origin {
        // 只需要用到struct的x字段
        Point { x, .. } => println!("x is {}", x),
    }

    let numbers = (2, 4, 8, 16, 32);
    match numbers {
        // 只需要用到元组中的第一个数和最后一个数
        (first, .., last) => {
            println!("Some numbers: {}, {}", first, last);
        }
    }
}

9.5 使用match守卫来提供额外的条件

match守卫就是match arm模式后额外的if条件,想要匹配该条件也必须满足,macth守卫适用于闭单独的模式更复杂的场景。

如下示例代码:

rust 复制代码
fn main() {
    let num = Some(4);

    match num {
        Some(x) if x < 5 => println!("less than five: {}", x);
        Some(x) => println("{}", x),
        None => (),
    }
}

再有另外一个示例,如下代码

rust 复制代码
fn main() {
    let x = Some(5);
    let y = 10;

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

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

我们还可以在多重模式中使用match守卫,如下示例

rust 复制代码
fn main() {
    let x = 4;
    let y = false;

    match x {
        4 | 5 | 6 if y => println("yes"),
        _ => println!("no"),
    }
}

9.6 @绑定

@符号让我们可以创建一个变量,该变量可以在测试某个值是否与模式匹配的同时保存该值。

如下示例代码:

rust 复制代码
enum Message {
    Hello { id: i32 },
}

fn main() {
    let 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 an other id: {}", id);
        }
    }
}

最后输出结果为5,即变量id_variable存储了匹配的值。

相关推荐
耶啵奶膘1 小时前
uniapp-是否删除
linux·前端·uni-app
王哈哈^_^3 小时前
【数据集】【YOLO】【目标检测】交通事故识别数据集 8939 张,YOLO道路事故目标检测实战训练教程!
前端·人工智能·深度学习·yolo·目标检测·计算机视觉·pyqt
cs_dn_Jie3 小时前
钉钉 H5 微应用 手机端调试
前端·javascript·vue.js·vue·钉钉
开心工作室_kaic4 小时前
ssm068海鲜自助餐厅系统+vue(论文+源码)_kaic
前端·javascript·vue.js
有梦想的刺儿4 小时前
webWorker基本用法
前端·javascript·vue.js
cy玩具4 小时前
点击评论详情,跳到评论页面,携带对象参数写法:
前端
qq_390161775 小时前
防抖函数--应用场景及示例
前端·javascript
John.liu_Test6 小时前
js下载excel示例demo
前端·javascript·excel
Yaml46 小时前
智能化健身房管理:Spring Boot与Vue的创新解决方案
前端·spring boot·后端·mysql·vue·健身房管理
PleaSure乐事6 小时前
【React.js】AntDesignPro左侧菜单栏栏目名称不显示的解决方案
前端·javascript·react.js·前端框架·webstorm·antdesignpro