Namespaces
Variants

std::max

De fr.cppreference.net
 
 
Bibliothèque d'algorithmes
Algorithmes contraints et algorithmes sur les plages (C++20)
Algorithmes contraints, par ex. ranges::copy, ranges::sort, ...
Opérations de séquence non modifiantes    
Opérations par lots
(C++17)
Opérations de recherche
Opérations de séquence modifiantes
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 T >
const T& max( const T& a, const T& b );
(1) (constexpr depuis C++14)
template< class T, class Compare >
const T& max( const T& a, const T& b, Compare comp );
(2) (constexpr depuis C++14)
template< class T >
T max( std::initializer_list<T> ilist );
(3) (depuis C++11)
(constexpr depuis C++14)
template< class T, class Compare >
T max( std::initializer_list<T> ilist, Compare comp );
(4) (depuis C++11)
(constexpr depuis C++14)

Renvoie le plus grand des valeurs données.

1,2) Renvoie le plus grand de a et b.
1) Utilise operator< pour comparer les valeurs.
Si T n'est pas LessThanComparable, le comportement est indéfini.
2) Utilise la fonction de comparaison comp pour comparer les valeurs.
3,4) Renvoie la plus grande des valeurs dans la liste d'initialisation ilist.
Si ilist.size() est zéro, ou T n'est pas CopyConstructible, le comportement est indéfini.
3) Utilise operator< pour comparer les valeurs.
Si T n'est pas LessThanComparable, le comportement est indéfini.
4) Utilise la fonction de comparaison comp pour comparer les valeurs.

Paramètres

a, b - les valeurs à comparer
ilist - liste d'initialisation avec les valeurs à comparer
comp - objet fonction de comparaison (c.-à-d. un objet qui satisfait aux exigences de Compare) qui retourne true si a est inférieur à b.

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é, ni 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 T puisse être implicitement converti vers les deux.

Valeur de retour

1,2) Le plus grand de a et b. S'ils sont équivalents, retourne a.
3,4) La plus grande valeur dans ilist. Si plusieurs valeurs sont équivalentes à la plus grande, retourne la plus à gauche.

Complexité

1) Exactement une comparaison utilisant operator<.
2) Exactement une application de la fonction de comparaison comp.
3,4) Étant donné N comme ilist.size() :
3) Exactement N-1 comparaisons utilisant operator<.
4) Exactement N-1 applications de la fonction de comparaison comp.

Implémentation possible

max (1)
template<class T> 
const T& max(const T& a, const T& b)
{
    return (a < b) ? b : a;
}
max (2)
template<class T, class Compare> 
const T& max(const T& a, const T& b, Compare comp)
{
    return (comp(a, b)) ? b : a;
}
max (3)
template<class T>
T max(std::initializer_list<T> ilist)
{
    return *std::max_element(ilist.begin(), ilist.end());
}
max (4)
template<class T, class Compare>
T max(std::initializer_list<T> ilist, Compare comp)
{
    return *std::max_element(ilist.begin(), ilist.end(), comp);
}

Notes

Capturer le résultat de std::max par référence produit une référence pendante si l'un des paramètres est une temporaire et que ce paramètre est retourné :

int n = -1;
const int& r = std::max(n + 2, n * 2); // r is dangling

Exemple

#include <algorithm>
#include <iomanip>
#include <iostream>
#include <string_view>

int main()
{
    auto longest = [](const std::string_view s1, const std::string_view s2)
                   {
                       return s1.size() < s2.size();
                   };
    
    std::cout << "Larger of 69 and 96 is " << std::max(69, 96) << "\n"
                 "Larger of 'q' and 'p' is '" << std::max('q', 'p') << "'\n"
                 "Largest of 010, 10, 0X10, and 0B10 is "
              << std::max({010, 10, 0X10, 0B10}) << '\n'
              << R"(Longest of "long", "short", and "int" is )"
              << std::quoted(std::max({"long", "short", "int"}, longest)) << '\n';
}

Sortie :

Larger of 69 and 96 is 96
Larger of 'q' and 'p' is 'q'
Largest of 010, 10, 0X10, and 0B10 is 16
Longest of "long", "short", and "int" is "short"

Rapports de défauts

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

DR Appliqué à Comportement publié Comportement corrigé
LWG 281 C++98 TT devait être CopyConstructible pour les surcharges (1,2) non requis
LWG 2239 C++98
C++11
1. T devait être LessThanComparable pour
    les surcharges (2) (C++98) et (4) (C++11)
2. les exigences de complexité étaient manquantes
1. non requis
2. exigences ajoutées

Voir aussi

retourne la plus petite des valeurs données
(modèle de fonction & objet fonction d'algorithme)
(C++11)
retourne le plus petit et le plus grand de deux éléments
(modèle de fonction & objet fonction d'algorithme)
retourne le plus grand élément d'une plage
(modèle de fonction & objet fonction d'algorithme)
(C++17)
limite une valeur entre une paire de valeurs limites
(modèle de fonction & objet fonction d'algorithme)
retourne le plus grand des valeurs données
(objet fonction d'algorithme)