为何编译器判定该枚举变体元组结构体模式为可反驳模式？

核心矛盾在于你混淆了普通元组结构体模式和枚举变体模式的本质差异，参考手册的描述针对的是前者，而你代码中的Foo::Bar(x)属于后者，其可反驳性由枚举的多变体特性决定，和内部子模式无关。

1. 两种模式的本质区别 #

• 普通元组结构体是独立的类型，比如：

  struct Bar(i32); // 这是元组结构体，只有一种形态
  let Bar(x) = Bar(50); // 合法，模式不可反驳
  

  这类元组结构体的模式可反驳性才遵循手册规则：只要所有子模式不可反驳，整个模式就不可反驳。

• 你代码中的Foo::Bar(x)是枚举变体模式，它属于枚举Foo的一部分，而枚举存在多个变体（Bar和Baz）。无论内部子模式x是否可反驳，匹配单个枚举变体的模式都必然可能失败（比如遇到Foo::Baz时），因此它天生是可反驳模式。

2. 参考手册规则的适用边界 #

手册中关于元组结构体模式的描述，仅适用于作为独立类型的元组结构体，而非枚举内部的变体。枚举变体模式的可反驳性不依赖于内部子模式，而是由枚举本身的多分支特性直接决定——只要枚举有多于一个变体，单个变体的匹配模式就是可反驳的。

3. 编译器行为的合理性 #

编译器要求你使用if let或match处理Foo::Bar(x)，正是因为它是可反驳模式：程序运行时，右侧的值可能是Foo::Baz，此时模式匹配会失败，而let语句仅接受不可反驳模式（必须保证匹配一定成功）。

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