#include <iostream>
template <typename T>
T max(T x, T y)
{
return (x > y) ? x : y;
}
int main()
{
std::cout << max(1, 2) << '\n'; // 实例化为max(int,int)
std::cout << max(1.5, 2.5) << '\n'; //实例化为max(double,double)
return 0;
}
改为如下：
#include <iostream>
template <typename T>
T max(T x, T y)
{
return (x > y) ? x : y;
}
int main()
{
std::cout << max(2, 3.5) << '\n'; // 不能编译，
return 0;
}
vs会报一堆错误如下：
在我们调用max(2,3.5)中，我们传递了两种参数类型：int和double。因为我们没有在使用<>来指定实际类型的情况下调用函数，所以编译器首先查看是否存在非模板匹配max(int,double).。当找不到时，编译器将查看它是否可以找到匹配的函数模板，但是，这也会失败，T只能表示一种类型。没有任何类型T允许编译器模板实例化为max(T,T)，具有两种不同类型参数的函数，话句话说，因为函数模板的两个参数都是T。
有一下2种解决方式：
#include <iostream>
template <typename T>
T max(T x, T y)
{
return (x > y) ? x : y;
}
int main()
{
//1.将int转为double max(double, double)
std::cout << max(static_cast<double>(2), 3.5) << '\n';
//提供了实际类型double，编译器不会使用模板参数推断,直接调用max(double,double)
std::cout << max<double>(2, 3.5) << '\n';
return 0;
}
具有多个模板类型参数的函数模板:
在上面例子中，我们调用max(2,3.5),因为我们已经明确指定double类型，所以编译器不好使用模板参数推到，它只会实例化 double max(double, double)，其中参数2也被隐式转为double型。
虽然比static_cast更具有可读性，如果我们在调用是根本不用考虑其类型时，那就更好用了。
解决这个问题的最好方法就是重写我们的函数模板，使我们的参数可以解析为不同类型
#include <iostream>
//我们使用两个名为T和U的模板类型参数
template <typename T, typename U>
T max(T x, U y) // x被解析为类型T, y被解析为类型U
{
//我们有一个缩小转换范围的问题
return (x > y) ? x : y;
}
int main()
{
std::cout << max(2, 3.5) << '\n';
return 0;
}
因为我们已经定义了x模板类型为T，y模板类型为U，x和y可以独立解析它们的类型，当我们调用max(2,3.5)时，编译器会实例化为max<int,double>(int,double)。
但是什么代码仍旧有问题，根据算术转为规则，double优于int，所以我们降返回一个double类型的。但是我们函数被定义为T，T被解析为int，我们的double返回值将进行缩小转换为int，编译器会警告（可能丢失数据）。
将返回类型改为U，这并不能解决问题，因为我们可能翻转T和U的调用顺序，可以使用auto，让编译器自动推到出返回类型；
#include <iostream>
template <typename T, typename U>
auto max(T x, U y)
{
return (x > y) ? x : y;
}
int main()
{
std::cout << max(2, 3.5) << '\n';
return 0;
}
