Namespaces
Variants

std:: mismatch

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
(C++11) (C++11) (C++11)
mismatch

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
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Défini dans l'en-tête <algorithm>
template < class InputIt1, class InputIt2 >

std:: pair < InputIt1, InputIt2 >
mismatch ( InputIt1 first1, InputIt1 last1,

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

std:: pair < ForwardIt1, ForwardIt2 >
mismatch ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,

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

std:: pair < InputIt1, InputIt2 >
mismatch ( InputIt1 first1, InputIt1 last1,

InputIt2 first2, BinaryPred p ) ;
(3) (constexpr depuis C++20)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2, class BinaryPred >
std:: pair < ForwardIt1, ForwardIt2 >
mismatch ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,

ForwardIt2 first2, BinaryPred p ) ;
(4) (depuis C++17)
template < class InputIt1, class InputIt2 >

std:: pair < InputIt1, InputIt2 >
mismatch ( InputIt1 first1, InputIt1 last1,

InputIt2 first2, InputIt2 last2 ) ;
(5) (depuis C++14)
(constexpr depuis C++20)
template < class ExecutionPolicy, class ForwardIt1, class ForwardIt2 >

std:: pair < ForwardIt1, ForwardIt2 >
mismatch ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,

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

std:: pair < InputIt1, InputIt2 >
mismatch ( InputIt1 first1, InputIt1 last1,

InputIt2 first2, InputIt2 last2, BinaryPred p ) ;
(7) (depuis C++14)
(constexpr depuis C++20)
template < class ExecutionPolicy,

class ForwardIt1, class ForwardIt2, class BinaryPred >
std:: pair < ForwardIt1, ForwardIt2 >
mismatch ( ExecutionPolicy && policy,
ForwardIt1 first1, ForwardIt1 last1,

ForwardIt2 first2, ForwardIt2 last2, BinaryPred p ) ;
(8) (depuis C++17)

Retourne une paire d'itérateurs vers le premier élément discordant entre [ first1 , last1 ) et une plage commençant à first2 :

  • Pour les surcharges (1-4) , la deuxième plage possède std:: distance ( first1, last1 ) éléments.
  • Pour les surcharges (5-8) , la deuxième plage est [ first2 , last2 ) .
1,5) Les éléments sont comparés en utilisant operator == .
3,7) Les éléments sont comparés en utilisant le prédicat binaire donné p .
2,4,6,8) Identique à (1,3,5,7) , 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)

Table des matières

Paramètres

first1, last1 - la paire d'itérateurs définissant la première plage d'éléments à comparer
first2, last2 - la paire d'itérateurs définissant la seconde plage d'éléments à comparer
policy - la politique d'exécution à utiliser
p - prédicat binaire qui renvoie ​ true si les éléments doivent être traités comme égaux.

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

bool pred ( 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 du type (éventuellement const) Type1 et Type2 indépendamment de la catégorie de valeur (ainsi, Type1 & n'est pas autorisé , ni Type1 sauf si pour Type1 un déplacement équivaut à une copie (depuis C++11) ).
Les types Type1 et Type2 doivent être tels que les objets des types InputIt1 et InputIt2 puissent être déréférencés puis implicitement convertis en Type1 et Type2 respectivement. ​

Exigences de type
-
InputIt1 doit satisfaire aux exigences de LegacyInputIterator .
-
InputIt2 doit satisfaire aux exigences de LegacyInputIterator .
-
ForwardIt1 doit satisfaire aux exigences de LegacyForwardIterator .
-
ForwardIt2 doit satisfaire aux exigences de LegacyForwardIterator .
-
BinaryPred doit satisfaire aux exigences de BinaryPredicate .

Valeur de retour

std::pair avec des itérateurs vers les deux premiers éléments non égaux.

Si last1 est atteint, le deuxième itérateur de la paire est le std:: distance ( first1, last1 ) ème itérateur après first2 .

Pour les surcharges (5-8) , si last2 est atteint, le premier itérateur dans la paire est le std:: distance ( first2, last2 ) ème itérateur après first1 .

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 N 1 comparaisons en utilisant operator == .
3,4) Au plus N 1 applications du prédicat p .
5,6) Au maximum min(N 1 ,N 2 ) comparaisons en utilisant operator == .
7,8) Au plus min(N 1 ,N 2 ) applications du prédicat p .

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

mismatch (1)
template<class InputIt1, class InputIt2>
std::pair<InputIt1, InputIt2>
    mismatch(InputIt1 first1, InputIt1 last1, InputIt2 first2)
{
    while (first1 != last1 && *first1 == *first2)
        ++first1, ++first2;
    return std::make_pair(first1, first2);
}
mismatch (3)
template<class InputIt1, class InputIt2, class BinaryPred>
std::pair<InputIt1, InputIt2>
    mismatch(InputIt1 first1, InputIt1 last1, InputIt2 first2, BinaryPred p)
{
    while (first1 != last1 && p(*first1, *first2))
        ++first1, ++first2;
    return std::make_pair(first1, first2);
}
mismatch (5)
template<class InputIt1, class InputIt2>
std::pair<InputIt1, InputIt2>
    mismatch(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2)
{
    while (first1 != last1 && first2 != last2 && *first1 == *first2)
        ++first1, ++first2;
    return std::make_pair(first1, first2);
}
mismatch (7)
template<class InputIt1, class InputIt2, class BinaryPred>
std::pair<InputIt1, InputIt2>
    mismatch(InputIt1 first1, InputIt1 last1,
             InputIt2 first2, InputIt2 last2, BinaryPred p)
{
    while (first1 != last1 && first2 != last2 && p(*first1, *first2))
        ++first1, ++first2;
    return std::make_pair(first1, first2);
}

Exemple

Ce programme détermine la plus longue sous-chaîne qui se trouve simultanément au tout début de la chaîne donnée et à la toute fin de celle-ci, dans l'ordre inverse (avec un éventuel chevauchement).

#include <algorithm>
#include <iostream>
#include <string>
std::string mirror_ends(const std::string& in)
{
    return std::string(in.begin(),
                       std::mismatch(in.begin(), in.end(), in.rbegin()).first);
}
int main()
{
    std::cout << mirror_ends("abXYZba") << '\n'
              << mirror_ends("abca") << '\n'
              << mirror_ends("aba") << '\n';
}

Sortie :

ab
a
aba

Voir aussi

détermine si deux ensembles d'éléments sont identiques
(modèle de fonction)
trouve le premier élément satisfaisant des critères spécifiques
(modèle de fonction)
renvoie true si une plage est lexicographiquement inférieure à une autre
(modèle de fonction)
recherche la première occurrence d'une plage d'éléments
(modèle de fonction)
trouve la première position où deux plages diffèrent
(objet fonction algorithme)