Clang18/GCC主干中约束无法区分基类与派生类函数的技术咨询

问题背景 #

以下代码在C++20模式下，GCC ≤14、Clang ≤17可正常编译，但Clang 18及GCC主干版本编译失败：

#include <iostream>
#include <concepts>

struct A {
    void f() { std::cout << "A::f\n"; }
};

template <class T>
struct B : public A {
    // 意图：当T为int时使用B::f，否则使用A::f
    using A::f;
    void f() requires std::same_as<T, int> {
        std::cout << "B::f";
    }
};

int main() {
    B<int>().f(); // <-- Clang 18和GCC主干："error: call to 'f' is ambiguous"
}

Clang报错信息（GCC类似）：

<source>:18:14: error: call to member function 'f' is ambiguous
   18 |     B<int>().f(); // <-- clang 18: "error: call to member function 'f' is ambiguous"
      |     ~~~~~~~~~^
<source>:5:10: note: candidate function
    5 |     void f() { std::cout << "A::f\n"; }
      |          ^
<source>:12:10: note: candidate function
   12 |     void f() requires std::same_as<T, int> {
      |          ^

问题解答 #

1. 标准层面的正确行为及原因 #

新版本编译器的报错符合C++标准，旧版本编译器的行为存在错误，核心原因在于重载解析的阶段规则：

• 重载解析分为候选函数收集、可行函数筛选、优先级比较三个阶段。约束强弱比较仅适用于模板函数之间的重载决议，对非模板函数的重载不生效。
• 当T=int时，B::f是一个约束满足的非模板函数，using A::f将基类的非模板f引入派生类作用域，两者签名完全一致（无参、void返回），属于同作用域下的非模板函数重载。由于没有针对非模板函数的约束优先级规则，编译器判定调用歧义。

旧版本编译器错误地将模板约束的优先级逻辑套用到了非模板函数的重载解析中，这不符合C++标准的明确规定。

2. 无需重复基类原型的替代方案 #

可以通过模板化派生类成员函数，利用模板约束的优先级实现预期逻辑，同时保留using声明，避免重复基类函数原型：

#include <iostream>
#include <concepts>

struct A {
    void f() { std::cout << "A::f\n"; }
};

template <class T>
struct B : public A {
    using A::f;
    // 将B::f改为模板函数，仅当默认模板参数U=T且T=int时启用
    template <class U = T>
    void f() requires std::same_as<U, int> {
        std::cout << "B::f";
    }
};

int main() {
    B<int>().f();    // 调用B的模板f
    B<double>().f(); // 调用A的f
}

原理：当调用B<int>().f()时，候选函数包括基类的非模板f和派生类的模板f。根据重载决议规则，模板函数与非模板函数竞争时，满足约束的模板函数会被优先选择（模板约束优先级在此场景生效）；当T≠int时，模板f的约束不满足，自动被排除，调用会匹配基类的f。

内容的提问来源于stack exchange，提问作者Sven Sandberg