requires 是 C++20 中引入的一個新關鍵字，用於在函數模板或類模板中聲明所需的一組語義要求，它可以用來限制模板參數，類似於 typename 和 class 關鍵字。 requires關鍵字常與type_traits頭文件下類型檢查函數匹配使用，當requires後的表達式值為true時 ...
requires 是 C++20 中引入的一個新關鍵字，用於在函數模板或類模板中聲明所需的一組語義要求，它可以用來限制模板參數，類似於 typename 和 class 關鍵字。
requires關鍵字常與type_traits頭文件下類型檢查函數匹配使用，當requires後的表達式值為true時滿足requires條件，代表由其修飾的函數/類的模板參數合法，可以正常使用
requires 關鍵字可以用於以下兩種情況：
- 在函數模板或成員函數中，使用
requires關鍵字限制函數模板或成員函數的參數或返回值必須滿足一定的語義要求。例如：
template <typename T>
void print(T t) requires std::is_integral_v<T> {
std::cout << t << std::endl;
}
在這個例子中，使用 requires 關鍵字限制函數模板參數 T 必須是整數類型。
- 在類模板或成員類中，使用
requires關鍵字限制類模板或成員類必須滿足一定的語義要求。例如：
template <typename T>
requires std::is_integral_v<T>
class IntContainer {
public:
IntContainer(T t) : value_{t} {}
private:
T value_;
};
在這個例子中，使用 requires 關鍵字限制類模板參數 T 必須是整數類型。
需要註意的是，requires 關鍵字僅能用於函數模板和類模板中，不能用於非模板函數和非模板類。此外，requires 關鍵字的語義要求必須在編譯時可驗證，否則將引發編譯時錯誤。
#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關鍵字也可以用於類型轉換前的檢查(假如函數內需要)：
template <typename T>
int64_t unpack(T v) requires std::is_integral<T>::value
{return static_cast<int64_t>(v);}
