实验性库头文件 <experimental/ranges/concepts>
< cpp | header | experimental
此头文件是范围库的一部分。
核心语言概念
| 定义于命名空间
std::experimental::ranges | |
| 指定类型与另一类型相同 (概念) | |
| 指定该类型从另一类型派生 (概念) | |
| 指定类型能隐式转换成另一类型 (概念) | |
| 指定两个类型共有一个公共引用类型 (概念) | |
| 指定两个类型共有一个公共类型 (概念) | |
| 指定类型为整型类型 (概念) | |
| 指定类型为有符号的整型类型 (概念) | |
| 指定类型为无符号的整型类型 (概念) | |
| 指定类型可从另一类型赋值 (概念) | |
| 指定一个类型能进行交换，或两个类型能彼此交换 (概念) | |
比较概念
| 定义于命名空间
std::experimental::ranges | |
| 指定类型能用于布尔语境 (概念) | |
| 指定两个类型能用运算符 == 和 != 比较相等性 (概念) | |
| 指定运算符 == 是等价关系 (概念) | |
| 指定该类型上的比较运算符产出全序 (概念) | |
对象概念
| 定义于命名空间
std::experimental::ranges | |
| 指定该类型对象能被销毁，且能用一元 & 取其地址 (概念) | |
| 指定该类型的变量能从一组实参类型进行构造，或绑定到一组实参类型 (概念) | |
| 指定该类型对象能默认构造 (概念) | |
| 指定该类型的对象能移动构造 (概念) | |
| 指定该类型对象能复制构造及移动构造 (概念) | |
| 指定该类型的对象能被移动和交换 (概念) | |
| 指定该类型对象能被复制、移动和交换 (概念) | |
| 指定类型的对象能被复制、移动、交换及默认构造 (概念) | |
指定类型为正则，即为 Semiregular 且为 EqualityComparable (概念) | |
可调用概念
| 定义于命名空间
std::experimental::ranges | |
| 指定可调用类型能以给定的一组实参调用 (概念) | |
| 指定可调用类型是布尔谓词 (概念) | |
| 指定可调用类型为二元关系 (概念) | |
指定一种 Relation 施加严格弱序 (概念) | |
概要
namespace std { namespace experimental { namespace ranges { inline namespace v1 { template <class T, class U> concept bool Same = /* 见定义 */; template <class T, class U> concept bool DerivedFrom = /* 见定义 */; template <class T, class U> concept bool ConvertibleTo = /* 见定义 */; template <class T, class U> concept bool CommonReference = /* 见定义 */; template <class T, class U> concept bool Common = /* 见定义 */; template <class T> concept bool Integral = /* 见定义 */; template <class T> concept bool SignedIntegral = /* 见定义 */; template <class T> concept bool UnsignedIntegral = /* 见定义 */; template <class T, class U> concept bool Assignable = /* 见定义 */; template <class T> concept bool Swappable = /* 见定义 */; template <class T, class U> concept bool SwappableWith = /* 见定义 */; template <class T> concept bool Destructible = /* 见定义 */; template <class T, class... Args> concept bool Constructible = /* 见定义 */; template <class T> concept bool DefaultConstructible = /* 见定义 */; template <class T> concept bool MoveConstructible = /* 见定义 */; template <class T> concept bool CopyConstructible = /* 见定义 */; template <class B> concept bool Boolean = /* 见定义 */; template <class T, class U> concept bool WeaklyEqualityComparableWith = /* 见定义 */; template <class T> concept bool EqualityComparable = /* 见定义 */; template <class T, class U> concept bool EqualityComparableWith = /* 见定义 */; template <class T> concept bool StrictTotallyOrdered = /* 见定义 */; template <class T, class U> concept bool StrictTotallyOrderedWith = /* 见定义 */; template <class T> concept bool Movable = /* 见定义 */; template <class T> concept bool Copyable = /* 见定义 */; template <class T> concept bool Semiregular = /* 见定义 */; template <class T> concept bool Regular = /* 见定义 */; template <class F, class... Args> concept bool Invocable = /* 见定义 */; template <class F, class... Args> concept bool RegularInvocable = /* 见定义 */; template <class F, class... Args> concept bool Predicate = /* 见定义 */; template <class R, class T, class U> concept bool Relation = /* 见定义 */; template <class R, class T, class U> concept bool StrictWeakOrder = /* 见定义 */; }}}}