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

【问题标题】：Why can't I declare a concept at class scope?为什么我不能在类范围内声明一个概念？
【发布时间】：2021-01-22 21:13:21
【问题描述】：

考虑这段代码：

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

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

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

【问题讨论】：

看起来你需要一些论文来描述标准为什么对概念强制执行全局/命名空间范围的理由。所以召唤语言层。
@MarekR 我不确定语言律师标签是否合适。即使我可以通过引用标准来指出不允许此代码的规则，但问题是询问这些规则背后的基本原理。（观看此标签的用户更有可能回答，但我不清楚是否应该这样使用标签。）
@Christophe 嗯，这很有趣，当我问/回答语言律师问题时，我只希望标准文本中所述的规则。一个人对规则的看法，包括一些规则背后的动机，我认为是可选的。（这就是这个问题的全部要点）。
@Christophe 我同意第二部分，但我想问题是，如果一个问题被标记为语言律师，solely 因为它可能只能被回答由语言律师？也许……
@Christophe：“这就是语言律师的工作：他们捍卫语言规则，如有必要，他们会解释为什么规则就是规则”。不;他们解释标准定义的语言规则。解释他们为什么会这样并不是语言律师所做的事情的一部分。这样的人可能能够考虑为什么特定规则是这样的，或者在标准的上下文中为特定规则提供叙述意义。但这不是标签的重点。关键是要表明答案需要定位标准。推理不能。

【解决方案1】：

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

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() {}

没有人认真探索过这样的扩展，它很容易与可能更有价值的概念语法的其他扩展发生冲突。

【讨论】：