为什么C++20不允许在类内部嵌套声明concept？

struct A
{
    template<typename T>
    concept IsGood = sizeof(T) == sizeof(int); 
    // error: concept declarations may only appear in global or namespace scope

    void f(IsGood auto n)
    {}
};

int main()
{
    A{}.f(8);
}

核心原因来自concept的设计定位和语法实现成本的权衡，具体可以分为以下几点：

• concept的本质是独立的编译期谓词
  concept被设计为用于描述类型特性的纯编译期布尔常量，本身不依附于任何类的实例，也不需要参与类的访问控制、成员查找等面向对象特性。如果允许在类内定义concept，首先需要处理类模板的依赖问题：当外层类本身是模板时，嵌套concept必然依赖类的模板参数，这会破坏concept要求的「无上下文依赖、可直接求值」的特性，大幅增加编译器的concept解析复杂度。
• 实现收益远低于成本
  标准委员会在制定C20 concept规范时，评估过嵌套concept的需求：类内嵌套concept的使用场景极其有限，几乎所有需要类内约束的场景都可以通过类外命名空间定义concept、或者直接在成员函数上写requires子句实现。如果要支持嵌套concept，还要额外兼容访问控制修饰符（public/private/protected）、继承时的concept查找规则等大量逻辑，整体成本远高于收益，因此没有纳入C20标准。
• 已有成熟的替代方案
  如果需要仅给某个类内部使用的约束，完全可以将concept定义在类所在命名空间的内部子命名空间中，或者直接在成员函数的约束位置写inline约束即可，完全可以覆盖所有使用场景，不需要引入嵌套concept语法。

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