为何GCC中含static方法的类b可适配要求非static方法的Concept c？

先还原你提到的示例代码（根据描述补全）：

#include <concepts>

template<typename T>
concept c = requires(T t) {
    { t.f() } -> std::same_as<int>;
};

class b {
public:
    static int f() { return 42; }
};

template<c T>
void m2() {
    T::f();
}

int main() {
    m2<b>(); // 在GCC 11.3.0中无编译/运行错误
    return 0;
}

你疑惑的核心其实是对C++语法和Concept约束逻辑的误解：类b完全满足Concept c的要求，原因如下：

• C++标准允许通过类的对象实例调用静态成员函数。也就是说，t.f()（其中t是b类型的对象）这个表达式是完全合法的，哪怕f是静态成员函数。
• Concept的约束检查基于表达式的合法性和类型匹配，它只关心{ t.f() }能否产生int类型的结果，不会区分f是静态还是非静态成员函数。

所以编译器检查b是否满足c时，t.f()表达式有效且返回类型符合要求，因此判定b满足约束，自然不会触发编译错误。

如果你希望Concept c只接受拥有非静态f()成员函数的类型，可以给约束加上额外条件，比如检查f是否为非静态成员函数：

#include <concepts>
#include <type_traits>

template<typename T>
concept c = requires(T t) {
    { t.f() } -> std::same_as<int>;
    // 额外约束：f必须是非静态成员函数
    requires !std::is_static_member_function_v<decltype(&T::f)>;
};

此时再调用m2<b>()就会触发编译错误，符合你的预期。

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