std::uninitialized_copy_n
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <memory>
|
||
template< class InputIt, class Size, class NoThrowForwardIt > NoThrowForwardIt uninitialized_copy_n( InputIt first, Size count, NoThrowForwardIt d_first ); |
(1) | (начиная с C++11) |
template< class ExecutionPolicy, class ForwardIt, class Size, class NoThrowForwardIt > NoThrowForwardIt uninitialized_copy_n( ExecutionPolicy&& policy, ForwardIt first, Size count, NoThrowForwardIt d_first ); |
(2) | (начиная с C++17) |
1) Копирует
count элементов из диапазона, начинающегося с first, в неинициализированную область памяти, начинающуюся с d_first, как если быfor (; n > 0; ++d_first, (void) ++first, --n)::new (static_cast<void*>(std::addressof(*d_first)))typename std::iterator_traits<NoThrowForwardIt>::value_type(*first);
Если во время инициализации возникает исключение, уже созданные объекты уничтожаются в неопределённом порядке.
|
Если |
(начиная с C++20) |
2) То же, что и (1), но выполняется в соответствии с
policy. Эта перегрузка не участвует в разрешении перегрузки, если только |
|
(до C++20) |
|
|
(начиная с C++20) |
Параметры
| first | — | начало диапазона копируемых элементов |
| count | — | количество элементов для копирования |
| d_first | — | начало диапазона назначения |
| policy | — | используемая политика выполнения. Подробнее смотрите политика выполнения. |
| Требования к типам | ||
-InputIt должен соответствовать требованиям LegacyInputIterator.
| ||
-ForwardIt должен соответствовать требованиям LegacyForwardIterator.
| ||
-NoThrowForwardIt должен соответствовать требованиям LegacyForwardIterator.
| ||
-Никакое инкрементирование, присваивание, сравнение или косвенное обращение через действительные экземпляры NoThrowForwardIt не могут вызвать исключения.
| ||
Возвращаемое значение
Итератор на элемент после последнего скопированного элемента.
Сложность
Линейная по count.
Исключения
Перегрузка с параметром шаблона по имени ExecutionPolicy сообщает об ошибках следующим образом:
- Если выполнение функции, вызванной как часть алгоритма, вызывает исключение и
ExecutionPolicyявляется одной из стандартных политик, вызывается std::terminate. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удаётся выделить память, генерируется std::bad_alloc.
Возможная реализация
template<class InputIt, class Size, class NoThrowForwardIt>
NoThrowForwardIt uninitialized_copy_n(InputIt first, Size count, NoThrowForwardIt d_first)
{
using T = typename std::iterator_traits<NoThrowForwardIt>::value_type;
NoThrowForwardIt current = d_first;
try
{
for (; count > 0; ++first, (void) ++current, --count)
::new (static_cast<void*>(std::addressof(*current))) T(*first);
}
catch (...)
{
for (; d_first != current; ++d_first)
d_first->~T();
throw;
}
return current;
}
|
Пример
Запустить этот код
#include <algorithm>
#include <iostream>
#include <memory>
#include <string>
#include <tuple>
#include <vector>
int main()
{
std::vector<std::string> v = {"Это", "пример"};
std::string* p;
std::size_t sz;
std::tie(p, sz) = std::get_temporary_buffer<std::string>(v.size());
sz = std::min(sz, v.size());
std::uninitialized_copy_n(v.begin(), sz, p);
for (std::string* i = p; i != p + sz; ++i)
{
std::cout << *i << ' ';
i->~basic_string<char>();
}
std::cout << '\n';
std::return_temporary_buffer(p);
}
Возможный вывод:
Это пример
Отчёты о дефектах
Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:
| Номер | Применён | Поведение в стандарте | Корректное поведение |
|---|---|---|---|
| LWG 2433 | C++11 | этот алгоритм может быть взломан перегруженным operator&
|
использует std::addressof |
| LWG 3870 | C++20 | этот алгоритм может создавать объекты в const хранилище
|
запрещено |
Смотрите также
| копирует диапазон объектов в неинициализированную область памяти (шаблон функции) | |
(C++20) |
копирует ряд объектов в неинициализированную область памяти (ниблоид) |