是否可以在运行时强制转换模板参数？

Question

给出以下模板化方法

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（）中的调用

Answer 1

由于模板类型推导而无法在int和double之间推导而失败，您可以显式指定模板类型，使用两个模板参数或将其强制转换为T与static_cast

Answer 2

是的，您可以通过创建另一个模板方法来做到这一点：

template<class T, class U>
T max(T x, U y) {
    return max(x, static_cast<T>(y));
}

注意：如果仅是最大值，请使用STL中的std::max。

Answer 3

根据您的问题，目前尚不清楚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;
};

范围解析运算符在参数中剩余的所有内容都是未推导的，因此整个参数是未推论的上下文，并且不会参与模板参数推导。而是将常规的隐式转换应用于重载解析。