类型的推导,放在参数类型列表里,
还是放在函数里?
放在函数里,可以进行重载。第一个调用匹配的是第二个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),那么就不会出这个问题了,所以编译的过程不是这样的。