Namespaces
Variants

std::experimental::ranges:: RandomAccessIterator

From cppreference.net
C++
Experimental
Ranges
Iterators library
Iterator concepts
Indirect callable concepts
Common algorithm requirements
Concept utilities
Iterator utilities and operations
Iterator traits
Iterator adaptors
Stream iterators
Défini dans l'en-tête <experimental/ranges/iterator>
template < class I >

concept bool RandomAccessIterator =
BidirectionalIterator < I > &&
DerivedFrom < ranges :: iterator_category_t < I > , ranges :: random_access_iterator_tag > &&
StrictTotallyOrdered < I > &&
SizedSentinel < I, I > &&
requires ( I i, const I j, const ranges :: difference_type_t < I > n ) {
{ i + = n } - > Same < I > & ;
{ j + n } - > Same < I > && ;
{ n + j } - > Same < I > && ;
{ i - = n } - > Same < I > & ;
{ j - n } - > Same < I > && ;
j [ n ] ;
requires Same < decltype ( j [ n ] ) , ranges :: reference_t < I >> ;

} ;
(ranges TS)

Le concept RandomAccessIterator<I> affine BidirectionalIterator en ajoutant la prise en charge de l'avancement en temps constant avec les opérateurs += , + , -= , et - , le calcul de distance en temps constant avec - , et la notation de tableau avec l'indexation.

Soient a et b des itérateurs valides de type I tels que b soit accessible depuis a , et soit n une valeur de type ranges :: difference_type_t < I > égale à b - a . RandomAccessIterator<I> est satisfait seulement si :

  • ( a + = n ) est égal à b .
  • std:: addressof ( a + = n ) est égal à std:: addressof ( a ) .
  • ( a + n ) est égal à ( a + = n ) .
  • ( a + n ) est égal à ( n + a ) .
  • Pour deux entiers positifs quelconques x et y , si a + ( x + y ) est valide, alors a + ( x + y ) est égal à ( a + x ) + y .
  • a + 0 est égal à a .
  • Si ( a + ( n - 1 ) ) est valide, alors -- b est égal à ( a + ( n - 1 ) ) .
  • ( b + = - n ) et ( b - = n ) sont tous deux égaux à a .
  • std:: addressof ( b - = n ) est égal à std:: addressof ( b ) .
  • ( b - n ) est égal à ( b - = n ) .
  • Si b est déréférençable, alors a [ n ] est valide et est égal à * b .
  • bool ( a <= b ) est true .

Préservation de l'égalité

Une expression est préservatrice d'égalité si elle produit des résultats égaux pour des entrées égales.

  • Les entrées d'une expression consistent en ses opérandes.
  • Les sorties d'une expression consistent en son résultat et tous les opérandes modifiés par l'expression (le cas échéant).

Toute expression devant préserver l'égalité doit en outre être stable : deux évaluations d'une telle expression avec les mêmes objets d'entrée doivent produire des sorties égales en l'absence de toute modification explicite intervenant entre-temps sur ces objets d'entrée.

Sauf indication contraire, toute expression utilisée dans une requires-expression doit être égalité-préservante et stable, et l'évaluation de l'expression ne peut modifier que ses opérandes non constants. Les opérandes constants ne doivent pas être modifiés.

Variations d'expressions implicites

Une requires-expression qui utilise une expression non modifiante pour un opérande constant lvalue donné exige également implicitement des variations supplémentaires de cette expression qui acceptent un lvalue non constant ou un rvalue (éventuellement constant) pour l'opérande spécifié, sauf si une telle variation d'expression est explicitement exigée avec une sémantique différente. Ces variations d'expression implicites doivent satisfaire aux mêmes exigences sémantiques que l'expression déclarée. La mesure dans laquelle une implémentation valide la syntaxe des variations n'est pas spécifiée.