c ++模板 - 多个重载函数实例与参数列表匹配[重复]

Question

为什么只有最后一次调用 max 引发错误？

错误 C2668: 'max': 对重载函数的模糊调用

#include <iostream>
#include <type_traits>

template<typename T1, typename T2>
auto max(T1 t1, T2 t2)
{
    return t1 < t2 ? t2 : t1;
}

template<typename RT, typename T1, typename T2>
RT max (T1 a, T2 b)
{
return b < a ? a : b;
}

int main()

    max<long double>(4.5, 4);
    max<double>(4.5, 4);
    return 0;
}

Answer 1

给定max<long double>(4.5, 4);，对于第一个max，它的第一个模板参数T1指定为long double，T2从4推导出为int。对于第二个maxRT指定为long double，T1推导为double，T2推导为int。然后第二个在重载决议中获胜，因为它是完全匹配的，而第一个需要从 double 隐式转换到 long double。

另一方面，给定max<double>(4.5, 4);，对于第一个max，T1 指定为double，T2 推导出为int。对于第二个maxRT指定为double，T1推导为double，T2推导为int。他们都是完全匹配的。