Rust之枚举和模式匹配(三)：简明控制流if let

关注

原创 2022-04-27 15:56:58 1.5k 阅读 AI 写同款· GEO 优化 ›

Rust模式匹配 模式匹配是从函数式编程语言（例如：Haskell，Lisp）吸收而来的，用于为复杂的类型系统提供一个轻松的解构能力。rust使用match来提供模式匹配的功能。mathc类似于其它编程语言中的switch-case，但是远比switch-case强大。match的通用模式如下所示。该形式清晰的说明了何为模式，何为模式匹配：将模式与 target 进行匹配，即为模式匹配，而模式匹配不仅仅局限于 match，还有if let。阅读详情

开发环境

Windows 10
Rust 1.60.0

VS Code 1.66.2

项目工程

这里继续沿用上次工程rust-demo

简明控制流 - if let

if let语法允许您将if和let组合成一种不太冗长的方式来处理匹配一个模式的值，而忽略其余的模式。考虑下面示例中，它匹配config_max变量中的一个Option<u8 >值，但是如果这个值是Some变量，它只想执行代码。

  let config_max = Some(3u8);       // Some
    match config_max {
        Some(max) => println!("The maximum is configured to be {}", max),
        _ => (),
    }

如果值是Some，我们通过将值绑定到模式中的变量max来打印出Some变量中的值。我们不想对None值做任何事情。为了满足match表达式，我们必须在只处理一个变量后添加_ = >()这是添加样板代码。

相反，我们可以用if let以更短的方式来写。以下代码与上例的匹配行为相同：

  let config_max = Some(3u8);
    if let Some(max) = config_max {    // if let
        println!("The maximum is configured to be {}", max);
    }

语法if let采用等号分隔的模式和表达式。它的工作方式与match相同，表达式被赋予match，模式是它的第一个分支。在这种情况下，模式是Some(max)，max绑定到Some内部的值。然后，我们可以在if let块的主体中使用max，就像在相应的match分支中使用max一样。如果值与模式不匹配，if let块中的代码不会运行。

使用if let意味着更少的输入、更少的缩进和更少的样板代码。但是，您会失去match强制执行的详尽检查。在match和if let之间进行选择取决于您在特定情况下正在做什么，以及获得简明性是否是失去彻底检查的适当折衷。

换句话说，您可以将if let视为match的语法糖，当值匹配一个模式时运行代码，然后忽略所有其他值。

我们可以在if let中包含else。与else一起使用的代码块与与if let和else等价的匹配表达式中的_ 分支一起使用的代码块是相同的。回想一下之前示例中的Coin枚举定义，其中Quarter变量也包含一个UsState值。如果我们想计算我们看到的所有non-quarter硬币，同时宣布quarters硬币的状态，我们可以使用如下match表达式：

#[derive(Debug)]
enum UsState {
    Alabama,
    Alaska,
    // --snip--
}

enum Coin {
    Penny,
    Nickel,
    Dime,
    Quarter(UsState),
}

fn main() {
    let coin = Coin::Penny;
    let mut count = 0;
    match coin {                   // match表达式
        Coin::Quarter(state) => println!("State quarter from {:?}!", state),
        _ => count += 1,
    }
}

或者我们可以使用if let和else表达式，如下所示：

#[derive(Debug)]
enum UsState {
    Alabama,
    Alaska,
    // --snip--
}

enum Coin {
    Penny,
    Nickel,
    Dime,
    Quarter(UsState),
}

fn main() {
    let coin = Coin::Penny;
    let mut count = 0;
    if let Coin::Quarter(state) = coin {               // if let表达式
        println!("State quarter from {:?}!", state);
    } else {
        count += 1;
    }
}

编译