Rust中如何根据Feature实现泛型参数数量动态变化？

你遇到的编译错误源于Rust对泛型参数位置#[cfg]属性的解析限制：当未启用feature时，#[cfg(feature="my-feature")] T会被直接移除，导致impl MyEnum<>的写法不符合enum的无泛型定义；启用feature时，编译器无法正确解析泛型参数中的属性，引发类型错误。

下面提供两种无需重复编写impl代码的简洁解决方案：

方案1：使用默认泛型参数重构Enum（推荐） #

修改Enum定义，给泛型参数添加默认类型，这样无论feature是否启用，泛型参数都能合法存在：

enum MyEnum<T = ()> {
    Always,
    #[cfg(feature = "my-feature")]
    OnlyWithFeature(T),
}

之后直接编写统一的impl块即可，无需任何条件编译：

impl<T> MyEnum<T> {
    pub fn new() -> Self {
        Self::Always
    }

    // 其他共享方法可在此添加
}

这种方案无需额外宏，代码最简洁，且不影响原有用法：未启用feature时，直接用MyEnum而非MyEnum<()>即可（默认参数会自动生效）。

方案2：使用宏共享impl代码 #

如果不想修改原有Enum的定义，可通过宏来复用impl逻辑，避免重复代码：

// 定义宏，接收泛型参数片段作为输入
macro_rules! impl_my_enum {
    ($($generic:tt)*) => {
        impl$($generic)* MyEnum$($generic)* {
            pub fn new() -> Self {
                Self::Always
            }

            // 其他共享方法写在这里
        }
    };
}

// 根据feature生成对应impl块
#[cfg(not(feature = "my-feature"))]
impl_my_enum!();

#[cfg(feature = "my-feature")]
impl_my_enum!(<T>);

宏会根据feature是否启用，自动展开为无泛型或带泛型的impl块，逻辑只需编写一次。

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