【C++】requires关键字简介
2023/5/15 11:22:09
本文主要是介绍【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关键字简介的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!
- 2024-05-15PingCAP 黄东旭参与 CCF 秀湖会议,共探开源教育未来
- 2024-05-13PingCAP 戴涛:构建面向未来的金融核心系统
- 2024-05-09flutter3.x_macos桌面os实战
- 2024-05-09Rust中的并发性:Sync 和 Send Traits
- 2024-05-08使用Ollama和OpenWebUI在CPU上玩转Meta Llama3-8B
- 2024-05-08完工标准(DoD)与验收条件(AC)究竟有什么不同?
- 2024-05-084万 star 的 NocoDB 在 sealos 上一键起,轻松把数据库编程智能表格
- 2024-05-08Mac 版Stable Diffusion WebUI的安装
- 2024-05-08解锁CodeGeeX智能问答中3项独有的隐藏技能
- 2024-05-08RAG算法优化+新增代码仓库支持,CodeGeeX的@repo功能效果提升