Namespaces
Variants

std:: uninitialized_copy

From cppreference.net
C++
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
헤더 파일에 정의됨 <memory>
template < class InputIt, class NoThrowForwardIt >

NoThrowForwardIt uninitialized_copy ( InputIt first, InputIt last,

NoThrowForwardIt d_first ) ;
(1) (C++26부터 constexpr)
template < class ExecutionPolicy, class ForwardIt,

class NoThrowForwardIt >
NoThrowForwardIt uninitialized_copy ( ExecutionPolicy && policy,
ForwardIt first, ForwardIt last,

NoThrowForwardIt d_first ) ;
(2) (C++17부터)
1) 범위 [ first , last ) 에서 요소들을 d_first 로 시작하는 초기화되지 않은 메모리 영역으로 다음과 같이 복사합니다.

for ( ; first ! = last ; ++ d_first, ( void ) ++ first )
:: new ( voidify ( * d_first ) )
typename std:: iterator_traits < NoThrowForwardIt > :: value_type ( * first ) ;

예외가 초기화 과정 중에 발생하면, 이미 생성된 객체들은 지정되지 않은 순서로 파괴됩니다.
2) (1) 과 동일하지만, policy 에 따라 실행됩니다.
이 오버로드는 다음 모든 조건이 만족될 때만 오버로드 해결에 참여합니다:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> 가 true 인 경우.

(C++20 이전)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> 가 true 인 경우.

(C++20 이후)


만약 d_first + [ ​ 0 ​ , std:: distance ( first, last ) ) 가 [ first , last ) 와 겹치는 경우, 동작은 정의되지 않습니다.

(C++20부터)

목차

매개변수

first, last - 복사할 요소들의 범위 를 정의하는 반복자 쌍
d_first - 대상 범위의 시작 지점
policy - 사용할 실행 정책
타입 요구사항
-
InputIt 는 LegacyInputIterator 요구사항을 충족해야 함
-
ForwardIt 는 LegacyForwardIterator 요구사항을 충족해야 함
-
NoThrowForwardIt 는 LegacyForwardIterator 요구사항을 충족해야 함
-
NoThrowForwardIt 의 유효한 인스턴스를 통한 증가, 할당, 비교, 간접 참조 연산은 예외를 발생시키지 않아야 함 NoThrowForwardIt 값에 & * 를 적용하면 해당 값 타입의 포인터를 반환해야 함 (C++11 이전)

반환값

복사된 마지막 요소의 다음 요소를 가리키는 반복자.

복잡도

first 와 last 사이의 거리에 선형적으로 비례합니다.

예외

ExecutionPolicy 라는 템플릿 매개변수를 사용하는 오버로드는 다음과 같이 오류를 보고합니다:

  • 알고리즘의 일부로 호출된 함수 실행 중 예외가 발생하고 ExecutionPolicy 가 표준 정책 중 하나인 경우, std::terminate 가 호출됩니다. 다른 ExecutionPolicy 의 경우 동작은 구현에 따라 정의됩니다.
  • 알고리즘이 메모리 할당에 실패할 경우, std::bad_alloc 이 throw됩니다.

참고 사항

기능 테스트 매크로 값 표준 기능
__cpp_lib_raw_memory_algorithms 202411L (C++26) constexpr for 특수화된 메모리 알고리즘 , ( 1 )

가능한 구현 

template<class InputIt, class NoThrowForwardIt>
constexpr NoThrowForwardIt uninitialized_copy(InputIt first, InputIt last,
                                              NoThrowForwardIt d_first)
{
    using T = typename std::iterator_traits<NoThrowForwardIt>::value_type;
    NoThrowForwardIt current = d_first;
    try
    {
        for (; first != last; ++first, (void) ++current)
            ::new (static_cast<void*>(std::addressof(*current))) T(*first);
        return current;
    }
    catch (...)
    {
        for (; d_first != current; ++d_first)
            d_first->~T();
        throw;
    }
}

예제

이 코드 실행 
#include <cstdlib>
#include <iostream>
#include <memory>
#include <string>
int main()
{
    const char *v[] = {"This", "is", "an", "example"};
    auto sz = std::size(v);
    if (void *pbuf = std::aligned_alloc(alignof(std::string), sizeof(std::string) * sz))
    {
        try
        {
            auto first = static_cast<std::string*>(pbuf);
            auto last = std::uninitialized_copy(std::begin(v), std::end(v), first);
            for (auto it = first; it != last; ++it)
                std::cout << *it << '_';
            std::cout << '\n';
            std::destroy(first, last);
        }
        catch (...) {}
        std::free(pbuf);
    }
}

출력: 

This_is_an_example_

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

DR 적용 대상 게시된 동작 올바른 동작
LWG 866 C++98 NoThrowForwardIt 의 값 타입인 T 가 주어졌을 때,
T :: operator new 가 존재하면 프로그램이 비정형일 수 있음 		전역 replacement-
new를 대신 사용
LWG 2133 C++98 효과 설명에서 반복 표현식으로 for 루프를 사용했으며,
++ d_first, ++ first 는
operator, 의 인수 종속 lookup을 유발함 		한 피연산자의 값을
버려 해당 ADL을
비활성화
LWG 2433 C++11 이 알고리즘이 오버로드된 operator & 에 의해 가로채어질 수 있음 std::addressof 사용
LWG 3870 C++20 이 알고리즘이 const 저장소에 객체를 생성할 수 있음 허용되지 않음으로 유지

참고 항목

(C++11)
지정된 개수의 객체를 초기화되지 않은 메모리 영역에 복사합니다
(함수 템플릿)
(C++20)
객체 범위를 초기화되지 않은 메모리 영역에 복사합니다
(알고리즘 함수 객체)