std::uninitialized_move
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <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) остаются в допустимом, но неуказанном состоянии, а уже созданные объекты уничтожаются в неопределённом порядке.
|
Если |
(начиная с C++20) |
2) То же, что и (1), но выполняется в соответствии с
policy. Эта перегрузка не участвует в разрешении перегрузки, если только |
|
(до C++20) |
|
|
(начиная с 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 хранилище
|
запрещено |
Смотрите также
| копирует диапазон объектов в неинициализированную область памяти (шаблон функции) | |
(C++17) |
перемещает ряд объектов в неинициализированную область памяти (шаблон функции) |
(C++20) |
перемещает диапазон объектов в неинициализированную область памяти (ниблоид) |
