c++ - 模板参数推导和模板参数

Question

我认为我们可以在没有模板参数的情况下调用模板函数。 为什么仅当我将模板参数指定为 double 时此代码才有效？

#include <iostream>
template <typename T>
T max(T x, T y)
{
    return x > y ? x : y;
}

int main()
{
    cout<<::max(3,4.7)<<"\n";     //Error
    cout<<::max<int>(3,4.7)<<"\n"; //Error
    cout<<::max<double>(3,4.7)<<"\n"; //Works
}

Answer 1

模板参数推导需要应用于函数的所有参数，在第一种情况下(仅不编译的情况)它将推导参数为 int 和 double 。因为它们不完全匹配，所以参数推导失败。正如您已经意识到的那样，答案是禁用类型推导并自己提供类型参数(第二行和第三行)。

对于明确特化的函数模板和普通函数，参数随后会受到隐式或用户定义的类型转换(double 到 int、int 到 double，或通过类构造函数和转换运算符)。然而，在模板参数推导期间，不会执行此类类型转换。