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

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

标准库头文件

语言支持
<cstddef> <cstdlib> <version> <limits> <climits>	<cfloat> <cstdint> <new> <typeinfo>	<source_location> <exception> <initializer_list>     <compare>	<coroutine> <csignal> <csetjmp> <cstdarg>
概念
<concepts>
诊断
<stdexcept>	<cassert>	<cerrno>	<system_error>
通用工具
<utility> <memory> <memory_resource> <scoped_allocator>	<bitset> <tuple> <optional> <any>	<variant> <type_traits> <ratio> <chrono>	<typeindex> <functional> <stacktrace> <ctime>
字符串
<string> <string_view> <cstring>	<charconv> <format>	<cctype> <cwctype>	<cwchar> <cuchar>
本地化
<locale>	<codecvt>	<clocale>
容器
<span> <array> <vector>	<deque> <forward_list> <list>	<map> <set> <queue>	<unordered_map> <unordered_set> <stack>
迭代器
<iterator>
范围
<ranges>
算法
<algorithm>	<execution>
数值
<complex> <random>	<valarray> <numeric>	<bit> <numbers>	<cfenv> <cmath>
输入/输出
<iosfwd> <ios> <iomanip> <streambuf>	<istream> <ostream> <iostream>	<sstream> <spanstream> <fstream> <syncstream>	<cstdio> <cinttypes> <strstream>
正则表达式
<regex>
文件系统
<filesystem>
线程支持
<thread> <atomic> <mutex>	<shared_mutex> <condition_variable>     <future>	<stop_token> <semaphore>	<latch> <barrier>
C 兼容
<ciso646> <cstdalign>	<cstdbool> <ccomplex>	<ctgmath> <stdatomic.h>

 

实验性库头文件

文件系统 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
<experimental/ranges/algorithm> <experimental/ranges/concepts> <experimental/ranges/functional>     <experimental/ranges/iterator>	<experimental/ranges/random> <experimental/ranges/tuple> <experimental/ranges/type_traits> <experimental/ranges/utility>
协程 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
Same	指定类型与另一类型相同 (概念)
DerivedFrom	指定该类型从另一类型派生 (概念)
ConvertibleTo	指定类型能隐式转换成另一类型 (概念)
CommonReference	指定两个类型共有一个公共引用类型 (概念)
Common	指定两个类型共有一个公共类型 (概念)
Integral	指定类型为整型类型 (概念)
SignedIntegral	指定类型为有符号的整型类型 (概念)
UnsignedIntegral	指定类型为无符号的整型类型 (概念)
Assignable	指定类型可从另一类型赋值 (概念)
SwappableSwappableWith	指定一个类型能进行交换，或两个类型能彼此交换 (概念)

比较概念

定义于命名空间 std::experimental::ranges
Boolean	指定类型能用于布尔语境 (概念)
WeaklyEqualityComparableWith	指定两个类型能用运算符 == 和 != 比较相等性 (概念)
EqualityComparableEqualityComparableWith	指定运算符 == 是等价关系 (概念)
StrictTotallyOrderedStrictTotallyOrderedWith	指定该类型上的比较运算符产出全序 (概念)

对象概念

定义于命名空间 std::experimental::ranges
Destructible	指定该类型对象能被销毁，且能用一元 & 取其地址 (概念)
Constructible	指定该类型的变量能从一组实参类型进行构造，或绑定到一组实参类型 (概念)
DefaultConstructible	指定该类型对象能默认构造 (概念)
MoveConstructible	指定该类型的对象能移动构造 (概念)
CopyConstructible	指定该类型对象能复制构造及移动构造 (概念)
Movable	指定该类型的对象能被移动和交换 (概念)
Copyable	指定该类型对象能被复制、移动和交换 (概念)
Semiregular	指定类型的对象能被复制、移动、交换及默认构造 (概念)
Regular	指定类型为正则，即为 Semiregular 且为 EqualityComparable (概念)

可调用概念

定义于命名空间 std::experimental::ranges
InvocableRegularInvocable	指定可调用类型能以给定的一组实参调用 (概念)
Predicate	指定可调用类型是布尔谓词 (概念)
Relation	指定可调用类型为二元关系 (概念)
StrictWeakOrder	指定一种 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 = /* 见定义 */;
 
}}}}