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

<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

`<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>

[编辑]

此头文件是 ranges 库的一部分。

定义于命名空间 `std::experimental::ranges`
相同	指定类型与另一类型相同 (概念) [编辑]
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 = /* 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 */;
 
}}}}

编译器支持
自由（freestanding）与宿主（hosted）
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作

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

目录

[编辑] 核心语言概念

[编辑] 比较概念

[编辑] 对象概念

[编辑] 可调用概念

[编辑] 概要

导航

工具箱