std::uninitialized_value_construct() algorithm
- since C++17
// (1)
template< class ForwardIt >
void uninitialized_value_construct( ForwardIt first, ForwardIt last );
// (2)
template< class ExecutionPolicy, class ForwardIt >
void uninitialized_value_construct( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );
-
(1) Constructs objects of type typename
iterator_traits<ForwardIt>::value_type
in the uninitialized storage designated by the range [first
;last
) byvalue-initialization
, as if by:for (; first != last; ++first)
::new (static_cast<void*>(std::addressof(*first)))
typename std::iterator_traits<ForwardIt>::value_type();cautionIf an exception is thrown during the initialization, the objects already constructed are destroyed in an unspecified order.
-
(2) Same as (1), but executed according to
policy
.
These overloads participate in overload resolution only if
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>
(until C++20) std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>
(since C++20) is true
.
Parameters
first last | The range of elements to initialize. |
policy | The execution policy to use. See execution policy for details. |
Type requirements
ForwardIt | LegacyForwardIterator |
No increment, assignment, comparison, or indirection through valid instances of NoThrowForwardIt
may throw exceptions.
Return value
(none)
Complexity
Linear in the distance between first
and last
.
Exceptions
The overloads with a template parameter named ExecutionPolicy
report errors as follows:
- If execution of a function invoked as part of the algorithm throws an exception and
ExecutionPolicy
is one of the standard policies,std::terminate
is called. For none otherExecutionPolicy
, the behavior is implementation-defined. - If the algorithm fails to allocate memory,
std::bad_alloc
is thrown.
Possible implementation
uninitialized_value_construct(1)
template<class ForwardIt>
void uninitialized_value_construct(ForwardIt first, ForwardIt last)
{
using Value = typename std::iterator_traits<ForwardIt>::value_type;
ForwardIt current = first;
try
{
for (; current != last; ++current)
::new (const_cast<void*>(static_cast<const volatile void*>(
std::addressof(*current)))) Value();
}
catch (...)
{
std::destroy(first, current);
throw;
}
}
Examples
#include <iostream>
#include <memory>
#include <string>
int main()
{
struct S { std::string m{"Default value"}; };
constexpr int n{3};
alignas(alignof(S)) unsigned char mem[n * sizeof(S)];
g
try
{
auto first{reinterpret_cast<S*>(mem)};
auto last{first + n};
g
std::uninitialized_value_construct(first, last);
g
for (auto it{first}; it != last; ++it)
std::cout << it->m << '\n';
g
std::destroy(first, last);
}
catch (...)
{
std::cout << "Exception!\n";
}
g
// Notice that for "trivial types" the uninitialized_value_construct
// zero-fills the given uninitialized memory area.
int v[]{1, 2, 3, 4};
for (const int i : v)
std::cout << i << ' ';
std::cout << '\n';
std::uninitialized_value_construct(std::begin(v), std::end(v));
for (const int i : v)
std::cout << i << ' ';
std::cout << '\n';
}
Default value
Default value
Default value
1 2 3 4
0 0 0 0
Hover to see the original license.