给出以下模板化方法
template <typename T>
T max(T x, T y)
{
return (x > y)? x : y;
}
我希望以下呼叫工作：
int main()
{
cout << max(3, 7.0) << std::endl; //compiler error
}
我了解编译器失败，原因是我传递了2种不同的数据类型，而我的模板仅接受2种具有相同类型的参数。最简单的解决方案是使用多态性并创建一个使用类型T和X而不是2个类型T的新模板方法，但是我想问你是否有一种方法可以将参数y强制转换为参数x的类型，而无需在main（）中修改呼叫
从您的问题中并不清楚，在这种情况下，您期望T是哪种类型，但是如果您希望它是例如第一个参数的类型，然后可以使第二个参数成为non-deduced上下文：
template <typename T>
T max(T x, std::type_identity<T>::type y)
{
return (x > y)? x : y;
}
std::type_identity是C ++ 20的功能，但其实现非常简单：
template<typename T>
struct type_identity {
using type = T;
};
范围解析运算符在参数中的所有内容都是未推导的，因此整个参数是未推导的上下文，并且不会参与模板自变量的推导。而是将常规的隐式转换应用于重载解析。
由于模板类型推断无法在int和double之间进行推断而失败，您可以显式指定模板类型，使用两个模板参数或使用T将其强制转换为static_cast内部>
是，您可以通过创建另一个模板方法来做到这一点：
只是推迟返回的类型：