如何为std::variant包装类Setting重载operator==实现两类相等比较

问题根源 #

你当前遇到的编译问题本质来自两个设计层面的偏差：

• 模板重载的SFINAE约束仅覆盖了variant原生支持的类型，完全没有为Setting对象间的比较预留匹配入口，传入Setting类型时自然触发enable_if约束失败
• 早期实现中误用std::get时混淆了取值方向，正确的取值思路（从内部variant成员拿值、和入参比较）是你后来写的std::get_if版本，只要补全重载即可覆盖所有场景。

前置依赖工具：isValidVariantType 参考实现 #

你已经实现的类型判断工具可以用通用的模板偏特化版本实现，配合辅助变量模板减少重复书写：

// 主模板
template <typename T, typename Variant>
struct isValidVariantType;

// 针对std::variant的偏特化实现：判断T是否属于variant的类型集合
template <typename T, typename... AllowedTypes>
struct isValidVariantType<T, std::variant<AllowedTypes...>> 
    : std::disjunction<std::is_same<std::decay_t<T>, AllowedTypes>...> {};

// 简化辅助变量
template <typename T, typename Variant>
inline constexpr bool isValidVariantTypeV = isValidVariantType<T, Variant>::value;

Setting类核心重载实现 #

针对两类比较场景，分别提供非模板的Setting间比较重载、模板化的原生类型比较重载，配合SFINAE屏蔽不支持的类型：

// 定义variant支持的类型集合
using setting_t = std::variant<std::string, int, double>;

class Setting {
private:
    setting_t setting_;
public:
    // 通用构造函数，支持转发任意类型到内部variant
    template <typename ValT>
    Setting(ValT&& val) : setting_(std::forward<ValT>(val)) {}

    // 第一类重载：Setting对象之间的相等比较
    // 直接复用std::variant本身内置的operator==逻辑，无需手写类型判断
    bool operator==(const Setting& other) const noexcept {
        return setting_ == other.setting_;
    }

    // 第二类重载：Setting与variant支持的原生类型的相等比较
    template <
        typename CompareT,
        // SFINAE约束：仅当CompareT是setting_t支持的合法类型时，该重载才参与编译匹配
        typename = std::enable_if_t<isValidVariantTypeV<CompareT, setting_t>>
    >
    bool operator==(const CompareT& compare_val) const {
        // 从内部variant成员中尝试取出对应类型的值
        const auto* inner_ptr = std::get_if<std::decay_t<CompareT>>(&setting_);
        // 取到值则执行相等比较，没取到说明当前variant存储的不是该类型，直接返回不相等
        return inner_ptr && (*inner_ptr == compare_val);
    }
};

关键设计细节说明 #

• 拆分两个重载而非强行合并为单一模板：如果把Setting类型也塞进同一个模板做分支判断，会大幅增加SFINAE的复杂度，还容易和隐式转换产生重载歧义；独立的非模板重载实现Setting间比较，编译效率最高、逻辑最清晰
• 使用std::decay_t处理模板参数：解决C风格字符串字面量（const char[N]）、const修饰、引用类型导致的类型匹配失效问题，保证"string"这类字面量可以正确匹配到std::string的比较分支
• 用std::get_if替代std::get：std::get在类型不匹配时会抛出std::bad_variant_access异常，不符合operator==的无异常语义；get_if通过空指针判断实现无异常的比较逻辑，更符合常规值类型的比较约定
• 类型约束的作用：显式屏蔽unsigned long这类不在variant支持列表中的类型，避免编译器尝试将这类类型匹配到模板重载，和内置数值比较规则产生歧义

场景验证 #

以下你提到的使用场景都可以正常编译运行：

// 同类型Setting对象比较
Setting s1("string");
Setting s2("string");
assert(s1 == s2); // 匹配Setting间的非模板重载，返回true

// Setting与C风格字符串比较
Setting s3("string");
assert(s3 == "string"); // 经decay匹配std::string的模板重载，返回true

// Setting与std::string值比较
std::string s4 = "string";
assert(s3 == s4); // 直接匹配std::string的模板重载，返回true

// 类型不匹配的比较
Setting s5(123);
assert(!(s5 == "string")); // 内部存储int，无法取出std::string值，返回false

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