std::min_element

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

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

1) Элементы сравниваются с помощью operator<.

3) Элементы сравниваются с помощью заданной двоичной функции сравнения comp.

2,4) То же, что и (1,3), но выполняется согласно policy. Эти перегрузки не участвуют в разрешении перегрузки, если

`std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>` является `true`.	(до C++20)
`std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>` является `true`.	(с C++20)

Параметры

first, last	-	итераторы, определяющие диапазон для проверки
policy	-	политика выполнения. Подробности см. в политике выполнения.
comp	-	объект функции сравнения (т.е. объект, удовлетворяющий требованиям Compare), возвращающий `true` если `a` меньше `b`. Подпись функции сравнения должна быть эквивалентна следующей: `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 если диапазон пуст.

Сложность

Точно max(N-1,0) сравнений, где N = std::distance(first, last).

Исключения

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

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

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

min_element (1)
template<class ForwardIt> ForwardIt min_element(ForwardIt first, ForwardIt last) { if (first == last) return last; ForwardIt smallest = first; ++first; for (; first != last; ++first) if (first < smallest) smallest = first; return smallest; }
min_element (3)
template<class ForwardIt, class Compare> ForwardIt min_element(ForwardIt first, ForwardIt last, Compare comp) { if (first == last) return last; ForwardIt smallest = first; ++first; for (; first != last; ++first) if (comp(first, smallest)) smallest = first; return smallest; }

min_element (1)

template<class ForwardIt>
ForwardIt min_element(ForwardIt first, ForwardIt last)
{
    if (first == last)
        return last;
 
    ForwardIt smallest = first;
    ++first;
 
    for (; first != last; ++first)
        if (*first < *smallest)
            smallest = first;
 
    return smallest;
}

min_element (3)

template<class ForwardIt, class Compare>
ForwardIt min_element(ForwardIt first, ForwardIt last, Compare comp)
{
    if (first == last)
        return last;
 
    ForwardIt smallest = first;
    ++first;
 
    for (; first != last; ++first)
        if (comp(*first, *smallest))
            smallest = first;
 
    return smallest;
}

Пример

#include <algorithm>
#include <iostream>
#include <vector>
 
int main()
{
    std::vector<int> v {3, 1, -4, 1, 5, 9};
 
    std::vector<int>::iterator result = std::min_element(v.begin(), v.end());
    std::cout << "min element has value " << *result << " and index ["
              << std::distance(v.begin(), result) << "]\n";
}

Вывод:

min element has value -4 and index [2]

Отчеты об ошибках

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

DR	Применен к	Поведение, как опубликовано	Корректное поведение
LWG 212	C++98	значение возврата не было указано, если `first == last`	возвращает `last` в этом случае

См. также

max_element	возвращает наибольший элемент в диапазоне (шаблон функции)
minmax_element (C++11)	возвращает наименьшие и наибольшие элементы в диапазоне (шаблон функции)
min	возвращает меньшее из заданных значений (шаблон функции)
ranges::min_element (C++20)	возвращает наименьший элемент в диапазоне (niebloid)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/algorithm/min_element