std:: lexicographical_compare
|
Défini dans l'en-tête
<algorithm>
|
||
|
template
<
class
InputIt1,
class
InputIt2
>
bool
lexicographical_compare
(
InputIt1 first1, InputIt1 last1,
|
(1) | (constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2
>
|
(2) | (depuis C++17) |
|
template
<
class
InputIt1,
class
InputIt2,
class
Compare
>
bool
lexicographical_compare
(
InputIt1 first1, InputIt1 last1,
|
(3) | (constexpr depuis C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
Compare
>
|
(4) | (depuis C++17) |
Vérifie si la première plage
[
first1
,
last1
)
est lexicographiquement
inférieure
à la seconde plage
[
first2
,
last2
)
.
|
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)
|
| 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 ) :
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
ExecutionPolicyfait partie des politiques standard , std::terminate est appelé. Pour tout autreExecutionPolicy, 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); } |
`/`
` 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) |
|
|
(C++20)
|
retourne
true
si une plage est lexicographiquement inférieure à une autre
(objet fonction algorithme) |