memory_uninitialized_default_construct_n
memory_uninitialized_default_construct_n (std::uninitialized_default_construct_n)
<memory> 헤더에 정의되어 있어요. first에서 시작하는 대상 범위 first + [0, count)의 요소를 기본 초기화(default-initialization)로 구성해요. C++17부터 도입됐어요.
출처: cppreference
본문
template< class NoThrowForwardIt, class Size >
NoThrowForwardIt uninitialized_default_construct_n ( NoThrowForwardIt first, Size count ); // (1) since C++17, constexpr since C++26
template< class ExecutionPolicy, class NoThrowForwardIt, class Size >
NoThrowForwardIt uninitialized_default_construct_n ( ExecutionPolicy&& policy, NoThrowForwardIt first, Size count ); // (2) since C++17
- (1) 대상 범위
first + [0, count)의count개 요소를 기본 초기화로 다음과 같이 구성해요.
for (; count > 0; (void)++first, --count)
::new (voidify(*first))
typename std::iterator_traits<NoThrowForwardIt>::value_type;
return first;
초기화 중 예외가 발생하면 이미 구성된 객체들이 미지정 순서로 파괴돼요.
- (2) (1)과 같지만
policy에 따라 실행돼요. (C++17)
매개변수
first: 초기화할 요소 범위의 시작count: 구성할 요소 수policy: 사용할 실행 정책
반환값
마지막으로 구성한 요소 다음의 반복자.
예제
#include <cstring>
#include <iostream>
#include <memory>
#include <string>
struct S { std::string m{"default value"}; };
int main()
{
constexpr int n{3};
alignas(alignof(S)) unsigned char mem[n * sizeof(S)];
try
{
auto first{reinterpret_cast<S*>(mem)};
auto last = std::uninitialized_default_construct_n(first, n);
for (auto it{first}; it != last; ++it)
std::cout << it->m << '\n';
std::destroy(first, last);
}
catch(...) { std::cout << "Exception!\n"; }
}
가능한 출력:
default value
default value
default value