为什么我们要求必须的要求？

Question

C++20概念的一个特点是，在某些情况下，您必须编写requires requires。例如，[expr.prim.req]/3中的这个示例：

template<typename T>
  requires requires (T x) { x + x; }
    T add(T a, T b) { return a + b; }

template<typename T>
  requires (T x) { x + x; }
    T add(T a, T b) { return a + b; }

Answer 1

这是因为语法需要它。它有。

requires约束不必使用requires表达式。它可以使用任何或多或少的任意布尔常数表达式。因此，requires(foo)必须是合法的requires约束。

需要表达式（测试某些事物是否遵循某些约束的表达式）是一个不同的构造；只是通过同一个关键字引入的。requires(Foof)将是有效的requires表达式的开头。

void bar() requires (foo)
{
  //stuff
}

您可以说编译器应该首先弄清楚foo是什么。但是C++真的不喜欢解析一系列标记的基本行为要求编译器在理解标记之前先弄清楚这些标识符的含义。是的，C++是上下文敏感的，所以确实会发生这种情况。但委员会倾向于在可能的情况下避免这样做。

所以是的，是语法。