std::variant中原生类型到自定义类型的隐式转换问题

问题原因 #

当尝试将原生bool或int赋值给std::variant<std::string, Bool, Int>时，编译器因转换歧义拒绝编译：

• 原生bool可隐式转换为int（C++原生类型规则），因此true既可以直接构造Bool，也可以先转成int再构造Int，存在两个可行的转换路径。
• 原生int可隐式转换为bool（非零值视为true），因此1既可以直接构造Int，也可以先转成bool再构造Bool，同样存在歧义。

std::variant的模板构造函数要求转换路径必须唯一且无歧义，多个可行目标会导致匹配失败，这就是你看到编译错误的根本原因。

解决方案 #

核心思路是消除原生类型到自定义类的转换歧义，确保每个原生类型只能对应variant中的一个自定义类，以下是两种可行实现：

方式1：删除歧义的构造函数重载 #

通过为Bool和Int添加删除的构造函数版本，直接禁止跨类型的隐式转换：

#include <iostream>
#include <string>
#include <variant>
using namespace std;

class Bool {
public:
    Bool(bool val) : m_value(val) {}
    Bool(int) = delete; // 禁止用int构造Bool，切断int→Bool的转换路径
    operator bool() const { return m_value; }
private:
    bool m_value{false};
};

class Int {
public:
    Int(int val) : m_value(val) {}
    Int(bool) = delete; // 禁止用bool构造Int，切断bool→Int的转换路径
    operator int() const { return m_value; }
private:
    int m_value{0};
};

int main() {
    using VariantT = std::variant<std::string, Bool, Int>;
    Bool b1 = true;
    VariantT v1 = b1;    // 正常工作
    VariantT v2 = true;  // 正常工作：只能匹配Bool构造
    VariantT v3 = 1;     // 正常工作：只能匹配Int构造
    return 0;
}

方式2：使用SFINAE限制构造函数参数类型 #

如果需要支持更多兼容的算术类型（比如long转Int），可以用模板构造函数结合std::enable_if精确限制参数类型：

#include <iostream>
#include <string>
#include <variant>
#include <type_traits>
using namespace std;

class Bool {
public:
    // 仅接受bool类型或可精确转换为bool的类型（排除int等其他算术类型）
    template<typename T, typename = std::enable_if_t<std::is_same_v<std::decay_t<T>, bool>>>
    Bool(T&& val) : m_value(static_cast<bool>(val)) {}
    
    operator bool() const { return m_value; }
private:
    bool m_value{false};
};

class Int {
public:
    // 仅接受整数类型，但排除bool
    template<typename T, typename = std::enable_if_t<std::is_integral_v<std::decay_t<T>> && !std::is_same_v<std::decay_t<T>, bool>>>
    Int(T&& val) : m_value(static_cast<int>(val)) {}
    
    operator int() const { return m_value; }
private:
    int m_value{0};
};

int main() {
    using VariantT = std::variant<std::string, Bool, Int>;
    Bool b1 = true;
    VariantT v1 = b1;    // 正常工作
    VariantT v2 = true;  // 正常工作
    VariantT v3 = 1;     // 正常工作
    VariantT v4 = 100L;  // 正常工作：long类型可转换为Int
    return 0;
}

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