为什么下面的重载解析调用非模板函数

Why the overload resolution below calls the non-template function?

本文关键字：调用 函数 重载 为什么      更新时间：2023-10-16

为什么在下面的表达式return max(max(x, y), z);中调用max(x, y)的重载解析会导致调用非模板函数char const* max(char const*, char const*) ?

据我所知，函数max<const char*>(x, y)比前者更适合，因为x是const char* const&, y是const char* const& !

#include <iostream>
template <typename T>
T const& max (T const& x, T const& y)
{
    return x < y ? y : x;
}
char const* max (char const* x, char const* y)
{
    return std::strcmp(x, y) < 0 ? y : x;
}
template <typename T>
T const& max (T const& x, T const& y, T const& z)
{
    return max (max(x, y), z);
}
int main ()
{
    const char* sx = "String_x";
    const char* sy = "String_y";
    const char* sz = "String_z";
    max(sx, sy, sz);
}

为什么在下面的表达式return max(max(x, y), z);中调用max(x, y)的重载解析会导致调用非模板函数char const* max(char const*, char const*) ?

当调用这个函数时:

template <typename T>
T const& max (T const& x, T const& y, T const& z)
{
    return max (max(x, y), z);
}

T推导为const char*。因此，这个签名被实例化:

const char* const& max (
    const char* const& x, 
    const char* const& y, 
    const char* const& z
    )

函数内部调用二进制版本的max()，参数类型为const char*。对于const char*类型的实参，模板和非模板重载都是可行的。

然而，当两个函数都可以解析调用且其中一个不是模板时，非模板版本被认为是最合适的。

根据c++ 11标准第13.3.3/1段:

给定这些定义，**一个可行函数F1被定义为优于另一个可行函数的函数F2 if**对于所有参数i, ICSi(F1)不是比ICSi(F2)更差的转换序列，然后

-对于某些参数j, ICSj(F1)是比ICSj(F2)更好的转换序列，或者，如果不是，

——上下文是用户自定义转换的初始化(参见8.5、13.3.1.5和13.3.1.6)从返回类型F1到目的类型(即，类型)的标准转换序列实体被初始化)是一个比标准转换序列更好的转换序列将F2的返回类型转换为目标类型。[…]或者，如果不是，

- F1是非模板函数，F2是函数模板专门化，如果不是，则

- F1和F2是函数模板专门化，F1的函数模板更专门化

根据14.5.6.2中描述的部分排序规则，将F2的模板替换。

相关文章：