C++20受concept约束的成员函数类外正确定义方法

该编译差异来自C++20 concept约束签名匹配规则下，不同编译器对类注入类名的处理宽容度区别：

• 类定义作用域内的F是类模板的注入类名，语义上等价于当前实例化的F<T>，但该等价关系仅在名称解析阶段生效
• Clang、MSVC对类外成员函数定义与类内声明的匹配采用严格语法等价校验，不会自动将类内requires子句中的注入类名F与类外书写的F<T>判定为同一约束表达式，因此抛出“定义与声明不匹配”错误
• GCC额外实现了语义层面的等价判断，可兼容该不规范写法，但这种写法不符合C++标准对声明、定义匹配的严格要求，无法跨编译器通用

类内实现时MSVC的编译错误，是旧版本MSVC对requires子句内注入类名的解析bug，同样属于不规范写法触发的兼容问题。

核心规则：类内声明与类外定义的requires约束表达式必须完全一致，禁止在约束中使用类注入类名简写，统一书写带完整模板参数的类特化形式。
参考实现代码：

#include <type_traits>

template<typename T>
concept MyConcept = std::is_integral<T>::value; // 可替换为任意自定义复杂约束

template<typename T>
class F {
public:
    // 类内声明直接使用完整F<T>作为concept入参，和类外定义保持完全一致
    void foo() requires MyConcept<F<T>>;
};

template<typename T>
void F<T>::foo() requires MyConcept<F<T>>
{
    // 此处编写长实现逻辑
}

如果实际场景使用可变参数模板类，只需将两边约束参数统一替换为F<Ts...>即可，完全满足“针对整个F<T>实例而非单个类型参数T做concept判定”的需求，不会改动原有约束逻辑。
该写法在所有支持C++20的GCC、Clang、MSVC版本下均可正常编译，无兼容问题。

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