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 OutputIt,class Size,class Generator> OutputIt generate_n( OutputIt first, Size count, Generator g); | (1) | (constexpr since C++20) |
template<class ExecutionPolicy, class ForwardIt,class Size,class Generator> | (2) | (since C++17) |
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> istrue. | (until C++20) |
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> istrue. | (since C++20) |
IfSize
is notconvertible to anintegral type, the program is ill-formed.
Contents |
first | - | the beginning of the range of elements to generate | ||||||
count | - | number of the elements to generate | ||||||
policy | - | theexecution policy to use | ||||||
g | - | generator function object that will be called. The signature of the function should be equivalent to the following:
The typeRet must be such that an object of typeOutputIt can be dereferenced and assigned a value of typeRet. | ||||||
Type requirements | ||||||||
-OutputIt must meet the requirements ofLegacyOutputIterator. | ||||||||
-ForwardIt must meet the requirements ofLegacyForwardIterator. |
Iterator one past the last element assigned ifcount>0,first otherwise.
Exactlystd::max(0, count) invocations ofg() and assignments.
The overload with a template parameter namedExecutionPolicy
reports errors as follows:
ExecutionPolicy
is one of thestandard policies,std::terminate is called. For any otherExecutionPolicy
, the behavior is implementation-defined.template<class OutputIt,class Size,class Generator>constexpr// since C++20OutputIt generate_n(OutputIt first, Size count, Generator g){for(Size i=0; i< count;++i,++first)*first= g(); return first;} |
#include <algorithm>#include <functional>#include <iostream>#include <iterator>#include <random> int main(){std::mt19937 rng;// default constructed, seeded with fixed seed std::generate_n(std::ostream_iterator<std::mt19937::result_type>(std::cout," "),5,std::ref(rng));std::cout<<'\n';}
Output:
3499211612 581869302 3890346734 3586334585 545404204
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 426 | C++98 | the complexity requirement was “exactlycount invocations or assignments”, which is broken ifcount is negative | no invocation or assignment ifcount is non-positive |
LWG 865 | C++98 | the location of the first element following the generation range was not returned | returned |
copy-assigns the given value to N elements in a range (function template)[edit] | |
assigns the results of successive function calls to every element in a range (function template)[edit] | |
(C++20) | saves the result of N applications of a function (algorithm function object)[edit] |