std:: uninitialized_copy
|
Definido en el encabezado
<memory>
|
||
|
template
<
class
InputIt,
class
NoThrowForwardIt
>
NoThrowForwardIt uninitialized_copy
(
InputIt first, InputIt last,
|
(1) | (constexpr desde C++26) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
NoThrowForwardIt
>
|
(2) | (desde C++17) |
[
first
,
last
)
a un área de memoria no inicializada que comienza en
d_first
como si fuera
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 >> es true . |
(hasta C++20) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> es true . |
(desde C++20) |
|
Si
d_first
|
(desde C++20) |
Contenidos |
Parámetros
| first, last | - | el par de iteradores que define el rango de elementos a copiar |
| d_first | - | el inicio del rango de destino |
| policy | - | la política de ejecución a utilizar |
| Requisitos de tipo | ||
-
InputIt
debe cumplir con los requisitos de
LegacyInputIterator
.
|
||
-
ForwardIt
debe cumplir con los requisitos de
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
debe cumplir con los requisitos de
LegacyForwardIterator
.
|
||
-
NoThrowForwardIt
puede lanzar excepciones.
Aplicar
&
*
a un valor de
NoThrowForwardIt
debe producir un puntero a su tipo de valor.
(hasta C++11)
|
||
Valor de retorno
Iterador al elemento después del último elemento copiado.
Complejidad
Lineal en la distancia entre first y last .
Excepciones
La sobrecarga con un parámetro de plantilla llamado
ExecutionPolicy
reporta errores de la siguiente manera:
-
Si la ejecución de una función invocada como parte del algoritmo lanza una excepción y
ExecutionPolicyes una de las políticas estándar , std::terminate es llamado. Para cualquier otraExecutionPolicy, el comportamiento está definido por la implementación. - Si el algoritmo no puede asignar memoria, std::bad_alloc es lanzado.
Notas
| Macro de prueba de características | Valor | Estándar | Característica |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms
|
202411L
|
(C++26) | constexpr para algoritmos de memoria especializados , ( 1 ) |
Implementación posible
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; } } |
Ejemplo
#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); } }
Salida:
This_is_an_example_
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.
| DR | Aplicado a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| LWG 866 | C++98 |
dado
T
como el tipo de valor de
NoThrowForwardIt
, si
T :: operator new existe, el programa podría estar mal formado |
utiliza el reemplazo global de
new en su lugar |
| LWG 2133 | C++98 |
la descripción del efecto utilizaba un bucle
for
con la expresión
de iteración ++ d_first, ++ first , lo que resulta en una búsqueda dependiente de argumentos de operator, |
descarta el valor
de un operando para desactivar esa ADL |
| LWG 2433 | C++11 | este algoritmo podría ser secuestrado por operator & sobrecargado | utiliza std::addressof |
| LWG 3870 | C++20 | este algoritmo podría crear objetos en un almacenamiento const | se mantiene no permitido |
Véase también
|
(C++11)
|
copia un número de objetos a un área de memoria no inicializada
(plantilla de función) |
|
(C++20)
|
copia un rango de objetos a un área de memoria no inicializada
(objeto función de algoritmo) |