C++函数模板重载与全特化的调用匹配规则及歧义问题咨询

1. 为什么传入常量字符数组调用compare会出现歧义？ #

字符串字面量的类型是char const[N]（N为数组长度），调用时会产生多个优先级接近的可行重载：

• 通用模板template <typename T> int compare(T const&, T const&)：若两个数组长度相同，T可推导为char const[N]，属于身份转换级别的精确匹配
• 数组引用重载template <unsigned N, unsigned M> int compare(char const (&)[N], char const(&)[M])：直接绑定数组引用，也是身份转换级别的精确匹配
• 指针模板template <typename T> int compare(T*, T*)：数组退化为指针，属于精确匹配等级下的数组到指针转换
  当两个数组长度相同时，通用模板推导成功，和数组引用重载的匹配优先级完全一致，无法区分；当长度不同时，指针模板和数组引用重载的匹配规则没有明确的优先级高低，因此都会产生歧义。
  你代码中编写的仅含单个非类型参数N的数组重载是为了兼容C11，C14及以上版本可以通过std::enable_if_t判断两个数组长度是否相等，合并两个数组重载为一个，减少歧义可能。

2. 为什么调用compare(cp1, cp2)时匹配的是compare(T*, T*)而非全特化版本？ #

核心原因是全特化不参与重载决议，只会在主模板选定后才会被检查是否匹配：
你的全特化template <> int compare(char const * const&, char const* const&)是属于通用模板template <typename T> int compare(T const&, T const&)的特化。
重载决议阶段只会在可见的主模板中选择最优解：

• 指针模板compare(T*, T*)只能接受指针类型，比能接受任意类型的通用模板更特化
• cp1和cp2是char const* const类型的左值，传入指针模板时仅需要做左值到右值的读取操作，属于精确匹配
  因此重载决议会优先选择更特化的指针主模板，自然不会触发属于通用主模板的全特化。

3. 函数模板的声明顺序是否会影响重载决议的优先级？ #

不会。重载决议的优先级完全由参数匹配等级、模板偏序规则、函数属性（如constexpr、consteval）决定，只要是调用点可见的模板声明都会被纳入候选集，和声明先后顺序无关。只有当两个候选的优先级完全相等时才会报歧义错误，和声明顺序没有关系。

4. 将指针模板修改为template <typename T> int compare(T const * const&, T const* const&)后为什么正常运行？ #

修改后指针模板的参数变成了指针的const左值引用，此时重载决议的规则发生了变化：

1. 调用compare(cp1, cp2)时，修改后的指针模板和通用模板的匹配等级相同，全特化版本可以匹配到优先级更高的对应主模板，成功调用特化的字符串比较逻辑，不会再走通用指针比较的逻辑
2. 调用字符串字面量时，数组引用重载的匹配等级高于指针模板（数组引用绑定属于身份转换，优于需要数组退化为指针再绑定引用的转换序列），因此会直接选择数组引用重载，不会再产生歧义。

内容的提问来源于stack exchange，提问作者Itachi Uchiwa