Namespaces
Variants

Experimental library header <experimental/ranges/concepts>

From cppreference.net
Standard library headers
Experimental library headers
Execution P2300
<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
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
определяет, что тип идентичен другому типу
(концепт)
определяет, что тип наследуется от другого типа
(концепт)
определяет, что тип может быть неявно преобразован в другой тип
(концепт)
определяет, что два типа имеют общий ссылочный тип
(концепт)
определяет, что два типа имеют общий тип
(концепт)
определяет, что тип является целочисленным типом
(концепт)
определяет, что тип является знаковым целочисленным типом
(концепт)
определяет, что тип является беззнаковым целочисленным типом
(концепт)
определяет, что тип может быть присвоен из другого типа
(концепт)
определяет, что тип может быть обменен или что два типа могут быть обменены друг с другом
(концепт)

Концепции сравнения

Определено в пространстве имен 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 = /* см. определение */;
}}}}