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

来自cppreference.com
< cpp‎ | header‎ | experimental


 
C++
 
标准库头
通用工具
<any> (C++17)
<bitset>
<bit> (C++20)
<charconv> (C++17)
<expected> (C++23)
<format> (C++20)
<functional>
<optional> (C++17)
<stdbit.h> (C++26)
<tuple> (C++11)
<typeindex> (C++11)
<utility>
<variant> (C++17)
容器
<array> (C++11)
<deque>
<flat_map> (C++23)
<flat_set> (C++23)
<forward_list> (C++11)
<hive> (C++26)
<inplace_vector> (C++26)   
<list>
<map>
<mdspan> (C++23)
<queue>
<set>
<span> (C++20)
<stack>
<unordered_map> (C++11)
<unordered_set> (C++11)
<vector>
迭代器
<iterator>
范围
<generator> (C++23)
<ranges> (C++20)
 
实验性库头文件
执行 P2300
<experimental/execution>
文件系统 TS
<experimental/filesystem>
并行 TS (v1, v2)
experimental/algorithm
experimental/execution_policy
experimental/exception_list
experimental/numeric
<experimental/simd>
experimental/task_block
库基础 TS (v1, v2, v3)
experimental/algorithm
<experimental/any>
experimental/array
experimental/chrono
experimental/deque
experimental/forward_list
<experimental/functional>
experimental/future
experimental/iterator
experimental/list
experimental/map
experimental/memory
<experimental/memory_resource>
experimental/numeric
<experimental/optional>
experimental/propagate_const
experimental/random
experimental/ratio
experimental/regex
experimental/scope
experimental/set
experimental/source_location
experimental/string
<experimental/string_view>
experimental/system_error
experimental/tuple
experimental/type_traits
experimental/unordered_map
experimental/unordered_set
experimental/utility
experimental/vector

并发 TS
experimental/atomic
experimental/barrier
experimental/future
experimental/latch
范围 TS
协程TS
experimental/coroutine
网络 TS
experimental/buffer
experimental/executor
experimental/internet
experimental/io_context
<experimental/net>
experimental/netfwd
experimental/socket
experimental/timer
反射 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 = /* 见定义 */;
 
}}}}
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/header/experimental/ranges/concepts&oldid=62218”