std::max — cppreference.com

Материал из cppreference.com

Определено в заголовочном файле `<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

См. также

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

Категории: