std:: uninitialized_copy
|
Определено в заголовочном файле
<memory>
|
||
|
template
<
class
InputIt,
class
NoThrowForwardIt
>
NoThrowForwardIt uninitialized_copy
(
InputIt first, InputIt last,
|
(1) | (constexpr начиная с C++26) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
NoThrowForwardIt
>
|
(2) | (начиная с C++17) |
[
first
,
last
)
в неинициализированную область памяти, начинающуюся с
d_first
, как если бы
for
(
;
first
!
=
last
;
++
d_first,
(
void
)
++
first
)
::
new
(
voidify
(
*
d_first
)
)
typename
std::
iterator_traits
<
NoThrowForwardIt
>
::
value_type
(
*
first
)
;
|
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) |
|
Если
d_first
|
(начиная с C++20) |
Содержание |
Параметры
| first, last | - | пара итераторов, определяющих диапазон копируемых элементов |
| d_first | - | начало диапазона назначения |
| policy | - | используемая политика выполнения |
| Требования к типам | ||
-
InputIt
должен удовлетворять требованиям
LegacyInputIterator
.
|
||
-
ForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
должен удовлетворять требованиям
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
не должны генерировать исключения.
Применение
&
*
к значению
NoThrowForwardIt
должно давать указатель на его тип значения.
(до C++11)
|
||
Возвращаемое значение
Итератор на элемент, следующий за последним скопированным элементом.
Сложность
Линейно по расстоянию между first и last .
Исключения
Перегрузка с параметром шаблона с именем
ExecutionPolicy
сообщает об ошибках следующим образом:
-
Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и
ExecutionPolicyявляется одним из стандартных политик , std::terminate вызывается. Для любой другойExecutionPolicyповедение определяется реализацией. - Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.
Примечания
| Макрос тестирования возможностей | Значение | Стандарт | Функция |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms
|
202411L
|
(C++26) | constexpr для специализированных алгоритмов работы с памятью , ( 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; } } |
` и `` оставлен без изменений, как и требовалось. 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 |
| LWG 3870 | C++20 | этот алгоритм может создавать объекты в const хранилище | остаётся запрещённым |
Смотрите также
|
(C++11)
|
копирует несколько объектов в неинициализированную область памяти
(шаблон функции) |
|
(C++20)
|
копирует диапазон объектов в неинициализированную область памяти
(функциональный объект алгоритма) |