c++?requires關(guān)鍵字簡單介紹

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

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

requires關(guān)鍵字可以用于以下兩種情況：

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

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

在這個例子中，使用requires關(guān)鍵字限制函數(shù)模板參數(shù)t必須是整數(shù)類型。

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

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

在這個例子中，使用requires關(guān)鍵字限制類模板參數(shù)t必須是整數(shù)類型。

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

#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關(guān)鍵字也可以用于類型轉(zhuǎn)換前的檢查(假如函數(shù)內(nèi)需要)：

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

關(guān)于c++requires關(guān)鍵字簡介的文章就介紹至此，更多相關(guān)c++requires關(guān)鍵字內(nèi)容請搜索碩編程以前的文章，希望以后支持碩編程！