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> | ||
(1) | ||
template<class OutputIt,class Size,class T> OutputIt fill_n( OutputIt first, Size count,const T& value); | (constexpr since C++20) (until C++26) | |
template<class OutputIt,class Size, class T=typenamestd::iterator_traits | (since C++26) | |
(2) | ||
template<class ExecutionPolicy, class ForwardIt,class Size,class T> | (since C++17) (until C++26) | |
template<class ExecutionPolicy, class ForwardIt,class Size, | (since C++26) | |
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) |
If any of the following conditions is satisfied, the program is ill-formed:
Size
is notconvertible to anintegral type.Contents |
first | - | the beginning of the range of elements to modify |
count | - | number of elements to modify |
value | - | the value to be assigned |
policy | - | theexecution policy to use |
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) 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.fill_n |
---|
template<class OutputIt,class Size,class T=typenamestd::iterator_traits<OutputIt>::value_type>OutputIt fill_n(OutputIt first, Size count,const T& value){for(Size i=0; i< count; i++)*first++= value;return first;} |
Feature-test macro | Value | Std | Feature |
---|---|---|---|
__cpp_lib_algorithm_default_value_type | 202403 | (C++26) | List-initialization for algorithms(1,2) |
#include <algorithm>#include <complex>#include <iostream>#include <iterator>#include <vector> int main(){std::vector<int> v1{0,1,2,3,4,5,6,7,8,9}; // replace values of the first 5 elements with -1 std::fill_n(v1.begin(),5,-1); std::copy_n(v1.cbegin(), v1.size(),std::ostream_iterator<int>(std::cout," "));std::cout<<'\n'; std::vector<std::complex<double>> nums{{1,3},{2,2},{4,8}};#ifdef __cpp_lib_algorithm_default_value_type std::fill_n(nums.begin(),2,{4,2});#else std::fill_n(nums.begin(),2,std::complex<double>{4,2});#endifstd::copy_n(nums.cbegin(), nums.size(),std::ostream_iterator<std::complex<double>>(std::cout," "));std::cout<<'\n';}
Output:
-1 -1 -1 -1 -1 5 6 7 8 9(4,2) (4,2) (4,8)
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 283 | C++98 | T was required to beCopyAssignable, butT is not always writable toOutputIt | required to be writable instead |
LWG 426 | C++98 | the complexity requirement was “exactlycount assignments”, which is broken ifcount is negative | no assignment if count is non-positive |
LWG 865 | C++98 | the location of the first element following the filling range was not returned | returned |
copy-assigns the given value to every element in a range (function template)[edit] | |
(C++20) | assigns a value to a number of elements (algorithm function object)[edit] |