std::uninitialized_move — cppreference.com

Материал из cppreference.com

Определено в заголовочном файле `<memory>`
`template< class InputIt, class NoThrowForwardIt > NoThrowForwardIt uninitialized_move( InputIt first, InputIt last, NoThrowForwardIt d_first );`	(1)	(начиная с C++17)
`template< class ExecutionPolicy, class ForwardIt, class NoThrowForwardIt > NoThrowForwardIt uninitialized_move( 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 (static_cast<void*>(std::addressof(*d_first)))
typename std::iterator_traits<NoThrowForwardIt>::value_type(std::move(*first));

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

Если d_first + [0, std::distance(first, last)) пересекается с [first, last), поведение не определено.

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

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)

Параметры

first, last	—	диапазон элементов для перемещения
d_first	—	начало диапазона назначения
policy	—	используемая политика выполнения. Подробнее смотрите политика выполнения.
Требования к типам
-`InputIt` должен соответствовать требованиям LegacyInputIterator.
-`ForwardIt` должен соответствовать требованиям LegacyForwardIterator.
-`NoThrowForwardIt` должен соответствовать требованиям LegacyForwardIterator.
-Никакое инкрементирование, присваивание, сравнение или косвенное обращение через действительные экземпляры `NoThrowForwardIt` не могут вызывать исключения.

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

Итератор на элемент после последнего перемещённого элемента.

Сложность

Линейная по расстоянию между first и last.

Исключения

Перегрузка с параметром шаблона по имени ExecutionPolicy сообщает об ошибках следующим образом:

Если выполнение функции, вызванной как часть алгоритма, вызывает исключение и ExecutionPolicy является одной из стандартных политик, вызывается std::terminate. Для любой другой ExecutionPolicy поведение определяется реализацией.
Если алгоритму не удаётся выделить память, генерируется std::bad_alloc.

Возможная реализация

template<class InputIt, class NoThrowForwardIt>
NoThrowForwardIt uninitialized_move(InputIt first, InputIt last, NoThrowForwardIt d_first)
{
    using Value = 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))) Value(std::move(*first));
        return current;
    }
    catch (...)
    {
        std::destroy(d_first, current);
        throw;
    }
}

Пример

#include <cstdlib>
#include <iomanip>
#include <iostream>
#include <memory>
#include <string>

void print(auto rem, auto first, auto last)
{
    for (std::cout << rem; first != last; ++first)
        std::cout << std::quoted(*first) << ' ';
    std::cout << '\n';
}

int main()
{
    std::string in[]{"Дом", "Работа!"};
    print("изначально, in: ", std::begin(in), std::end(in));

    if (
        constexpr auto sz = std::size(in);
        void* out = std::aligned_alloc(alignof(std::string), sizeof(std::string) * sz))
    {
        try
        {
            auto first{static_cast<std::string*>(out)};
            auto last{first + sz};
            std::uninitialized_move(std::begin(in), std::end(in), first);

            print("после перемещения, in: ", std::begin(in), std::end(in));
            print("после перемещения, out: ", first, last);

            std::destroy(first, last);
        }
        catch (...)
        {
            std::cout << "Исключение!\n";
        }
        std::free(out);
    }
}

Возможный вывод:

изначально, in: "Дом" "Работа!"
после перемещения, in: "" ""
после перемещения, out: "Дом" "Работа!"

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 3870	C++20	этот алгоритм может создавать объекты в `const` хранилище	запрещено

Смотрите также

Категории: