Namespaces
Variants

std::ranges:: min

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Constrained algorithms
All names in this menu belong to namespace std::ranges
Non-modifying sequence operations
Modifying sequence operations
Partitioning operations
Sorting operations
Binary search operations (on sorted ranges)
Set operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Permutation operations
Fold operations
Operations on uninitialized storage
Return types
定义于头文件 <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 中的第一个最小值。

本页面描述的函数式实体是 算法函数对象 (非正式称为 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 << "1 和 9999 中较小者: " << ranges::min(1, 9999) << '\n'
              << "'a' 和 'b' 中较小者: '" << ranges::min('a', 'b') << "'\n"
              << "\"foo\", \"bar\"\"hello\" 中最短者: \""
              << ranges::min({"foo"sv, "bar"sv, "hello"sv}, {},
                             &std::string_view::size) << "\"\n";
}

输出:

1 和 9999 中较小者: 1
'a' 和 'b' 中较小者: 'a'
"foo", "bar" 和 "hello" 中最短者: "foo"

参见

返回给定值中的较大者
(算法函数对象)
返回两个元素中的较小者和较大者
(算法函数对象)
返回范围内的最小元素
(算法函数对象)
将值限制在一对边界值之间
(算法函数对象)
返回给定值中的较小者
(函数模板)