Experimental library header <experimental/ranges/concepts>
From cppreference.net
<
cpp
|
header
|
experimental
Этот заголовок является частью 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 = /* см. определение */; }}}}