[C++知识库]C++20------Concept

?转载：C++20: Concept详解以及个人理解 - 知乎 (zhihu.com)

C++20 概念（concepts）入门_UnnamedOrange的博客-CSDN博客_c++ concepts

目录

?1.先展示一下功能

2.使用方法：个人觉得第一种最简单，推荐使用第一种或者第四种

3.lamada使用

4.传统C++11和现在的concept的变化对比

5.lamada表达式的使用

6.requires的使用

简单约束

类型约束

?复合约束

嵌套约束

?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约束