如何通过enable_if_t特化模板，实现int到enum的转换构造

你遇到的编译错误核心在于：原构造函数模板中，typename std::enable_if_t<std::is_integral<U>::value>::type属于非推导上下文——编译器无法从传入的整数实参（比如0）反向推导出模板参数U的具体类型，因为存在多个整数类型（int/short/long等）都能满足std::is_integral<U>::value的条件，导致模板参数推导失败。

将模板参数U放到可推导位置，同时把std::enable_if_t作为模板参数的默认值来约束U的类型，这样编译器既能正常推导U，又能保证只有整数类型的实参才能匹配该构造函数。

修复后的完整代码 #

#include <type_traits>

template<typename T>
class SomeType
{
public:
    T val;

    // 修复后的整数参数构造函数：U处于可推导位置，用enable_if约束其为整数类型
    template <typename U, typename = std::enable_if_t<std::is_integral<U>::value>>
    SomeType(U _u) : val(static_cast<T>(_u)) { }

    SomeType(const T& _t) : val(_t) { }
    SomeType(const SomeType<T>& _t) : val(_t.val) { }
    SomeType() : val() { }
};

void foo()
{
    typedef enum { ala=0, ola} MyEnumType;
    SomeType<int> s1;     // OK
    SomeType<int> s2(2);  // OK，优先调用非模板的const T&构造函数
    SomeType<MyEnumType> e1;   // OK
    SomeType<MyEnumType> e2(MyEnumType::ola);  // OK
    SomeType<MyEnumType> e3(MyEnumType(0));  // OK
    SomeType<MyEnumType> e4(0);  // 编译正常，U被推导为int，自动转换为枚举类型
}

• 当T本身是整数类型时（比如SomeType<int>），传入整数实参会优先匹配非模板的const T&构造函数，符合C++中“非模板函数优先级高于模板函数”的规则，不会出现歧义。
• 使用static_cast<T>(_u)替代直接T(_u)，是更规范的C++类型转换写法，尤其是在枚举类型和整数之间转换时，能明确表达转换意图。

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