Experimental library header <experimental/ranges/concepts>
From cppreference.net
<
cpp
|
header
|
experimental
Cet en-tête fait partie de la bibliothèque ranges .
Table des matières |
Concepts fondamentaux du langage
|
Défini dans l'espace de noms
std::experimental::ranges
|
|
|
spécifie qu'un type est identique à un autre type
(concept) |
|
|
spécifie qu'un type est dérivé d'un autre type
(concept) |
|
|
spécifie qu'un type est implicitement convertible en un autre type
(concept) |
|
|
spécifie que deux types partagent un type de référence commun
(concept) |
|
|
spécifie que deux types partagent un type commun
(concept) |
|
|
spécifie qu'un type est un type intégral
(concept) |
|
|
spécifie qu'un type est un type intégral signé
(concept) |
|
|
spécifie qu'un type est un type intégral non signé
(concept) |
|
|
spécifie qu'un type peut être assigné à partir d'un autre type
(concept) |
|
|
spécifie qu'un type peut être échangé ou que deux types peuvent être échangés l'un avec l'autre
(concept) |
|
Concepts de comparaison
|
Défini dans l'espace de noms
std::experimental::ranges
|
|
|
spécifie qu'un type peut être utilisé dans des contextes booléens
(concept) |
|
|
spécifie que deux types peuvent être comparés pour l'égalité en utilisant les opérateurs
==
et
!
=
(concept) |
|
|
spécifie que l'opérateur
==
est une relation d'équivalence
(concept) |
|
|
spécifie que les opérateurs de comparaison sur le type produisent un ordre total
(concept) |
|
Concepts d'objet
|
Défini dans l'espace de noms
std::experimental::ranges
|
|
|
spécifie qu'un objet du type peut être détruit
(concept) |
|
|
spécifie qu'une variable du type peut être construite à partir ou liée à un ensemble de types d'arguments
(concept) |
|
|
spécifie qu'un objet d'un type peut être construit par défaut
(concept) |
|
|
spécifie qu'un objet d'un type peut être déplacé par construction
(concept) |
|
|
spécifie qu'un objet d'un type peut être copié par construction et déplacé par construction
(concept) |
|
|
spécifie qu'un objet d'un type peut être déplacé et échangé
(concept) |
|
|
spécifie qu'un objet d'un type peut être copié, déplacé et échangé
(concept) |
|
|
spécifie qu'un objet d'un type peut être copié, déplacé, échangé et construit par défaut
(concept) |
|
spécifie qu'un type est régulier, c'est-à-dire qu'il est à la fois
Semiregular
et
EqualityComparable
(concept) |
|
Concepts appelables
|
Défini dans l'espace de noms
std::experimental::ranges
|
|
|
spécifie qu'un type appelable peut être invoqué avec un ensemble donné de types d'arguments
(concept) |
|
|
spécifie qu'un type appelable est un prédicat booléen
(concept) |
|
|
spécifie qu'un type appelable est une relation binaire
(concept) |
|
spécifie qu'une
Relation
impose un ordre faible strict
(concept) |
|
Synopsis
namespace std { namespace experimental { namespace ranges { inline namespace v1 { template <class T, class U> concept bool Same = /* voir la définition */; template <class T, class U> concept bool DerivedFrom = /* voir la définition */; template <class T, class U> concept bool ConvertibleTo = /* voir la définition */; template <class T, class U> concept bool CommonReference = /* voir la définition */; template <class T, class U> concept bool Common = /* voir la définition */; template <class T> concept bool Integral = /* voir la définition */; template <class T> concept bool SignedIntegral = /* voir la définition */; template <class T> concept bool UnsignedIntegral = /* voir la définition */; template <class T, class U> concept bool Assignable = /* voir la définition */; template <class T> concept bool Swappable = /* voir la définition */; template <class T, class U> concept bool SwappableWith = /* voir la définition */; template <class T> concept bool Destructible = /* voir la définition */; template <class T, class... Args> concept bool Constructible = /* voir la définition */; template <class T> concept bool DefaultConstructible = /* voir la définition */; template <class T> concept bool MoveConstructible = /* voir la définition */; template <class T> concept bool CopyConstructible = /* voir la définition */; template <class B> concept bool Boolean = /* voir la définition */; template <class T, class U> concept bool WeaklyEqualityComparableWith = /* voir la définition */; template <class T> concept bool EqualityComparable = /* voir la définition */; template <class T, class U> concept bool EqualityComparableWith = /* voir la définition */; template <class T> concept bool StrictTotallyOrdered = /* voir la définition */; template <class T, class U> concept bool StrictTotallyOrderedWith = /* voir la définition */; template <class T> concept bool Movable = /* voir la définition */; template <class T> concept bool Copyable = /* voir la définition */; template <class T> concept bool Semiregular = /* voir la définition */; template <class T> concept bool Regular = /* voir la définition */; template <class F, class... Args> concept bool Invocable = /* voir la définition */; template <class F, class... Args> concept bool RegularInvocable = /* voir la définition */; template <class F, class... Args> concept bool Predicate = /* voir la définition */; template <class R, class T, class U> concept bool Relation = /* voir la définition */; template <class R, class T, class U> concept bool StrictWeakOrder = /* voir la définition */; }}}}