std::min_element

Определён в заголовочном файле `<algorithm>`
template< class ForwardIt > ForwardIt min_element( ForwardIt first, ForwardIt last );	(1)	(constexpr начиная с C++17)
template< class ExecutionPolicy, class ForwardIt > ForwardIt min_element( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );	(2)	(начиная с C++17)
template< class ForwardIt, class Compare > ForwardIt min_element( ForwardIt first, ForwardIt last, Compare comp );	(3)	(constexpr начиная с 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<(до 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`, если первый аргумент меньше второго. Сигнатура функции сравнения должна быть эквивалентна следующей: boolcmp(constType1&a,constType2&b); Хотя сигнатура не обязана иметь `const&`, функция не должна изменять переданные ей объекты и должна принимать любые значения типа (возможно, const) `Type1` и `Type2` независимо от категории значения (таким образом, `Type1&` не допускается, как и `Type1`, если только для `Type1` перемещение не эквивалентно копированию(начиная с C++11)). Типы Type1 и Type2 должны быть такими, чтобы объект типа ForwardIt можно было разыменовать и затем неявно преобразовать к обоим этим типам.
Требования к типам
-`ForwardIt` должен удовлетворять требованиям LegacyForwardIterator.

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

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

Сложность

Пусть \(\scriptsize N\)N — std::distance(first, last):

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

3,4) Ровно \(\scriptsize \max(N-1,0)\)max(N-1,0) вызовов функции сравнения comp.

Исключения

Перегрузки с параметром шаблона с именем 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; while (++first != last) 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; while (++first != last) 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;
    
    while (++first != last)
        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;
    
    while (++first != last)
        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`
LWG 2150	C++98	возвращался итератор на первый элемент, не являющийся наибольшим	возвращаемое значение исправлено

См. также

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

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