Namespaces
Variants

std::experimental::ranges:: lexicographical_compare

From cppreference.net
C++
Experimental
Ranges
Algorithms library
Non-modifying sequence operations
lexicographical_compare


Modifying sequence operations
Partitioning operations
Sorting operations
Binary search operations
Set operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Permutations
Défini dans l'en-tête <experimental/ranges/algorithm>
template < InputIterator I1, Sentinel < I1 > S1, InputIterator I2, Sentinel < I2 > S2,

class Proj1 = ranges:: identity , class Proj2 = ranges:: identity ,
class Comp = ranges:: less <> >
requires IndirectStrictWeakOrder < Comp, projected < I1, Proj1 > , projected < I2, Proj2 >>
bool lexicographical_compare ( I1 first1, S1 last1, I2 first2, S2 last2,
Comp comp = Comp { } ,

Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
(1) (ranges TS)
template < InputRange R1, InputRange R2,

class Proj1 = ranges:: identity , class Proj2 = ranges:: identity ,
class Comp = ranges:: less <> >
requires IndirectStrictWeakOrder < Comp, projected < ranges:: iterator_t < R1 > , Proj1 > ,
projected < ranges:: iterator_t < R2 > , Proj2 >>
bool lexicographical_compare ( R1 && r1, R2 && r2, Comp comp = Comp { } ,

Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
(2) (ranges TS)
1) Vérifie si la première plage [ first1 , last1 ) est lexicographiquement inférieure à la seconde plage [ first2 , last2 ) . Les éléments sont comparés en utilisant la fonction de comparaison binaire donnée comp , après avoir été projetés avec proj1 et proj2 respectivement.
2) Identique à (1) , mais utilise r1 comme première plage source et r2 comme seconde plage source, comme si on utilisait ranges:: begin ( r1 ) comme first1 , ranges:: end ( r1 ) comme last1 , ranges:: begin ( r2 ) comme first2 , et ranges:: end ( r2 ) comme last2 .

La comparaison lexicographique est une opération possédant les propriétés suivantes :

  • Deux plages sont comparées élément par élément.
  • Le premier élément discordant détermine quelle plage est lexicographiquement inférieure ou supérieure à l'autre.
  • Si une plage est un préfixe d'une autre, la plage la plus courte est lexicographiquement inférieure à l'autre.
  • Si deux plages ont des éléments équivalents et sont de même longueur, alors les plages sont lexicographiquement égales .
  • Une plage vide est lexicographiquement inférieure à toute plage non vide.
  • Deux plages vides sont lexicographiquement égales .

Table des matières

Paramètres

first1, last1 - la première plage d'éléments à examiner
r1 - la première plage d'éléments à examiner
first2, last2 - la deuxième plage d'éléments à examiner
r2 - la deuxième plage d'éléments à examiner
comp - fonction de comparaison à appliquer aux éléments projetés
proj1 - projection à appliquer aux éléments de la première plage
proj2 - projection à appliquer aux éléments de la deuxième plage

Valeur de retour

true si la première plage est lexicographiquement inférieure à la seconde.

Complexité

Au plus 2·min(N1, N2) applications de l'opération de comparaison, où N1 = last1 - first1 et N2 = last2 - first2 .

Implémentation possible 

template<InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2,
         class Proj1 = ranges::identity, class Proj2 = ranges::identity,
         class Comp = ranges::less<>>
    requires IndirectStrictWeakOrder<Comp, projected<I1, Proj1>, projected<I2, Proj2>>
bool lexicographical_compare(I1 first1, S1 last1, I2 first2, S2 last2,
                             Comp comp = Comp{}, 
                             Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{})
{
    for (; (first1 != last1) && (first2 != last2); (void) ++first1, (void) ++first2)
    {
        if (ranges::invoke(comp, ranges::invoke(proj1, *first1),
                                 ranges::invoke(proj2, *first2)))
            return true;
        if (ranges::invoke(comp, ranges::invoke(proj2, *first2),
                                 ranges::invoke(proj1, *first1)))
            return false;
    }
    return (first1 == last1) && (first2 != last2);
}
*Note: Le code C++ n'a pas été traduit conformément aux instructions, car il se trouve dans des balises ` 
` et contient des termes spécifiques au C++ qui doivent être préservés. Le code reste donc identique à l'original.*

Exemple

Cette section est incomplète
Raison : aucun exemple

Voir aussi

renvoie true si une plage est lexicographiquement inférieure à une autre
(modèle de fonction)
détermine si deux ensembles d'éléments sont identiques
(modèle de fonction)