C++模板参数顺序影响编译？VS更新后出现重载函数歧义

在Visual Studio更新后，两段结构相似的模板函数重载出现了不同的编译结果：

• 当带Concept约束的模板参数顺序与函数参数列表顺序相反时，调用pow(10.0, myClass)会报'pow': ambiguous call to overloaded function错误
• 调整模板参数顺序与函数参数一致时，编译正常

以下是最小复现代码：

#include <cmath>
template<class T, class U>
double pow(const T& base, const U& power)
{
    return std::pow(base, power);
}

template<class T>
concept HasValue =
    requires(std::remove_cvref_t<T> t)
{
    t.value;
};


// 此版本会导致重载调用歧义
template<HasValue T, class U>
double pow(const U& s, const T& a)
{
    return std::pow(s, a.value);
}

// 此版本编译正常
//template<class U, HasValue T>
//double pow(const U& s, const T& a)
//{
//  return std::pow(s, a.value);
//}

class MyClass
{
public:
    double value;
};

int main()
{
    MyClass myClass;
    myClass.value = 2.0;
    pow(10.0, myClass);
}

核心原因：模板偏序与约束关联的编译器处理逻辑 #

问题的本质在于C++模板重载决议中的偏序规则和编译器对Concept约束与函数参数关联的处理方式：

1. 实例签名一致性
   两种模板声明在调用pow(10.0, myClass)时，都会实例化出完全相同的函数签名：double pow(const double&, const MyClass&)。此时编译器需要通过模板的特化程度和约束强度来决定优先选择哪个模板。

2. 约束与函数参数的关联差异

   • 有问题的版本：模板参数顺序为<HasValue T, class U>，函数参数是(const U&, const T&)。此时Concept约束HasValue<T>绑定的是第二个模板参数，而该参数对应函数的第二个参数。但由于模板参数顺序与函数参数顺序相反，Visual Studio编译器在重载决议时，未能正确识别该约束是对函数参数的额外限制，导致将其与无约束的通用模板视为同等优先级，从而触发歧义错误。
   • 正常版本：模板参数顺序调整为<class U, HasValue T>，与函数参数(const U&, const T&)的顺序一致。此时编译器能明确识别HasValue<T>是对函数第二个参数的约束，判定该模板比通用模板更特化，因此优先选择带约束的重载版本，无歧义。

3. 标准与编译器实现的差异
   根据C++20标准，带Concept约束的模板应比无约束的通用模板更优先，但Visual Studio在处理模板参数与函数参数顺序不一致的情况时，对约束的关联逻辑存在特殊处理，导致未能正确应用约束优先级规则。

内容的提问来源于stack exchange，提问作者Phil Rosenberg