C++函数模板特化与调用歧义：数组长度相同为何报错？

问题代码展示 #

#include <cstring>

using namespace std;

// 第一个版本：针对字符数组的模板
template <size_t N, size_t M>
int compare(const char (&a)[N], const char (&b)[M]) {
    return strcmp(a, b);
}

// 第二个版本：通用模板
template <typename T>
int compare(const T &a, const T &b) {
    if (a < b) return -1;
    if (b < a) return 1;
    return 0;
}

int main() {
    const char *p1 = "dog", *p2 = "cat";
    compare(p1, p2); // 调用第二个版本（指针无法匹配数组引用）
    compare("dog", "cat"); // 编译报错：调用歧义
    compare("dog", "cats"); // 实际调用第一个版本（用户描述存在笔误）

    return 0;
}

核心疑问解答 #

1. 两个模板的特化关系：不存在谁更特化 #

C++判断函数模板的调用优先级，依赖模板偏序规则：

• 用第一个模板的参数（比如const char(&)[5]和const char(&)[6]）匹配第二个模板：由于第二个模板要求两个参数是同一类型T，而两个数组长度不同，无法推导出统一的T，因此第二个模板无法匹配第一个模板的参数。
• 用第二个模板的参数（比如const X&，X为任意虚构类型）匹配第一个模板：只有当X是字符数组类型时才能匹配，但X是任意类型，因此第一个模板无法匹配第二个模板的参数。

这说明两个模板不存在偏序关系，没有哪个比另一个更特化，当两者都能完全匹配调用时，编译器无法选择，就会报歧义错误。

2. 数组长度相同导致歧义的原因 #

当调用compare("dog", "cat")时：

• 第一个模板：推导N=4、M=4，参数类型完全匹配const char(&)[4]，可以生成有效匹配的函数。
• 第二个模板：推导T=const char[4]，参数类型同样是const char(&)[4]，也能生成有效匹配的函数。

由于两个模板都能完全匹配，且没有明确的优先级，编译器无法确定调用哪个版本，因此抛出“调用歧义”错误。

3. 数组长度不同时的调用逻辑 #

当调用compare("dog", "cats")时：

• 第一个模板：可以推导N=4、M=5，参数类型分别为const char(&)[4]和const char(&)[5]，完全匹配，能生成有效函数。
• 第二个模板：要求两个参数是同一类型T，但传入的是长度不同的字符数组，无法推导出统一的T，因此模板推导失败，不会参与重载决议。

此时只有第一个模板能匹配，因此会调用第一个版本。

关于《C++ Primer》描述的偏差 #

书中的描述属于场景简化，忽略了模板偏序的细节。实际在C++11及后续标准中，这两个模板不存在明确的特化优先级，当数组长度相同时必然会出现调用歧义。

内容的提问来源于stack exchange，提问作者fansure grin