Experimental library header <experimental/ranges/concepts>

From cppreference.net

<experimental/execution>

Filesystem TS

<experimental/filesystem>

Parallelism TS (v1, v2)

`experimental/algorithm`
`experimental/execution_policy`
`experimental/exception_list`

`experimental/numeric`
`<experimental/simd>`
`experimental/task_block`

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

Concurrency TS

`experimental/atomic`
`experimental/barrier`

`experimental/future`
`experimental/latch`

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

Coroutines TS


               experimental/coroutine

Networking TS

`experimental/buffer`
`experimental/executor`
`experimental/internet`
`experimental/io_context`

`<experimental/net>`
`experimental/netfwd`
`experimental/socket`
`experimental/timer`

Reflection TS

<experimental/reflect>

此头文件属于 ranges 库。

定义于命名空间 `std::experimental::ranges`
Same	规定某类型与另一类型相同 (概念)
DerivedFrom	规定某类型派生自另一类型 (概念)
ConvertibleTo	规定某类型可隐式转换为另一类型 (概念)
CommonReference	规定两个类型共享一个公共引用类型 (概念)
Common	规定两个类型共享一个公共类型 (概念)
Integral	规定某类型为整数类型 (概念)
SignedIntegral	规定某类型为有符号整数类型 (概念)
UnsignedIntegral	规定某类型为无符号整数类型 (概念)
Assignable	规定某类型可从另一类型赋值 (概念)
Swappable SwappableWith	规定某类型可交换或两个类型可彼此交换 (概念)

比较概念

定义于命名空间 `std::experimental::ranges`
Boolean	指定类型可用于布尔语境 (概念)
WeaklyEqualityComparableWith	指定两种类型可通过运算符 == 和 ! = 进行相等比较 (概念)
EqualityComparable EqualityComparableWith	指定运算符 == 为等价关系 (概念)
StrictTotallyOrdered StrictTotallyOrderedWith	指定该类型上的比较运算符产生全序关系 (概念)

对象概念

定义于命名空间 `std::experimental::ranges`
Destructible	指定该类型的对象可被销毁 (概念)
Constructible	指定可从一组实参类型构造或绑定该类型的变量 (概念)
DefaultConstructible	指定该类型的对象可被默认构造 (概念)
MoveConstructible	指定该类型的对象可被移动构造 (概念)
CopyConstructible	指定该类型的对象可被复制构造和移动构造 (概念)
Movable	指定该类型的对象可被移动和交换 (概念)
Copyable	指定该类型的对象可被复制、移动和交换 (概念)
Semiregular	指定该类型的对象可被复制、移动、交换和默认构造 (概念)
Regular	指定类型为正规类型，即同时满足 `Semiregular` 与 `EqualityComparable` (概念)

可调用概念

定义于命名空间 `std::experimental::ranges`
Invocable RegularInvocable	规定可调用类型能够以给定参数类型集合进行调用 (概念)
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 = /* 见定义 */;
}}}}

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

cppreference.net

Namespaces

Variants

Experimental library header <experimental/ranges/concepts>

目录

核心语言概念

比较概念

对象概念

可调用概念

概要