C++ requires关键字简单介绍
更新时间：2023年05月15日 08:56:31 作者：ShaoBing
requires 是 C++20 中引入的一个新关键字，用于在函数模板或类模板中声明所需的一组语义要求，它可以用来限制模板参数，类似于 typename 和 class 关键字，这篇文章主要介绍了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语言的sleep、usleep、nanosleep等休眠函数的使用
本文主要介绍了C语言的sleep、usleep、nanosleep等休眠函数的使用，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2023-03-03
这篇文章主要介绍了C++ 重载运算符和重载函数的的相关资料，文中示例代码非常详细，帮助大家更好的理解和学习，感兴趣的朋友可以了解下2020-07-07
这篇文章主要介绍了C++实现LeetCode(89.格雷码),本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下2021-07-07
这篇文章主要介绍了在clion上配置libtorch开发环境的图文详解,本文通过图文并茂的形式给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下2020-11-11
这篇文章主要介绍了C语言数组元素循环右移问题,本文通过多种方法给大家分享解决方案，通过实例代码讲解，对大家的工作或学习具有一定的参考借鉴价值，需要的朋友可以参考下2020-03-03
这篇文章主要为大家详细介绍了C++实现评教管理系统，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-03-03
这篇文章主要介绍了C/C++中的typedef和#define详解的相关资料,需要的朋友可以参考下2017-02-02
尽管函数式宏定义和普通函数相比有很多缺点，但只要小心使用还是会显著提高代码的执行效率，毕竟省去了分配和释放栈帧、传参、传返回值等一系列工作，因此那些简短并且被频繁调用的函数经常用函数式宏定义来代替实现2013-10-10
这篇文章主要给大家介绍了关于C++基于消息队列的多线程实现的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用C++具有一定的参考学习价值，需要的朋友们下面来一起学习学习吧2019-04-04
本文主要介绍了OpenCV实现低对比度图像脏污区域检测，文中通过示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2021-09-09
最新评论