为什么我不能在类范围内声明一个概念？

考虑以下代码：

struct A
{
    template <typename T>
    concept foo = true;
};

它不能编译。我的浪10给了我error: concept declarations may only appear in global or namespace scope，GCC也说了类似的话。

有什么不允许的原因吗？我不明白为什么它不能工作，即使封闭的类是一个模板。

---

解决方案

将出现的根本困难是概念可能会变得依赖：

template<class T>
struct A {
  template<T::Q X>
  void f();
};

是X是(依赖)类型T::Q的非类型模板参数(在C++20中不需要typename)，还是受T::Q概念约束的类型模板参数？

规则是前者；我们需要新的语法(类似于typename/template)来表达另一种可能性：可能类似于

template<T::concept Q X> requires T::concept R<X*>
void A::g() {}

没有人认真研究过这样的扩展，而且它很容易与可能更有价值的概念语法的其他扩展冲突。