std::ranges:: min

From cppreference.net

Определено в заголовочном файле `<algorithm>`
Сигнатура вызова
template < class T, class Proj = std:: identity , std:: indirect_strict_weak_order < std :: projected < const T * , Proj >> Comp = ranges:: less > constexpr const T & min ( const T & a, const T & b, Comp comp = { } , Proj proj = { } ) ;	(1)	(начиная с C++20)
template < std:: copyable T, class Proj = std:: identity , std:: indirect_strict_weak_order < std :: projected < const T * , Proj >> Comp = ranges:: less > constexpr T min ( std:: initializer_list < T > r, Comp comp = { } , Proj proj = { } ) ;	(2)	(начиная с C++20)
template < ranges:: input_range R, class Proj = std:: identity , std:: indirect_strict_weak_order < std :: projected < ranges:: iterator_t < R > , Proj >> Comp = ranges:: less > requires std:: indirectly_copyable_storable < ranges:: iterator_t < R > , ranges:: range_value_t < R > * > constexpr ranges:: range_value_t < R > min ( R && r, Comp comp = { } , Proj proj = { } ) ;	(3)	(начиная с C++20)

Возвращает меньший из заданных проецируемых элементов.

1) Возвращает меньшее из a и b .

2) Возвращает первый наименьший элемент в списке инициализации r .

3) Возвращает первое наименьшее значение в диапазоне r .

Функциональные сущности, описанные на этой странице, являются algorithm function objects (неформально известными как niebloids ), то есть:

Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
Ни один из них не видим для поиска, зависимого от аргументов .
Когда любой из них найден обычным неподготовленным поиском как имя слева от оператора вызова функции, поиск, зависимый от аргументов , блокируется.

Содержание

Параметры

a, b	-	значения для сравнения
r	-	диапазон значений для сравнения
comp	-	применяемое сравнение для проецируемых элементов
proj	-	проекция, применяемая к элементам

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

1) Меньший из a и b в соответствии с проекцией. Если они эквивалентны, возвращает a .

2,3) Наименьший элемент в r , согласно проекции. Если несколько значений эквивалентны наименьшему, возвращает крайний левый. Если диапазон пуст (определяется с помощью ranges:: distance ( r ) ), поведение не определено.

Сложность

1) Ровно одно сравнение.

2,3) Ровно ranges:: distance ( r ) - 1 сравнений.

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

struct min_fn
{
    template<class T, class Proj = std::identity,
             std::indirect_strict_weak_order<
                 std::projected<const T*, Proj>> Comp = ranges::less>
    constexpr
    const T& operator()(const T& a, const T& b, Comp comp = {}, Proj proj = {}) const
    {
        return std::invoke(comp, std::invoke(proj, b), std::invoke(proj, a)) ? b : a;
    }
    template<std::copyable T, class Proj = std::identity,
             std::indirect_strict_weak_order<
                 std::projected<const T*, Proj>> Comp = ranges::less>
    constexpr
    T operator()(std::initializer_list<T> r, Comp comp = {}, Proj proj = {}) const
    {
        return *ranges::min_element(r, std::ref(comp), std::ref(proj));
    }
    template<ranges::input_range R, class Proj = std::identity,
             std::indirect_strict_weak_order<
                  std::projected<ranges::iterator_t<R>, Proj>> Comp = ranges::less>
    requires std::indirectly_copyable_storable<ranges::iterator_t<R>,
                                               ranges::range_value_t<R>*>
    constexpr
    ranges::range_value_t<R> operator()(R&& r, Comp comp = {}, Proj proj = {}) const
    {
        using V = ranges::range_value_t<R>;
        if constexpr (ranges::forward_range<R>)
            return
                static_cast<V>(*ranges::min_element(r, std::ref(comp), std::ref(proj)));
        else
        {
            auto i = ranges::begin(r);
            auto s = ranges::end(r);
            V m(*i);
            while (++i != s)
                if (std::invoke(comp, std::invoke(proj, *i), std::invoke(proj, m)))
                    m = *i;
            return m;
        }
    }
};
inline constexpr min_fn min;

Примечания

Захват результата функции std::ranges::min по ссылке приводит к появлению висячей ссылки, если один из параметров является временным объектом и именно этот параметр возвращается:

int n = -1;
const int& r = std::ranges::min(n + 2, n * 2); // r является висячей ссылкой

Пример

Запустить этот код

#include <algorithm>
#include <iostream>
#include <string>
int main()
{
    namespace ranges = std::ranges;
    using namespace std::string_view_literals;
    std::cout << "smaller of 1 and 9999: " << ranges::min(1, 9999) << '\n'
              << "smaller of 'a', and 'b': '" << ranges::min('a', 'b') << "'\n"
              << "shortest of \"foo\", \"bar\", and \"hello\": \""
              << ranges::min({"foo"sv, "bar"sv, "hello"sv}, {},
                             &std::string_view::size) << "\"\n";
}

Вывод:

smaller of 1 and 9999: 1
smaller of 'a', and 'b': 'a'
shortest of "foo", "bar", and "hello": "foo"

Смотрите также

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

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

cppreference.net

Namespaces

Variants