std::ranges::uninitialized_value_construct_n
cppreference.net에서
| 헤더 <memory>
|
||
| 에 정의됨 |
||
template< /*nothrow-forward-iterator*/ I >
requires std::default_initializable<std::iter_value_t<I>>
I uninitialized_value_construct_n( I first,
std::iter_difference_t<I> count );
|
호출 시그니처 | (1) (C++20부터) |
template< /*execution-policy*/ Ep, /*nothrow-random-access-iterator*/ I >
requires std::default_initializable<std::iter_value_t<I>>
I uninitialized_value_construct_n( Ep&& policy, I first,
std::iter_difference_t<I> count );
|
(C++26부터 constexpr) | (2) |
(C++26부터)/*execution-policy*/의 정의는 이 페이지를 참조하고, 다른 설명 전용 콘셉트의 정의는 이 페이지를 참조하십시오.
1) 다음과 같이
first + [0, count) 대상 범위의 요소들을 값 초기화를 통해 생성합니다.
return ranges::uninitialized_value_construct(std::counted_iterator(first, count),
std::default_sentinel).base();
초기화 중 예외가 발생하면 이미 생성된 객체들은 지정되지 않은 순서로 소멸됩니다.
2)(1)과 동일하지만,
policy에 따라 실행됩니다.이 페이지에 설명된 함수형 엔티티들은 알고리즘 함수 객체 (비공식적으로 니블로이드로 알려짐) 입니다. 즉:
- 이들 중 어느 것을 호출할 때도 명시적 템플릿 인자 목록을 지정할 수 없습니다.
- 그들 중 어느 것도 인자 종속 조회에 보이지 않습니다.
- 함수 호출 연산자 왼쪽의 이름으로 일반적인 비한정 조회에 의해 이들 중 하나가 발견되면, 인자 종속 조회가 억제됩니다.
매개변수
| first | - | 초기화할 요소 범위의 시작 |
| count | - | 생성할 요소의 개수 |
| policy | - | 사용할 실행 정책 |
반환값
위에서 설명한 대로입니다.
예외
대상 범위에 요소를 생성하는 도중 던져진 모든 예외.
2) 실행 과정 중:
- 병렬화에 필요한 임시 메모리 자원을 사용할 수 없는 경우, std::bad_alloc이 던져집니다.
- 알고리즘 인수를 통해 객체에 접근하는 동안 처리되지 않은 예외가 던져지면, 동작 방식은 실행 정책에 따라 결정됩니다 (표준 정책의 경우, std::terminate가 호출됩니다).
참고
구현은 범위의 값 유형이 ranges::uninitialized_value_construct_n (예: ranges::fill_n 사용)인 경우 CopyAssignable TrivialType의 효율성을 향상시킬 수 있습니다.
| 기능 테스트 매크로 | 값 | 표준 | 기능 |
|---|---|---|---|
__cpp_lib_parallel_algorithm |
202506L |
(C++26) | 병렬 범위 알고리즘 |
__cpp_lib_raw_memory_algorithms |
202411L |
(C++26) | constexpr 특수화된 알고리즘<memory>용 , (1)
|
가능한 구현
struct uninitialized_value_construct_n_fn
{
template</*nothrow-forward-iterator*/ I>
requires std::default_initializable<std::iter_value_t<I>>
constexpr I operator()(I first, std::iter_difference_t<I> count) const
{
auto iter = std::counted_iterator(first, count);
return ranges::uninitialized_value_construct(iter, std::default_sentinel).base();
}
};
inline constexpr uninitialized_value_construct_n_fn uninitialized_value_construct_n{};
|
예제
이 코드 실행
#include <iostream> #include <memory> #include <string> int main() { struct S { std::string m{"█▓▒░ █▓▒░ █▓▒░ "}; }; constexpr int n{4}; alignas(alignof(S)) char out[n * sizeof(S)]; try { auto first{reinterpret_cast<S*>(out)}; auto last = std::ranges::uninitialized_value_construct_n(first, n); auto count{1}; for (auto it{first}; it != last; ++it) std::cout << count++ << ' ' << it->m << '\n'; std::ranges::destroy(first, last); } catch (...) { std::cout << "Exception!\n"; } // 스칼라 타입의 경우, uninitialized_value_construct_n은 // 주어진 초기화되지 않은 메모리 영역을 0으로 초기화합니다. int v[]{1, 2, 3, 4, 5, 6, 7, 8}; std::cout << ' '; for (const int i : v) std::cout << i << ' '; std::cout << "\n "; std::ranges::uninitialized_value_construct_n(std::begin(v), std::size(v)); for (const int i : v) std::cout << i << ' '; std::cout << '\n'; }
출력:
1 █▓▒░ █▓▒░ █▓▒░ 2 █▓▒░ █▓▒░ █▓▒░ 3 █▓▒░ █▓▒░ █▓▒░ 4 █▓▒░ █▓▒░ █▓▒░ 1 2 3 4 5 6 7 8 0 0 0 0 0 0 0 0
참고 항목
| 범위로 정의된 초기화되지 않은 메모리 영역에 객체를 값 초기화로 생성합니다. (알고리즘 함수 객체) | |
| 범위로 정의된 초기화되지 않은 메모리 영역에 객체를 기본 초기화로 생성합니다. (알고리즘 함수 객체) | |
| 시작 위치와 개수로 정의된 초기화되지 않은 메모리 영역에 객체를 기본 초기화로 생성합니다. (알고리즘 함수 객체) | |
| 시작 위치와 개수로 정의된 초기화되지 않은 메모리 영역에 객체를 값 초기화로 생성합니다. (함수 템플릿) |