std::minmax
(on partitioned ranges)
<algorithm>
std::pair <const T&, const T&> minmax( const T& a, const T& b,
std::pair <T, T> minmax( std::initializer_list <T> ilist,
Returns the lowest and the greatest of the given values.
T
is not LessThanComparable, the behavior is undefined.T
is not LessThanComparable, the behavior is undefined.The signature of the comparison function should be equivalent to the following:
bool cmp(const Type1& a, const Type2& b);
While the signature does not need to have const&, the function must not modify the objects passed to it and must be able to accept all values of type (possibly const) Type1
and Type2
regardless of value category (thus, Type1& is not allowed, nor is Type1 unless for Type1
a move is equivalent to a copy(since C++11)).
The types Type1 and Type2 must be such that an object of type T can be implicitly converted to both of them.
minmax (1) |
---|
minmax (2) |
minmax (3) |
template<class T> constexpr std::pair <T, T> minmax(std::initializer_list <T> ilist) { auto p = std::minmax_element (ilist.begin(), ilist.end()); return std::pair (*p.first, *p.second); } |
minmax (4) |
template<class T, class Compare> constexpr std::pair <T, T> minmax(std::initializer_list <T> ilist, Compare comp) { auto p = std::minmax_element (ilist.begin(), ilist.end(), comp); return std::pair (*p.first, *p.second); } |
For overloads (1,2), if one of the parameters is a temporary, the reference returned becomes a dangling reference at the end of the full expression that contains the call to minmax
:
int n = 1; auto p = std::minmax(n, n + 1); int m = p.first; // ok int x = p.second; // undefined behavior // Note that structured bindings have the same issue auto [mm, xx] = std::minmax(n, n + 1); xx; // undefined behavior
#include <algorithm> #include <cstdlib> #include <ctime> #include <iostream> #include <vector> int main() { std::vector <int> v{3, 1, 4, 1, 5, 9, 2, 6}; std::srand (std::time (0)); std::pair <int, int> bounds = std::minmax(std::rand () % v.size(), std::rand () % v.size()); std::cout << "v[" << bounds.first << "," << bounds.second << "]: "; for (int i = bounds.first; i < bounds.second; ++i) std::cout << v[i] << ' '; std::cout << '\n'; }
Possible output:
v[2,7]: 4 1 5 9 2
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 2239 | C++11 | T was required to be LessThanComparable for overloads (2,4)
|
not required |