requires 是 C++20 中引入的一個新關鍵字，用于在函數模板或類模板中聲明所需的一組語義要求，它可以用來限制模板參數，類似于 typename 和 class 關鍵字。

requires關鍵字常與type_traits頭文件下類型檢查函數匹配使用，當requires后的表達式值為true時滿足requires條件，代表由其修飾的函數/類的模板參數合法，可以正常使用

requires 關鍵字可以用于以下兩種情況：

• 在函數模板或成員函數中，使用 requires 關鍵字限制函數模板或成員函數的參數或返回值必須滿足一定的語義要求。例如：

Copy

template <typename T> void print(T t) requires std::is_integral_v<T> { std::cout << t << std::endl; }

在這個例子中，使用 requires 關鍵字限制函數模板參數 T 必須是整數類型。

• 在類模板或成員類中，使用 requires 關鍵字限制類模板或成員類必須滿足一定的語義要求。例如：

Copy

template <typename T> requires std::is_integral_v<T> class IntContainer { public: IntContainer(T t) : value_{t} {} private: T value_; };

在這個例子中，使用 requires 關鍵字限制類模板參數 T 必須是整數類型。

需要注意的是，requires 關鍵字僅能用于函數模板和類模板中，不能用于非模板函數和非模板類。此外，requires 關鍵字的語義要求必須在編譯時可驗證，否則將引發編譯時錯誤。

Copy

#include <iostream> class TestRequires { public: template <typename T> static void test(T t) requires std::is_integral_v<T> { std::cout << "test(T t) requires int" << std::endl; } template <typename T> static void test(T t) requires std::is_floating_point_v<T> { std::cout << "test(T t) requires float" << std::endl; } }; int main() { TestRequires::test(123); TestRequires::test(1.234); return 0; }

除此之外，requires關鍵字也可以用于類型轉換前的檢查(假如函數內需要)：

Copy

template <typename T> int64_t unpack(T v) requires std::is_integral<T>::value {return static_cast<int64_t>(v);}