C++ requires关键字简单介绍

c++ requires关键字简单介绍

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);}

关于c++requires关键字简介的文章就介绍至此,更多相关c++requires关键字内容请搜索硕编程以前的文章,希望以后支持硕编程

下一节:c语言中pthread_exit()函数实现终止线程

c语言编程技术

相关文章