| Constrained algorithms and algorithms on ranges(C++20) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Constrained algorithms, e.g.ranges::copy,ranges::sort, ... | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Execution policies(C++17) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Numeric operations | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Operations on uninitialized memory | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Defined in header <algorithm> | ||
template<class T> std::pair<const T&,const T&> minmax(const T& a,const T& b); | (1) | (since C++11) (constexpr since C++14) |
template<class T,class Compare> std::pair<const T&,const T&> minmax(const T& a,const T& b, | (2) | (since C++11) (constexpr since C++14) |
template<class T> std::pair<T, T> minmax(std::initializer_list<T> ilist); | (3) | (since C++11) (constexpr since C++14) |
template<class T,class Compare> std::pair<T, T> minmax(std::initializer_list<T> ilist, | (4) | (since C++11) (constexpr since C++14) |
Returns the lowest and the greatest of the given values.
T is notLessThanComparable, the behavior is undefined.T is notLessThanComparable, the behavior is undefined.Contents |
| a, b | - | the values to compare |
| ilist | - | initializer list with the values to compare |
| comp | - | comparison function object (i.e. an object that satisfies the requirements ofCompare) which returnstrue if the first argument isless than the second. 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 haveconst&, the function must not modify the objects passed to it and must be able to accept all values of type (possibly const) |
| 3N |
| 2 |
| 3N |
| 2 |
| minmax (1) |
|---|
| minmax (2) |
| minmax (3) |
template<class T>constexprstd::pair<T, T> minmax(std::initializer_list<T> ilist){auto p=std::minmax_element(ilist.begin(), ilist.end());returnstd::pair(*p.first,*p.second);} |
| minmax (4) |
template<class T,class Compare>constexprstd::pair<T, T> minmax(std::initializer_list<T> ilist, Compare comp){auto p=std::minmax_element(ilist.begin(), ilist.end(), comp);returnstd::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 tominmax:
int n=1;auto p= std::minmax(n, n+1);int m= p.first;// okint x= p.second;// undefined behavior // Note that structured bindings have the same issueauto[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 beLessThanComparable for overloads(2,4) | not required |
| returns the smaller of the given values (function template)[edit] | |
| returns the greater of the given values (function template)[edit] | |
(C++11) | returns the smallest and the largest elements in a range (function template)[edit] |
(C++20) | returns the smaller and larger of two elements (algorithm function object)[edit] |
