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存储了匹配的值。

相关推荐
mubeibeinv12 分钟前
列表代码思路
前端
过期的H2O212 分钟前
【H2O2|全栈】JS进阶知识(十)ES6(6)
开发语言·前端·javascript·ecmascript·es6
White graces20 分钟前
Spring MVC练习(前后端分离开发实例)
java·开发语言·前端·后端·spring·java-ee·mvc
2401_8827264823 分钟前
web组态可视化编辑器
前端·物联网·前端框架·编辑器·web·iot
努力学习的木子28 分钟前
跨域问题?同源策略大全
前端
○陈32 分钟前
vue2面试题10|[2024-11-24]
前端·javascript·vue.js
米奇妙妙wuu33 分钟前
react实现模拟chatGPT问答页
前端·react.js·chatgpt·前端框架
在荒野的梦想36 分钟前
Vue-TreeSelect组件最下级隐藏No sub-options
前端·javascript·vue.js
田本初2 小时前
浏览器缓存与协商缓存
前端·javascript·缓存
类人_猿3 小时前
ASP.NET Web(.Net Framework) Http服务器搭建以及IIS站点发布
前端·iis·asp.net·.net·http站点服务器