命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | header‎ | experimental
 
C++
 
标准库头文件
语言支持
概念
<concepts> (C++20)
诊断
<system_error> (C++11)

内存管理
<memory_resource> (C++17)  
元编程
<type_traits> (C++11)
<ratio> (C++11)
通用实用工具
<utility>
<tuple> (C++11)
<optional> (C++17)
<variant> (C++17)
<any> (C++17)
<debugging> (C++26)
<expected> (C++23)
<bitset>
<charconv> (C++17)
<format> (C++20)
<bit> (C++20)

字符串
<cuchar> (C++11)

容器
<flat_set> (C++23)
<span> (C++20)
<mdspan> (C++23)
<inplace_vector> (C++26)
迭代器
<iterator>
范围
<ranges> (C++20)
<generator> (C++23)
算法
数值
<cfenv> (C++11)
<complex>
<cmath>
<linalg> (C++26)
<numbers> (C++20)

时间
<chrono> (C++11)
本地化
<codecvt> (C++11/17/26*)
<text_encoding> (C++26)
输入/输出
<filesystem> (C++17)
<cstdio>
<cinttypes> (C++11)
<strstream> (C++98/26*)
正则表达式
<regex> (C++11)
并发支持
<stop_token> (C++20)
<thread> (C++11)
<atomic> (C++11)
<rcu> (C++26)
<stdatomic.h> (C++23)
<mutex> (C++11)
<shared_mutex> (C++14)

<condition_variable> (C++11)  
<semaphore> (C++20)
<latch> (C++20)

<barrier> (C++20)
<future> (C++11)
<hazard_pointer> (C++26)

C 兼容性
<cstdbool> (C++11/17/20*)  
<ccomplex> (C++11/17/20*)
<ctgmath> (C++11/17/20*)

<cstdalign> (C++11/17/20*)

<ciso646> (直到 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 = /* see definition */;
 
template <class T, class U>
concept bool DerivedFrom = /* see definition */;
 
template <class T, class U>
concept bool ConvertibleTo = /* see definition */;
 
template <class T, class U>
concept bool CommonReference = /* see definition */;
 
template <class T, class U>
concept bool Common = /* see definition */;
 
template <class T>
concept bool Integral = /* see definition */;
 
template <class T>
concept bool SignedIntegral = /* see definition */;
 
template <class T>
concept bool UnsignedIntegral = /* see definition */;
 
template <class T, class U>
concept bool Assignable = /* see definition */;
 
template <class T>
concept bool Swappable = /* see definition */;
 
template <class T, class U>
concept bool SwappableWith = /* see definition */;
 
template <class T>
concept bool Destructible = /* see definition */;
 
template <class T, class... Args>
concept bool Constructible = /* see definition */;
 
template <class T>
concept bool DefaultConstructible = /* see definition */;
 
template <class T>
concept bool MoveConstructible = /* see definition */;
 
template <class T>
concept bool CopyConstructible = /* see definition */;
 
template <class B>
concept bool Boolean = /* see definition */;
 
template <class T, class U>
concept bool WeaklyEqualityComparableWith = /* see definition */;
 
template <class T>
concept bool EqualityComparable = /* see definition */;
 
template <class T, class U>
concept bool EqualityComparableWith = /* see definition */;
 
template <class T>
concept bool StrictTotallyOrdered = /* see definition */;
 
template <class T, class U>
concept bool StrictTotallyOrderedWith = /* see definition */;
 
template <class T>
concept bool Movable = /* see definition */;
 
template <class T>
concept bool Copyable = /* see definition */;
 
template <class T>
concept bool Semiregular = /* see definition */;
 
template <class T>
concept bool Regular = /* see definition */;
 
template <class F, class... Args>
concept bool Invocable = /* see definition */;
 
template <class F, class... Args>
concept bool RegularInvocable = /* see definition */;
 
template <class F, class... Args>
concept bool Predicate = /* see definition */;
 
template <class R, class T, class U>
concept bool Relation = /* see definition */;
 
template <class R, class T, class U>
concept bool StrictWeakOrder = /* see definition */;
 
}}}}
取自 "https://cppreference.cn/mwiki/index.php?title=cpp/header/experimental/ranges/concepts&oldid=112230"