在C++20中，requires关键字用于定义一种编译时的条件检查，用于指定模板参数的要求。它可以在模板定义时指定一个或多个编译时条件，如果这些条件不满足，则编译器会产生相应的错误信息。
requires语句在C++20中通常用于概念(concepts)的定义，用于限定模板参数的要求。例如，可以使用requires语句来强制模板参数必须支持某种操作或拥有某些特定的属性。
以下是一个使用requires语句的示例：
template <typename T>
concept Integral = requires (T a, T b) {
{ a + b } -> std::same_as<T>;
{ a * b } -> std::same_as<T>;
{ a / b } -> std::same_as<T>;
{ a % b } -> std::same_as<T>;
};
template <Integral T>
T add(T a, T b) {
return a + b;
}
在上面的例子中，我们定义了一个概念Integral，该概念要求模板参数T支持加法、减法、乘法和取模操作。然后在add函数模板中使用了这个概念，确保传入的参数类型符合Integral概念的要求。
需要注意的是，requires语句的主要目的是在模板定义时进行编译时条件检查，而不是在使用时进行运行时条件检查。这有助于提前捕获一些潜在的错误，并提高代码的可靠性。
