Namespaces
Variants

std::max_element

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

Сортировка и связанные операции
Операции разделения
(C++11)    

Операции сортировки
Операции двоичного поиска
(на разделенных диапазонах)
Операции с множествами (на отсортированных диапазонах)
Операции слияния (на отсортированных диапазонах)
Операции с кучей
Операции минимума/максимума
(C++11)
(C++17)
Операции лексикографического сравнения
Операции перестановок


Политики выполнения (C++17)
(только для пояснения*)(C++26)

Числовые операции
(C++11)
(C++17)
(C++17)    

Специализированные <memory> алгоритмы

Специализированные <random> алгоритмы
Библиотека C









 
Определены в заголовке <algorithm>
template< class ForwardIt >
ForwardIt max_element( ForwardIt first, ForwardIt last );
(1) (constexpr начиная с C++17)
template< class ExecutionPolicy, class ForwardIt >
ForwardIt max_element( ExecutionPolicy&& policy,
                       ForwardIt first, ForwardIt last );
(2) (начиная с C++17)
template< class ForwardIt, class Compare >
ForwardIt max_element( ForwardIt first, ForwardIt last,
                       Compare comp );
(3) (constexpr начиная с C++17)
template< class ExecutionPolicy, class ForwardIt, class Compare >
ForwardIt max_element( ExecutionPolicy&& policy,
                       ForwardIt first, ForwardIt last,
                       Compare comp );
(4) (начиная с C++17)

Находит наибольший элемент в диапазоне [first, last).

1) Элементы сравниваются с помощью operator<(до C++20)std::less{}(начиная с C++20).
3) Элементы сравниваются с помощью функции сравнения comp.
2,4) То же, что и (1,3), но выполняется в соответствии с policy.
Эти перегрузки участвуют в разрешении перегрузки, только если значение следующего выражения равно true:

std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

(до C++20)

std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

(начиная с C++20)

Параметры

first, last - пара итераторов, определяющая диапазон элементов для исследования
policy - политика выполнения для использования
comp - объект функции сравнения (т.е. объект, удовлетворяющий требованиям Compare), который возвращает true, если первый аргумент меньше второго.

Сигнатура функции сравнения должна быть эквивалентна следующей:

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

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

Требования к типам
-
ForwardIt должен удовлетворять требованиям LegacyForwardIterator.

Возвращаемое значение

Итератор на наибольший элемент в диапазоне [first, last). Если несколько элементов в диапазоне эквивалентны наибольшему, возвращается итератор на первый такой элемент. Возвращается last, если диапазон пуст.

Сложность

Пусть N равно std::distance(first, last):

1,2) Ровно max(N-1,0) сравнений с помощью operator<(до C++20)std::less{}(начиная с C++20).
3,4) Ровно max(N-1,0) применений функции сравнения comp.

Исключения

Перегрузки с параметром шаблона с именем ExecutionPolicy сообщают об ошибках следующим образом:

  • Если во время выполнения функции, вызванной в рамках алгоритма, выбрасывается исключение, и ExecutionPolicy является одной из стандартных политик, вызывается std::terminate. Для любой другой ExecutionPolicy поведение определяется реализацией.
  • Если алгоритму не удаётся выделить память, выбрасывается std::bad_alloc.

Возможная реализация

max_element (1)
template<class ForwardIt>
ForwardIt max_element(ForwardIt first, ForwardIt last)
{
    if (first == last)
        return last;
    
    ForwardIt largest = first;
    
    while (++first != last)
        if (*largest < *first)
            largest = first;
    
    return largest;
}
max_element (3)
template<class ForwardIt, class Compare>
ForwardIt max_element(ForwardIt first, ForwardIt last, Compare comp)
{
    if (first == last)
        return last;
    
    ForwardIt largest = first;
    
    while(++first != last)
        if (comp(*largest, *first))
            largest = first;
    
    return largest;
}

Пример

#include <algorithm>
#include <cmath>
#include <iostream>
#include <vector>

int main()
{
    std::vector<int> v{3, 1, -14, 1, 5, 9, -14, 9};
    std::vector<int>::iterator result;
    
    result = std::max_element(v.begin(), v.end());
    std::cout << "Max element found at index "
              << std::distance(v.begin(), result)
              << " has value " << *result << '\n';
    
    result = std::max_element(v.begin(), v.end(), [](int a, int b)
    {
        return std::abs(a) < std::abs(b);
    });
    std::cout << "Absolute max element found at index "
              << std::distance(v.begin(), result)
              << " has value " << *result << '\n';
}

Вывод:

Max element found at index 5 has value 9
Absolute max element found at index 2 has value -14

Отчёты о дефектах

Следующие отчёты о дефектах, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR Применено к Поведение в опубликованном виде Правильное поведение
LWG 212 C++98 возвращаемое значение не было указано, если [first, last) пуст в этом случае возвращается last
LWG 2150 C++98 возвращался итератор на первый не наименьший элемент исправлено возвращаемое значение

См. также

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