如何对Box包裹的枚举类型进行模式匹配？

你可以直接在模式中匹配Box包裹的枚举变体，无需手动解引用，避免将枚举值拷贝到栈上。修正后的代码如下：

pub enum MyEnum {
    A,
    B,
}

fn main() {
    let a = Box::new(MyEnum::A);
    let value = match a {
        Box(MyEnum::A) => 1,
        Box(MyEnum::B) => 2,
    };
}

原理说明 #

这种写法利用了Rust对智能指针的模式解构支持：

• 模式Box(MyEnum::A)直接匹配Box<MyEnum>类型的变量，与原变量类型完全匹配，不会触发类型错误。
• 匹配过程中Rust只会检查堆上的枚举值是否对应目标变体，不会将枚举值从堆内存拷贝到栈上，完全适配栈内存受限的VM环境。

为什么原代码报错？ #

你最初的代码中，match的是Box<MyEnum>类型的变量，但分支里写的是MyEnum::A（枚举类型），两者类型不匹配，因此编译器抛出类型错误。而用Box(...)包裹枚举变体后，模式类型与变量类型一致，就能正常匹配。

内容的提问来源于stack exchange，提问作者Dhruv D Jain