概念库 (C++20)

来自cppreference.com
< cpp

概念库提供基础语言概念的定义,它们能用于进行模板实参的编译时校验,以及基于类型属性的函数派发。这些概念在程序中提供等式推理的基础。

标准库中的大多数概念一同加上了语法及语义要求。通常,编译器只能检查语法要求。若在使用点语义要求未得到满足,则程序为病式,不要求诊断。

定义于头文件 <concepts>
定义于命名空间 std

目录

核心语言概念
(C++20)
指定类型与另一类型相同
(概念) [编辑]
指定一个类型派生自另一类型
(概念) [编辑]
指定一个类型能隐式转换成另一类型
(概念) [编辑]
指定二个类型共享共用引用类型
(概念) [编辑]
(C++20)
指定二个类型共享共用类型
(概念) [编辑]
(C++20)
指定类型为整数类型
(概念) [编辑]
指定类型为有符号的整数类型
(概念) [编辑]
指定类型为无符号的整数类型
(概念) [编辑]
指定类型能从另一类型赋值
(概念) [编辑]
指定一个类型能交换,或二个类型能彼此交换
(概念) [编辑]
指定能销毁该类型的对象
(概念) [编辑]
指定该类型变量能从参数类型的集合构造,或绑定到它
(概念) [编辑]
指定能默认构造一个类型的对象
(概念) [编辑]
指定能移动构造一个类型的对象
(概念) [编辑]
指定能复制构造和移动构造一个类型的对象
(概念) [编辑]
比较概念
(C++20)
指定类型能用于布尔语境
(概念) [编辑]
指定运算符 == 为等价关系
(概念) [编辑]
指定比较运算符在该类型上产生全序
(概念) [编辑]
对象概念
(C++20)
指定能移动及交换一个类型的对象
(概念) [编辑]
(C++20)
指定能复制、移动及交换一个类型的对象
(概念) [编辑]
指定能赋值、移动、交换及默认构造一个类型的对象
(概念) [编辑]
(C++20)
指定类型为正规,即它既为 Semiregular 亦为 EqualityComparable
(概念) [编辑]
可调用概念
指定能以给定的参数类型集调用该类型
(概念) [编辑]
(C++20)
指定可调用类型为布尔谓词
(概念) [编辑]
(C++20)
指定可调用类型为二元关系
(概念) [编辑]
指定 Relation 强加严格弱序
(概念) [编辑]