Namespaces
Variants

std:: lexicographical_compare

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
lexicographical_compare
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Défini dans l'en-tête <algorithm>
template < class InputIt1, class InputIt2 >

bool lexicographical_compare ( InputIt1 first1, InputIt1 last1,

InputIt2 first2, InputIt2 last2 ) ;
(1) (constexpr depuis C++20)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2 >
bool lexicographical_compare ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,

ForwardIt2 first2, ForwardIt2 last2 ) ;
(2) (depuis C++17)
template < class InputIt1, class InputIt2, class Compare >

bool lexicographical_compare ( InputIt1 first1, InputIt1 last1,
InputIt2 first2, InputIt2 last2,

Compare comp ) ;
(3) (constexpr depuis C++20)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2, class Compare >
bool lexicographical_compare ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,
ForwardIt2 first2, ForwardIt2 last2,

Compare comp ) ;
(4) (depuis C++17)

Vérifie si la première plage [ first1 , last1 ) est lexicographiquement inférieure à la seconde plage [ first2 , last2 ) .

1) Les éléments sont comparés en utilisant operator < .
3) Les éléments sont comparés en utilisant la fonction de comparaison binaire donnée comp .
2,4) Identique à (1,3) , mais exécuté selon la policy . Ces surcharges participent à la résolution de surcharge seulement si toutes les conditions suivantes sont satisfaites :

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> est true .

(jusqu'à C++20)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> est true .

(depuis C++20)

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 paire d'itérateurs définissant la première plage d'éléments à examiner
first2, last2 - la paire d'itérateurs définissant la seconde plage d'éléments à examiner
policy - la politique d'exécution à utiliser
comp - objet fonction de comparaison (c'est-à-dire un objet qui satisfait aux exigences de Compare ) qui renvoie true si le premier argument est inférieur au second.

La signature de la fonction de comparaison doit être équivalente à ce qui suit :

bool cmp ( const Type1 & a, const Type2 & b ) ;

Bien que la signature n'ait pas besoin d'avoir const & , la fonction ne doit pas modifier les objets qui lui sont passés et doit pouvoir accepter toutes les valeurs de type (éventuellement const) Type1 et Type2 indépendamment de la catégorie de valeur (ainsi, Type1 & n'est pas autorisé , pas plus que Type1 sauf si pour Type1 un déplacement est équivalent à une copie (depuis C++11) ).
Les types Type1 et Type2 doivent être tels que les objets de types InputIt1 et InputIt2 puissent être déréférencés puis implicitement convertis à la fois en Type1 et en Type2 .

Exigences de type
-
InputIt1, InputIt2 doivent satisfaire aux exigences de LegacyInputIterator .
-
ForwardIt1, ForwardIt2 doivent satisfaire aux exigences de LegacyForwardIterator .
-
Compare doit satisfaire aux exigences de Compare .

Valeur de retour

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

Complexité

Soit N 1 défini comme std:: distance ( first1, last1 ) et N 2 défini comme std:: distance ( first2, last2 ) :

1,2) Au maximum 2min( 1 ,N 2 ) comparaisons en utilisant operator < .
3,4) Au plus 2min(N 1 ,N 2 ) applications de la fonction de comparaison comp .

Exceptions

Les surcharges avec un paramètre de modèle nommé ExecutionPolicy signalent les erreurs comme suit :

  • Si l'exécution d'une fonction invoquée dans le cadre de l'algorithme lève une exception et que ExecutionPolicy fait partie des politiques standard , std::terminate est appelé. Pour tout autre ExecutionPolicy , le comportement est défini par l'implémentation.
  • Si l'algorithme ne parvient pas à allouer de la mémoire, std::bad_alloc est levé.

Implémentation possible

lexicographical_compare (1)
template<class InputIt1, class InputIt2>
bool lexicographical_compare(InputIt1 first1, InputIt1 last1,
                             InputIt2 first2, InputIt2 last2)
{
    for (; (first1 != last1) && (first2 != last2); ++first1, (void) ++first2)
    {
        if (*first1 < *first2)
            return true;
        if (*first2 < *first1)
            return false;
    }
    return (first1 == last1) && (first2 != last2);
}
lexicographical_compare (3)
template<class InputIt1, class InputIt2, class Compare>
bool lexicographical_compare(InputIt1 first1, InputIt1 last1,
                             InputIt2 first2, InputIt2 last2, Compare comp)
{
    for (; (first1 != last1) && (first2 != last2); ++first1, (void) ++first2)
    {
        if (comp(*first1, *first2))
            return true;
        if (comp(*first2, *first1))
            return false;
    }
    return (first1 == last1) && (first2 != last2);
}
*Note: Le contenu C++ dans les balises ` `/`
` a été préservé tel quel, et les termes spécifiques au C++ (comme "lexicographical_compare", "template", "InputIt", etc.) n'ont pas été traduits, conformément aux instructions.*

Exemple

#include <algorithm>
#include <iostream>
#include <random>
#include <vector>
void print(const std::vector<char>& v, auto suffix)
{
    for (char c : v)
        std::cout << c << ' ';
    std::cout << suffix;
}
int main()
{
    std::vector<char> v1{'a', 'b', 'c', 'd'};
    std::vector<char> v2{'a', 'b', 'c', 'd'};
    for (std::mt19937 g{std::random_device{}()};
         !std::lexicographical_compare(v1.begin(), v1.end(),
                                       v2.begin(), v2.end());)
    {
        print(v1, ">= ");
        print(v2, '\n');
        std::shuffle(v1.begin(), v1.end(), g);
        std::shuffle(v2.begin(), v2.end(), g);
    }
    print(v1, "<  ");
    print(v2, '\n');
}

Sortie possible :

a b c d >= a b c d 
d a b c >= c b d a 
b d a c >= a d c b 
a c d b <  c d a b

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Applicable à Comportement publié Comportement corrigé
LWG 142 C++98 au plus min(N 1 ,N 2 ) comparaisons étaient autorisées, mais cela
n'est pas possible (l'équivalence est déterminée par 2 comparaisons)
limite doublée
LWG 1205 C++98 les résultats des comparaisons lexicographiques impliquant des plages vides n'étaient pas clairs clarifié

Voir aussi

détermine si deux ensembles d'éléments sont identiques
(modèle de fonction)
compare deux plages en utilisant la comparaison à trois voies
(modèle de fonction)
retourne true si une plage est lexicographiquement inférieure à une autre
(objet fonction algorithme)