实验性库头文件 <experimental/ranges/concepts>

来自cppreference.com
< cpp‎ | header‎ | experimental
 
 
 
实验性库头文件
文件系统 TS
<experimental/filesystem>
并行 TS (v1, v2)
库基础 TS (v1, v2, v3)
并发 TS
范围 TS
协程 TS
<experimental/coroutine>
网络 TS
反射 TS
<experimental/reflect>
 

此头文件是范围库的一部分。

核心语言概念

定义于命名空间 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 = /* 见定义 */;
 
}}}}