Scala中match语句匹配异常求助：Option为Some却未触发匹配

这种情况最常见的原因是你的模式匹配分支没有匹配到当前的Some(MyClass(...))实例——即使它是Some类型，也会因为内部结构体的模式不匹配而进入默认分支（或者根本没触发目标分支），最终只打印了Debug输出而没执行你的打印语句。

下面分两种最典型的场景具体解释：

1. 匹配时用了固定字面量而非变量绑定 #

假设你的代码类似这样：

#[derive(Debug)]
struct MyClass(i32, i32);

fn main() {
    let my_opt = Some(MyClass(111, 222));
    
    match my_opt {
        // 这里用了固定的100和200，和实际的111、222不匹配
        Some(MyClass(100, 200)) => println!("class was matched"),
        // 默认分支打印Debug输出
        other => println!("{:?}", other),
    }
}

这段代码运行后只会输出Some(MyClass(111, 222))，因为MyClass(111,222)和你写的MyClass(100,200)模式完全不匹配，所以直接走到了默认分支。

2. if let模式写错导致匹配失败 #

如果你用if let而不是match，也可能犯类似的错误：

#[derive(Debug)]
struct MyClass(i32, i32);

fn main() {
    let my_opt = Some(MyClass(111, 222));
    
    // 同样用了固定值，匹配失败，不会执行大括号里的打印
    if let Some(MyClass(100, 200)) = my_opt {
        println!("class was matched");
    } else {
        println!("{:?}", my_opt);
    }
}

这里的逻辑和上面一致：固定值模式和实际实例不匹配，所以进入else分支打印了Debug信息。

快速解决方法 #

如果你只是想匹配任意Some(MyClass)实例（不管内部字段的值），应该用变量绑定来匹配：

• 用match的写法：

match my_opt {
    Some(MyClass(_, _)) => println!("class was matched"),
    // 要是需要用到字段值，可以写成Some(MyClass(a, b))
    _ => println!("{:?}", my_opt),
}

• 用if let的写法：

if let Some(MyClass(_, _)) = my_opt {
    println!("class was matched");
} else {
    println!("{:?}", my_opt);
}

这样不管MyClass的字段是什么值，只要是Some(MyClass)类型，就会触发打印‘class was matched’的分支。

当然也可以检查下是否不小心把打印语句写进了None分支，但你明确说当前是Some类型，这种概率比较低。

内容的提问来源于stack exchange，提问作者ps0604