Namespaces
Variants

std::prev_permutation

De fr.cppreference.net
 
 
Bibliothèque d'algorithmes
Algorithmes contraints et algorithmes sur les plages (C++20)
Algorithmes contraints, p. ex. ranges::copy, ranges::sort, ...
Opérations de séquence non modificatrices    
Opérations par lots
(C++17)
Opérations de recherche
Opérations de séquence modificatrices
Opérations de copie
(C++11)
(C++11)
Opérations d'échange
Opérations de transformation
Opérations de génération
Opérations de suppression
Opérations de changement d'ordre
(jusqu'à C++17)(C++11)
(C++20)(C++20)
Opérations d'échantillonnage
(C++17)

Tri et opérations connexes
Opérations de partitionnement
(C++11)    

Opérations de tri
Opérations de recherche binaire
(sur des plages partitionnées)
Opérations d'ensemble (sur des plages triées)
Opérations de fusion (sur des plages triées)
Opérations de tas
Opérations de minimum/maximum
(C++11)
(C++17)
Opérations de comparaison lexicographique
Opérations de permutation


 
Défini dans l'en-tête <algorithm>
template< class BidirIt >
bool prev_permutation( BidirIt first, BidirIt last );
(1) (constexpr depuis C++20)
template< class BidirIt, class Compare >
bool prev_permutation( BidirIt first, BidirIt last, Compare comp );
(2) (constexpr depuis C++20)

Transforme la plage [firstlast) en la permutation précédente. Renvoie true si une telle permutation existe, sinon transforme la plage en la dernière permutation (un ordre décroissant) et renvoie false.

1) L'ensemble de toutes les permutations est ordonné lexicographiquement par rapport à operator<(jusqu'à C++20)std::less{}(depuis C++20).
2) L'ensemble de toutes les permutations est ordonné lexicographiquement par rapport à comp.

Si le type de *first n'est pas Swappable(jusqu'à C++11)BidirIt n'est pas ValueSwappable(depuis C++11), le comportement est indéfini.

Paramètres

first, last - la paire d'itérateurs définissant la plage d'éléments à permuter
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 à la suivante :

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 quelle que soit la catégorie de valeur (ainsi, Type1& n'est pas autorisé, non 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 qu'un objet de type BidirIt puisse être déréférencé puis implicitement converti en chacun d'eux.

Exigences de type
-
BidirIt doit satisfaire aux exigences de ValueSwappable et LegacyBidirectionalIterator.

Valeur de retour

true si la nouvelle permutation précède l'ancienne dans l'ordre lexicographique. false si la première permutation a été atteinte et que la plage a été réinitialisée à la dernière permutation.

Exceptions

Toute exception levée par les opérations d'itérateur ou l'échange d'éléments.

Complexité

Étant donné N comme std::distance(first, last) :

1,2) Au maximum
N
2
échanges.

Implémentation possible

template<class BidirIt>
bool prev_permutation(BidirIt first, BidirIt last)
{
    if (first == last)
        return false;
    BidirIt i = last;
    if (first == --i)
        return false;
    
    while (1)
    {
        BidirIt i1, i2;
        
        i1 = i;
        if (*i1 < *--i)
        {
            i2 = last;
            while (!(*--i2 < *i))
                ;
            std::iter_swap(i, i2);
            std::reverse(i1, last);
            return true;
        }
        
        if (i == first)
        {
            std::reverse(first, last);
            return false;
        }
    }
}

Notes

En moyenne sur toute la séquence des permutations, les implémentations typiques utilisent environ 3 comparaisons et 1,5 échange par appel.

Les implémentations (p. ex. MSVC STL) peuvent activer la vectorisation lorsque le type d'itérateur satisfait LegacyContiguousIterator et que l'échange de son type de valeur n'appelle ni une fonction membre spéciale non triviale ni un swap ADL-trouvé swap.

Exemple

Le code suivant affiche les six permutations de la chaîne "cab" dans l'ordre inverse.

#include <algorithm>
#include <iostream>
#include <string>

int main()
{
    std::string s = "cab";
    
    do
    {
        std::cout << s << ' ';
    }
    while (std::prev_permutation(s.begin(), s.end()));
    
    std::cout << s << '\n';
}

Sortie :

cab bca bac acb abc cba

Voir aussi

détermine si une séquence est une permutation d'une autre séquence
(modèle de fonction & objet-fonction d'algorithme)
génère la permutation lexicographique suivante plus grande d'une plage d'éléments
(modèle de fonction & objet-fonction d'algorithme)
génère la permutation lexicographique précédente plus petite d'une plage d'éléments
(objet-fonction d'algorithme)