std::min

定义在头文件 `<algorithm>` 中
template< class T > const T& min( const T& a, const T& b );	(1)	(从 C++14 开始为 constexpr)
template< class T, class Compare > const T& min( const T& a, const T& b, Compare comp );	(2)	(从 C++14 开始为 constexpr)
template< class T > T min( std::initializer_list<T> ilist );	(3)	(从 C++11 开始) (从 C++14 开始为 constexpr)
template< class T, class Compare > T min( std::initializer_list<T> ilist, Compare comp );	(4)	(从 C++11 开始) (从 C++14 开始为 constexpr)

返回给定值中较小的那个。

1,2) 返回 a 和 b 中较小的那个。

1) 使用 operator< 比较这些值。

如果 T 不是 LessThanComparable，则行为未定义。

2) 使用比较函数 comp 比较这些值。

3,4) 返回初始化列表 ilist 中最小的值。

如果 ilist.size() 为零，或者 T 不是 CopyConstructible，则行为未定义。

3) 使用 operator< 比较这些值。

如果 T 不是 LessThanComparable，则行为未定义。

4) 使用比较函数 comp 比较这些值。

[编辑] 参数

a, b - 要比较的值

ilist - 包含要比较的值的初始化列表

cmp

-

比较函数对象（即满足 Compare 要求的对象），如果 a 小于 b，则返回 true。

比较函数的签名应等效于以下内容

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

虽然签名不需要有 const&，但该函数不得修改传递给它的对象，并且必须能够接受类型（可能是 const）Type1 和 Type2 的所有值，无论其值类别如何（因此，Type1& 不允许，Type1 也不允许，除非对于 Type1 而言，移动等效于复制(从 C++11 开始)）。
类型 Type1 和 Type2 必须是能够将类型 T 的对象隐式转换为它们的类型。

[编辑] 返回值

1,2) a 和 b 中较小的那个。如果这些值相等，则返回 a。

3,4) ilist 中最小的值。如果多个值与最小值相等，则返回最左边的那个值。

[编辑] 复杂度

1) 使用 operator< 进行一次比较。

2) 比较函数 comp 仅执行一次。

3,4) 假设

N

为 ilist.size()

3) 使用 operator< 进行

N-1

次比较。

4) 比较函数 comp 恰好执行

N-1

次。

[编辑] 可能的实现

min (1)
template<class T> const T& min(const T& a, const T& b) { return (b < a) ? b : a; }
min (2)
template<class T, class Compare> const T& min(const T& a, const T& b, Compare comp) { return (comp(b, a)) ? b : a; }
min (3)
template<class T> T min(std::initializer_list<T> ilist) { return *std::min_element(ilist.begin(), ilist.end()); }
min (4)
template<class T, class Compare> T min(std::initializer_list<T> ilist, Compare comp) { return *std::min_element(ilist.begin(), ilist.end(), comp); }

[编辑] 注意

如果其中一个参数是临时对象并且该参数被返回，则通过引用捕获 std::min 的结果会产生悬垂引用。

int n = -1;
const int& r = std::min(n + 2, n * 2); // r is dangling

[编辑] 示例

运行此代码

#include <algorithm>
#include <iostream>
#include <string_view>
 
int main()
{
    std::cout << "smaller of 10 and 010 is " << std::min(10, 010) << '\n'
              << "smaller of 'd' and 'b' is '" << std::min('d', 'b') << "'\n"
              << "shortest of \"foo\", \"bar\", and \"hello\" is \""
              << std::min({"foo", "bar", "hello"},
                          [](const std::string_view s1, const std::string_view s2)
                          {
                              return s1.size() < s2.size();
                          }) << "\"\n";
}

输出

smaller of 10 and 010 is 8
smaller of 'd' and 'b' is 'b'
shortest of "foo", "bar", and "hello" is "foo"

[编辑] 缺陷报告

以下行为更改缺陷报告已追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 281	C++98	对于重载 (1,2)，`T` 必须是 CopyConstructible	不需要

[编辑] 参见

max	返回给定值中较大的值 (函数模板) [编辑]
minmax (C++11)	返回两个元素中的较小值和较大值 (函数模板) [编辑]
min_element	返回范围内最小的元素 (函数模板) [编辑]
clamp (C++17)	将一个值钳制在一对边界值之间 (函数模板) [编辑]
ranges::min (C++20)	返回给定值中较小的值 (niebloid)[编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
功能测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用程序库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作