小编Alv*_*vra的帖子

我找到了以下解决方案来创建一个宏，该宏定义一个函数，如果枚举与变体匹配，该函数将返回 true：

macro_rules! is_variant {
    ($name: ident, $enum_type: ty, $enum_pattern: pat) => {
        fn $name(value: &$enum_type) -> bool {
            matches!(value, $enum_pattern)
        }
    }
}

用法：

enum TestEnum {
    A,
    B(),
    C(i32, i32),
}

is_variant!(is_a, TestEnum, TestEnum::A);
is_variant!(is_b, TestEnum, TestEnum::B());
is_variant!(is_c, TestEnum, TestEnum::C(_, _));

assert_eq!(is_a(&TestEnum::A), true);
assert_eq!(is_a(&TestEnum::B()), false);
assert_eq!(is_a(&TestEnum::C(1, 1)), false);

有没有办法定义这个宏，以避免为变体数据提供占位符？

换句话说，更改宏以便能够像这样使用它：

is_variant!(is_a, TestEnum, TestEnum::A);
is_variant!(is_a, TestEnum, TestEnum::B);
is_variant!(is_a, TestEnum, TestEnum::C);

使用（如仅按变体而不是值比较枚举std::mem::discriminant中所述）没有帮助，因为它只能用于比较两个枚举实例。在这种情况下，只有一个对象和变体标识符。它还提到了匹配，但如果变体没有数据，则不起作用。TestEnum::A(..)