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

【问题标题】：Is it possible to cast template parameters on runtime?是否可以在运行时强制转换模板参数？
【发布时间】：2020-01-26 22:01:08
【问题描述】：

给定以下模板化方法

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() 中的调用

【问题讨论】：

【解决方案1】：

从您的问题中并不清楚您希望 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;
};

参数中作用域解析运算符剩下的所有内容都是非推导的，因此整个参数是非推导上下文，不会参与模板实参推导。相反，正常的隐式转换将应用于重载决议。

【讨论】：

【解决方案2】：

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

【讨论】：

【解决方案3】：

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

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

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

【讨论】：

我知道我可以创建另一个具有相同名称的方法来实现解决方案（我错误地将其描述为多态性，而不是在我的帖子中重载）。我想知道是否还有其他技巧可以实现相同的解决方案。我正在努力为求职面试做准备，我希望他们会问我针对给定问题的最奇怪的解决方案
我在这里切线，但是这个解决方案会为 max(3, 3.5) 和 max (3.5, 3) 产生不同的结果，我认为这违反直觉。