SFINAE与函数重载？

类型的推导，放在参数类型列表里，

还是放在函数里？

放在函数里，可以进行重载。第一个调用匹配的是第二个fun123定义。第二个调用匹配的是第一个fun123定义

template<typename T>
void fun123(T a, std::enable_if_t<std::is_integral<T>::value, T>* =0)
{
    double m = 1;
    std::cout << std::endl;
}

template<typename T>
void fun123(T a, std::enable_if_t<std::is_floating_point<T>::value, T>* = 0)
{
    double m = 1;
    std::cout << std::endl;
}

fun123(0.4);
fun123(1);

放在参数列表里，编译失败：

template<typename T, typename = std::enable_if_t<std::is_integral<T>::value> >
void fun123(T a)
{
   double m = 1;
   std::cout << std::endl;
}

template<typename T, typename = std::enable_if_t<std::is_floating_point<T>::value> >
void fun123(T a)
{
   double m = 1;
   std::cout << std::endl;
}

fun123(0.4);
fun123(1);

编译错误为：
error C2995: “void fun123(T)”: 函数模板已经定义
note: 参见“fun123”的声明
error C2065: “fun123”: 未声明的标识符   注：第一个fun123
error C2065: “fun123”: 未声明的标识符   注：第二个fun123

这貌似也揭示了实例化的时机：

如果一个实例化为void fun123(double)，另外一个实例化为void fun123(int)，那么就不会出这个问题了，所以编译的过程不是这样的。