C++20概念检查静态成员隐私：多编译器行为差异咨询

问题本质 #

你用C++20概念BuildInaccessible约束CRTP接口的派生类，确保其build静态成员不被公开暴露，但不同编译器表现不一致：

• MSVC 17.4.1：符合预期——派生类把build声明为protected时static_assert通过，public则失败
• Clang 15、GCC 12：无论build是protected还是public，都判定该成员可访问，导致protected成员也触发static_assert失败

标准与编译器行为分析 #

你的写法本身符合C++20标准，问题出在Clang 15和GCC 12的编译器实现bug——它们在处理requires表达式中的类成员可访问性检查时，没有正确区分CRTP场景下的上下文权限。

根据C++20标准[expr.requires]规定，requires表达式中的成员访问检查需要结合概念定义上下文和模板实参替换后的上下文。在你的CRTP结构中，基类CRTP::Prefab<T>作为T的基类，本身没有权限访问T的protected成员，因此T::build在基类上下文里应该是不可访问的，MSVC的行为是正确的。而Clang和GCC的旧版本错误地忽略了这一可访问性限制，认为protected成员在requires表达式中是可访问的。

修复方案 #

如果需要在旧版本编译器上实现预期效果，可以通过让CRTP基类成为派生类的友元来修正上下文权限：

struct SomePrefab : CRTP::Prefab< SomePrefab >
{
    friend class CRTP::Prefab<SomePrefab>;
protected:
    static void build ( Ent target );
};

这样基类上下文就能正确识别build成员的可访问性，让static_assert按预期工作。

另外，升级到Clang 16+、GCC 13+版本也能解决这个问题，这些新版本已经修复了该可访问性检查的bug。

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