std::enable_if切换函数时的工作原理：为何第二种写法合法？

在学习std::enable_if时，你可能会遇到cppreference上这两组示例——第一组编译报错，第二组却能正常工作，核心原因在于C++模板重载的签名规则和SFINAE机制的应用方式。

错误示例的问题根源 #

/* 错误示例 */
struct T
{
    enum { int_t, float_t } type;

    template<typename Integer,
             typename = std::enable_if_t<std::is_integral<Integer>::value>>
    T(Integer) : type(int_t) {}

    template<typename Floating,
             typename = std::enable_if_t<std::is_floating_point<Floating>::value>>
    T(Floating) : type(float_t) {} // 编译错误：被判定为重定义
};

C++标准明确规定：默认模板参数不会纳入模板签名的比较逻辑。这两个模板构造函数的签名本质上都是template<typename, typename>——第二个模板参数的默认值只是补充信息，编译器会直接忽略它来判断模板是否重复。因此哪怕两个默认参数的enable_if条件完全不同，编译器依然会认为这是同一个模板的重复定义，从而抛出编译错误。

正确示例的工作机制 #

/* 正确示例 */
struct T
{
    enum { int_t, float_t } type;

    template<typename Integer,
             std::enable_if_t<std::is_integral<Integer>::value, bool> = true>
    T(Integer) : type(int_t) {}

    template<typename Floating,
             std::enable_if_t<std::is_floating_point<Floating>::value, bool> = true>
    T(Floating) : type(float_t) {} // 编译正常
};

这里的关键改动是把std::enable_if_t的结果作为模板参数的类型本身，而非默认参数的类型，核心逻辑分两点：

1. 模板签名区分：两个模板的第二个参数类型是依赖于第一个模板参数的不同表达式——一个绑定std::is_integral判断，另一个绑定std::is_floating_point判断。编译器会将这两个视为不同的模板签名，因此不会判定为重定义。
2. SFINAE机制生效：当传入整数类型时，第二个模板的std::is_floating_point条件不满足，std::enable_if_t会触发模板参数替换失败，该模板会被编译器直接“丢弃”；反之，传入浮点类型时第一个模板会被丢弃。最终每次只会有一个模板匹配成功，实现了基于类型的精准重载。

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