std::uninitialized_copy

Определено в заголовочном файле <memory>

Определено в заголовочном файле `<memory>`
template< class InputIt, class NoThrowForwardIt > NoThrowForwardIt uninitialized_copy( InputIt first, InputIt last, NoThrowForwardIt d_first );	(1)	(constexpr с C++26)
template< class ExecutionPolicy, class ForwardIt, class NoThrowForwardIt > NoThrowForwardIt uninitialized_copy( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, NoThrowForwardIt d_first );	(2)	(начиная с C++17)

template< class InputIt, class NoThrowForwardIt >
NoThrowForwardIt uninitialized_copy( InputIt first, InputIt last,
                                     NoThrowForwardIt d_first );

(1)

(constexpr с C++26)

template< class ExecutionPolicy, class ForwardIt,
          class NoThrowForwardIt >
NoThrowForwardIt uninitialized_copy( ExecutionPolicy&& policy,
                                     ForwardIt first, ForwardIt last,
                                     NoThrowForwardIt d_first );

(2)

(начиная с C++17)

1) Конструирует элементы в целевом диапазоне, начиная с d_first, из элементов исходного диапазона [first, last), как если бы выполнялось

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

Если во время инициализации выбрасывается исключение, уже сконструированные объекты уничтожаются в неустановленном порядке.

2) То же, что и (1), но выполняется в соответствии с policy.

Эта перегрузка участвует в разрешении перегрузки только в том случае, если значение следующего выражения равно true:

`std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>`	(до C++20)
`std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>`	(начиная с 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)

Возвращаемое значение

Как описано выше.

Исключения

2) Во время выполнения:

Если временные ресурсы памяти, необходимые для распараллеливания, недоступны, выбрасывается std::bad_alloc.
Если при доступе к объектам через аргумент алгоритма выбрасывается необработанное исключение, поведение определяется политикой выполнения (для стандартных политик вызывается std::terminate).

Примечания

Макрос проверки поддержки функциональности	Значение	Стандарт	Функциональность
`__cpp_lib_raw_memory_algorithms`	`202411L`	(C++26)	constexpr для специализированных алгоритмов `<memory>`, (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	если `T` задан как тип значения `NoThrowForwardIt`, при наличии T::operatornew программа могла быть некорректной	вместо этого используется глобальная функция замены new
LWG 2133	C++98	описание эффекта содержало цикл for с выражением итерации `++d_first, ++first`, что приводило к поиску operator, с учётом аргументов	отбрасывается значение одного из операндов, чтобы отключить этот ADL
LWG 2433	C++11	этот алгоритм мог быть перехвачен перегруженным operator&	используется `std::addressof`

См. также

uninitialized_copy_n (C++11)	копирует заданное число объектов в неинициализированную область памяти (шаблон функции и функциональный объект алгоритма)
ranges::uninitialized_copy_n (C++20)
ranges::uninitialized_copy (C++20)	копирует диапазон объектов в неинициализированную область памяти (функциональный объект алгоритма)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/memory/uninitialized_copy