Пространства имён
Варианты
Действия

std::max

Материал из cppreference.com
< cpp‎ | algorithm
 
 
Библиотека алгоритмов
Ограниченные алгоритмы и алгоритмы над диапазонами (C++20)
Ограниченные алгоритмы, например ranges::copy, ranges::sort, ...
Политики исполнения (C++17)
Немодифицирующие операции над последовательностями
(C++11)(C++11)(C++11)
(C++17)
Модифицирующие операции над последовательностями
Операции разбиения
Операции сортировки
(C++11)
Операции двоичного поиска
Операции с наборами (в отсортированных диапазонах)
Операции с кучей
(C++11)
Операций минимума/максимума
(C++11)
(C++17)

Операции перестановки
Числовые операции
Операции с неинициализированной памятью
(C++17)
(C++17)
(C++17)
Библиотека C
 
Определено в заголовочном файле <algorithm>
template< class T >
const T& max( const T& a, const T& b );
(1)
template< class T, class Compare >
const T& max( const T& a, const T& b, Compare comp );
(2)
template< class T >
T max( std::initializer_list<T> ilist);
(3) (начиная с C++11)
template< class T, class Compare >
T max( std::initializer_list<T> ilist, Compare comp );
(4) (начиная с C++11)

1-2) Возвращает большее из двух значений.

3-4) Возвращает наибольшее из значений в списке инициализации ilist.

Версии (1,3) используют operator< для сравнения значений, версии (2,4) используют переданную функцию сравнения comp.

Содержание

[править] Пара��етры

a, b значения для сравнения
ilist список значений для сравнения
comp объект функции сравнения (т.е. объект, удовлетворяющий требованиям Compare), который возвращает true, если a меньше b.

Определение сравнения должно быть эквивалентно:

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

Использование noexcept (начиная с C++11) желательно но не обязательно. Параметры не обязаны передаваться по const&, но не должны модифицироваться. Они должны быть способны принимать все значения типа (даже const) Type1 и Type2 независимо от категории значений (таким образом, Type1& не допускается, равно как и Type1, если только для Type1 перемещение не эквивалентно копированию (начиная с C++11)). Типы Type1 и Type2 должны быть таковы, что объект типа T может быть преобразован в оба из них.

Требования к типам
-
T должен соответствовать требованиям LessThanComparable. для перегрузки (1) и (3)
-
T должен соответствовать требованиям CopyConstructible. для перегрузки (3) и (4)

[править] Возвращаемое значение

1-2) Большее из a и b. Если они эквивалентны, возвращается a.

3-4) Наибольшее значение в ilist. Если несколько значений эквивалентны наибольшему, то возвращается самый левый.

[править] Сложность

1-2) Константная.

3-4) Линейная от ilist.size()

[править] Возможная реализация

Первый вариант
template<class T>
const T& max(const T& a, const T& b)
{
    return (a < b) ? b : a;
}
Второй вариант
template<class T, class Compare>
const T& max(const T& a, const T& b, Compare comp)
{
    return (comp(a, b)) ? b : a;
}
Третий вариант
template< class T >
T max( std::initializer_list<T> ilist)
{
    return *std::max_element(ilist.begin(), ilist.end());
}
Четвёртый вариант
template< class T, class Compare >
T max( std::initializer_list<T> ilist, Compare comp )
{
    return *std::max_element(ilist.begin(), ilist.end(), comp);
}

[править] Пример

#include <algorithm>
#include <iostream>
#include <string>
int main()
{
    std::cout << "большее из 1 и 9999: " << std::max(1, 9999) << '\n'
              << "большее из 'a', и 'b': " << std::max('a', 'b') << '\n'
              << "самое длинное из \"foo\", \"bar\", и \"hello\": " <<
                  std::max( { "foo", "bar", "hello" },
                            [](const std::string& s1, const std::string& s2) {
                                 return s1.size() < s2.size();
                             }) << '\n';
}

Вывод:

большее из 1 и 9999: 9999
большее из 'a', и 'b': b
самое длинное из "foo", "bar", и "hello": hello

[править] См. также

возвращает меньшее из заданных значений
(шаблон функции) [править]
(C++11)
возвращает меньший и больший из двух элементов
(шаблон функции) [править]
возвращает наибольший элемент в диапазоне
(шаблон функции) [править]