std::min

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

返回给定值中较小的值。

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

1) 使用 operator< 比较值。

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

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

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

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

3) 使用 operator< 比较值。

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

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

虽然签名不需要具有 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) 精确进行

N-1

次使用 operator< 的比较。

4) 精确应用

N-1

次比较函数 comp。

[编辑] 可能的实现

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	不是必需的
LWG 2239	C++98 C++11	1. 对于重载 (2) (C++98) 和 (4) (C++11)，`T` 需要是 LessThanComparable 2. 缺少复杂度要求	1. 不是必需的 2. 添加了要求

[编辑] 参见

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

编译器支持
独立和宿主
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作