c++中requires的用法是甚么

在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语句的主要目的是在模板定义时进行编译时条件检查，而不是在使用时进行运行时条件检查。这有助于提早捕获一些潜伏的毛病，并提高代码的可靠性。