C ++函数匹配优先级[重复]

Question

我有一个关于 c++ 函数匹配优先级的简单问题。假设我有这样的代码：

#include <iostream>

void func(const char*)
{
    std::cout << "const char*" << std::endl;
}

template<int N>
void func(const char (&) [N])
{
    std::cout << "const char (&) [N]" << std::endl;
}

int main(int argc, char* argv[])
{
    func("Hello world");
    return 0;
}

代码的结果是（带Apple LLVM version 6.1.0 (clang-602.0.49) (based on LLVM 3.6.0svn)）：

const char*

我认为"Hello world" 的字面量类型应该是const char[]。为什么const char* 版本的优先级高于const char (&)[] 版本？

Answer 1

重载分辨率尝试找到最佳转换。以下段落列出了可以区分两种转换的相关要点：

标准转换序列S1 是比标准转换序列更好的转换序列 标准转换序列S2if

• S1 是S2 的适当子序列（比较由 13.3.3.1.1 定义的规范形式的转换序列，不包括任何 左值变换；考虑恒等转换序列 是任何非恒等式转换序列的子序列），或者，如果 不是这样的，

• S1 的排名优于S2 的排名，或者S1 和S2 的排名相同，可以通过 以下段落中的规则，或者，如果不是，则

• […]

虽然函数模板的特化产生了一个带有恒等转换的参数，但char const* 的非模板重载需要数组到指针的转换。直觉上，我们会说前者是更好的匹配，因此应该被选中。但是，数组到指针的转换是左值转换，不包括在第一个要点中。由于它具有精确匹配排名，因此转换排名与char const (&)[N] 的转换排名没有区别，char const (&)[N] 也具有精确匹配排名。 “以下段落中的规则”也无法区分转换，因为它们仅解决派生到基础的转换等，而不是数组到指针。

事实上，转换为char const (&)[N] 并没有更好的办法。但重载决议区分模板：

鉴于这些定义，一个可行的函数F1 被定义为 如果所有参数都比另一个可行的函数F2 更好的函数 i，ICSi(F1)不是比ICS更差的转换序列i(F2)，然后

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

• […]

• F1 不是函数模板特化，F2 是函数 模板专业化，或者，如果不是，则

因此选择了非模板重载。

Answer 2

在您的特定情况下，应用的解析规则的相关部分是非模板函数优先于模板函数，这就是您看到指针而不是数组引用的原因。