std::ranges:: uninitialized_copy_n, std::ranges:: uninitialized_copy_n_result
|
Definido en el encabezado
<memory>
|
||
|
Firma de llamada
|
||
|
template
<
std::
input_iterator
I,
no-throw-input-iterator
O, no
-
throw
-
sentinel
-
for
<
O
>
S
>
|
(1) |
(desde C++20)
(constexpr desde C++26) |
|
Tipos auxiliares
|
||
|
template
<
class
I,
class
O
>
using uninitialized_copy_n_result = ranges:: in_out_result < I, O > ; |
(2) | (desde C++20) |
Sea N igual a ranges:: min ( count, ranges:: distance ( ofirst, olast ) ) .
Copia
N
elementos desde el rango que comienza en
ifirst
a un área de memoria no inicializada
[
ofirst
,
olast
)
como si fuera mediante
auto
ret
=
ranges::
uninitialized_copy
(
std::
counted_iterator
(
std
::
move
(
ifirst
)
, count
)
,
std::
default_sentinel
, ofirst, olast
)
;
return
{
std
::
move
(
ret.
in
)
.
base
(
)
, ret.
out
}
;
Si se lanza una excepción durante la inicialización, los objetos ya construidos se destruyen en un orden no especificado.
Si
[
ofirst
,
olast
)
se superpone con
ifirst
+
[
0
,
count
)
, el comportamiento es indefinido.
Las entidades similares a funciones descritas en esta página son algorithm function objects (conocidas informalmente como niebloids ), es decir:
- No se pueden especificar listas de argumentos de plantilla explícitas al llamar a cualquiera de ellos.
- Ninguno de ellos es visible para la búsqueda dependiente de argumento .
- Cuando cualquiera de ellos es encontrado mediante la búsqueda no calificada normal como el nombre a la izquierda del operador de llamada a función, la búsqueda dependiente de argumento queda inhibida.
Contenidos |
Parámetros
| ifirst | - | el inicio del rango de elementos desde el cual copiar |
| count | - | el número de elementos a copiar |
| ofirst, olast | - | el par iterador-centinela que define el rango destino de elementos |
Valor de retorno
Como se describió anteriormente.
Complejidad
𝓞(N) .
Excepciones
Cualquier excepción lanzada durante la construcción de los elementos en el rango de destino.
Notas
Una implementación puede mejorar la eficiencia de
ranges::uninitialized_copy_n
, utilizando por ejemplo
ranges::copy_n
, si el tipo de valor del rango de salida es
TrivialType
.
| Macro de prueba de características | Valor | Std | Característica |
|---|---|---|---|
__cpp_lib_raw_memory_algorithms
|
202411L
|
(C++26) | constexpr para algoritmos de memoria especializados , ( 1 ) |
Implementación posible
struct uninitialized_copy_n_fn { template<std::input_iterator I, no-throw-input-iterator O, no-throw-sentinel-for<O> S> requires std::constructible_from<std::iter_value_t<O>, std::iter_reference_t<I>> constexpr ranges::uninitialized_copy_n_result<I, O> operator()(I ifirst, std::iter_difference_t<I> count, O ofirst, S olast) const { auto iter = std::counted_iterator(std::move(ifirst), count); auto ret = ranges::uninitialized_copy(iter, std::default_sentinel, ofirst, olast); return {std::move(ret.in).base(), ret.out}; } }; inline constexpr uninitialized_copy_n_fn uninitialized_copy_n{}; |
Ejemplo
#include <iomanip> #include <iostream> #include <memory> #include <string> int main() { const char* stars[]{"Procyon", "Spica", "Pollux", "Deneb", "Polaris"}; constexpr int n{4}; alignas(alignof(std::string)) char out[n * sizeof(std::string)]; try { auto first{reinterpret_cast<std::string*>(out)}; auto last{first + n}; auto ret{std::ranges::uninitialized_copy_n(std::begin(stars), n, first, last)}; std::cout << '{'; for (auto it{first}; it != ret.out; ++it) std::cout << (it == first ? "" : ", ") << std::quoted(*it); std::cout << "};\n"; std::ranges::destroy(first, last); } catch (...) { std::cout << "uninitialized_copy_n exception\n"; } }
Salida:
{"Procyon", "Spica", "Pollux", "Deneb"};
Véase también
|
(C++20)
|
copia un rango de objetos a un área de memoria no inicializada
(objeto función de algoritmo) |
|
(C++11)
|
copia un número de objetos a un área de memoria no inicializada
(plantilla de función) |