Rust中Trait bounds作用于枚举泛型参数不生效报错原因求解

Rust 的泛型采用静态分发机制，你给泛型参数T加T: NewTrait约束，只是声明「T是任意实现了NewTrait的类型」，但编译器不会默认限制T只能是你写的One、Two两个枚举类型——后续任意其他类型都可以实现NewTrait，你直接在泛型函数内对test写One、Two的枚举变体匹配分支，相当于要求T同时属于两个完全不同的枚举类型，完全违反Rust的强类型规则，自然会抛出E0308类型不匹配错误。

更具体的编译逻辑：

• 泛型函数在编译阶段会为每个实际传入的类型生成单独的函数实例：当你传入One类型调用时，生成的foo::<One>实例中test参数是One类型，代码里匹配Two::Three、Two::Four的分支自然类型不兼容；同理传入Two类型调用时生成的foo::<Two>实例，匹配One::One、One::Two的分支也会报错。
• 你定义的NewTrait是空trait，没有定义任何关联方法，除了做基础的类型准入约束之外，没有提供任何跨类型的统一行为抽象，也没法用来区分不同的枚举实现。

你可以根据业务场景选以下两种方案修复：

方案1：把差异行为定义到Trait中，不同枚举各自实现 #

符合Rust trait的设计逻辑，把匹配判断的逻辑下沉到每个枚举的trait实现里：

pub trait NewTrait {
    fn print_variant(&self);
}

impl NewTrait for One {
    fn print_variant(&self) {
        match self {
            One::One => println!("One"),
            One::Two => println!("Two"),
        }
    }
}

impl NewTrait for Two {
    fn print_variant(&self) {
        match self {
            Two::Three => println!("Three"),
            Two::Four => println!("Four"),
        }
    }
}

fn foo<T: NewTrait> (test: T) {
    test.print_variant();
}

方案2：定义统一的包裹枚举，不用泛型+Trait #

如果两个枚举逻辑上属于同一个上层类型的分支，你可以直接把它们包到同一个枚举里，不需要用trait做抽象：

enum AllVariant {
    V1(One),
    V2(Two)
}

fn foo(test: AllVariant) {
    match test{
        AllVariant::V1(One::One) => println!("One"),
        AllVariant::V1(One::Two) => println!("Two"),
        AllVariant::V2(Two::Three) => println!("Three"),
        AllVariant::V2(Two::Four) => println!("Four"),
    }
}

// 调用时修改为如下格式即可
// foo(AllVariant::V1(One::One));
// foo(AllVariant::V2(Two::Three));

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