给定以下模板化方法
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
是哪种类型,但是如果您希望它是例如,第一个参数的类型,然后可以将第二个参数设为非推导上下文:
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;
};
范围解析运算符在参数中留下的所有内容都是未推导的,因此整个参数是未推导的上下文,并且不会参与模板参数推导。而是将常规的隐式转换应用于重载解析。
关于c++ - 是否可以在运行时强制转换模板参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59917916/