std::uninitialized_copy

Определено в заголовке `<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)

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

for (; first != last; ++d_first, (void) ++first)
::new (voidify(*d_first))
typename std::iterator_traits<NoThrowForwardIt>::value_type(*first);
return d_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;
    }
}

**Примечание:** Весь код C++ внутри тегов `

` и `` оставлен без изменений, как и требовалось. HTML-теги и атрибуты также сохранены в оригинальном виде.

Пример

Запустить этот код

#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::operator new` существует, программа может быть некорректной	используется глобальный replacement- 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 (C++20)	копирует диапазон объектов в неинициализированную область памяти (функциональный объект алгоритма)

Поддержка компиляторов
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Именованные требования
Макросы тестирования возможностей (C++20)
Библиотека поддержки языка
Библиотека концепций (C++20)
Библиотека диагностики
Библиотека управления памятью
Библиотека метапрограммирования (C++11)
Библиотека общих утилит
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека строк
Библиотека обработки текста
Библиотека численных методов
Библиотека даты и времени
Библиотека ввода/вывода
Библиотека файловой системы (C++17)
Библиотека поддержки конкурентности (C++11)
Библиотека управления выполнением (C++26)
Технические спецификации
Указатель символов
Внешние библиотеки

ru.cppreference.net

Namespaces

Variants