转载:C++20: Concept详解以及个人理解 - 知乎 (zhihu.com)
C++20 概念(concepts)入门_UnnamedOrange的博客-CSDN博客_c++ concepts
目录
2.使用方法:个人觉得第一种最简单,推荐使用第一种或者第四种
1.先展示一下功能
using namespace std;
template <typename T>
concept integral_number = std::is_integral_v<T>; //定义一个约束类型为int型
template <typename T>
concept floating_number = std::is_floating_point_v<T>;
template <integral_number T> //利用约束类型进行函数的定义
bool same_number(T l, T r) {
return l == r;
}
template <floating_number T>
bool same_number(T l, T r) {
return std::abs(l - r) < T(0.000001);
}
int main()
{
int a = 10, b = 20;
double c = 10.0, d = 10.0;
cout << same_number(a,b) << endl;
cout << same_number(d, c) << endl;
return 0;
}
将上述的模板可以改成下面的形式
2.使用方法:个人觉得第一种最简单,推荐使用第一种或者第四种
3.lamada使用
4.传统C++11和现在的concept的变化对比
或者如下:
或者
如果传入double类型直接编译错误
5.lamada表达式的使用
6.requires的使用
requires有两种方法
1.是约束concept方法
2.一种是接表达式
简单约束
示例1
示例2
1.里面什么函数都没有,不符合requires的要求
2.里面缺少test(int),不符合requires的要求
TestConcept里面可以随便输出data对象拥有的类型。
类型约束
类型约束的形式是 typename xxx;
如果 xxx
是一个类型,那么这个约束表达式返回的概念的布尔值可能为真,否则一定为假。
其中int是没有迭代器的,返回值为0。
vector是有迭代器的,返回值为1。
复合约束
1.将类型作为约束处理
2.直接调用requires() 方法,类似lamda使用
嵌套约束
1.在requires里面再嵌套一个requires约束