std::ranges::uninitialized_value_construct_n

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica(C++20) Servicios del programa Apoyo de corrutinas(C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits(C++20) bitset hash (C++11) Operadores relacionales(en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Intercambio y operaciones de tipos swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Tipos vocabulario comunes pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Gestión de memoria dinámica

Punteros inteligentes unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (hasta C++17) owner_less (C++11) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) Asignadores de memoria allocator allocator_traits (C++11) allocation_result (C++23) allocate_at_least (C++23) allocator_arg_t (C++11) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) Recursos de memoria pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) Almacenamiento no inicializado raw_storage_iterator (hasta C++20) get_temporary_buffer (hasta C++20) return_temporary_buffer (hasta C++20)

Algoritmos de memoria no inicializada uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) Algoritmos restringidos de memoria no inicializada ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::destroy (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct_n (C++20) ranges::uninitialized_value_construct_n (C++20) ranges::destroy_n (C++20) ranges::construct_at (C++20) Apoyo para recolección de basura declare_reachable (C++11)(hasta C++23) undeclare_reachable (C++11)(hasta C++23) declare_no_pointers (C++11)(hasta C++23) undeclare_no_pointers (C++11)(hasta C++23) pointer_safety (C++11)(hasta C++23) get_pointer_safety (C++11)(hasta C++23) Misceláneos pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) Biblioteca de C malloc aligned_alloc (C++17) calloc realloc free Gestión de memoria de bajo nivel operator new operator new[] operator delete operator delete[] get_new_handler set_new_handler bad_alloc bad_array_new_length nothrow_t align_val_t destroying_delete_t new_handler nothrow

 

Definido en el archivo de encabezado <memory>
Signatura de la llamada
template<no-throw-forward-iterator I> requires std::default_initializable<std::iter_value_t<I>> I uninitialized_value_construct_n( I first, std::iter_difference_t<I> n );		(desde C++20)

Construye n objetos de tipo std::iter_value_t<I> en el área de memoria no inicializada que comienza en first mediante la inicialización por valor, como si fuera por

for(; n-->0;++first)::new(const_cast<void*>(static_cast<constvolatilevoid*>(std::addressof(*first))))std::remove_reference_t<std::iter_reference_t<I>>();

Si se lanza una excepción durante la inicialización, los objetos ya construidos se destruyen en un orden no especificado.

Las entidades similares a funciones descritas en esta página son niebloids, es decir:

• Las listas de argumentos de plantilla explícitas no se pueden especificar al llamar a cualquiera de ellas.
• Ninguna de ellas es visible para la búsqueda dependiente de argumentos.
• Cuando alguna de ellas se encuentra mediante la búsqueda normal no calificada como el nombre a la izquierda del operador de llamada a función, se inhibe la búsqueda dependiente de argumentos.

En la práctica, pueden implementarse como objetos función o con extensiones de compilador especiales.

Parámetros

first	-	El comienzo del rango de elementos a inicializar.
n	-	El número de elementos a construir.

Valor de retorno

El fin del rango de objetos (es decir, ranges::next(first, n)).

Complejidad

Lineal en n.

Excepciones

La excepción lanzada en la construcción de los elementos en el rango de destino, si existe.

Notas

Una implementación puede mejorar la eficiencia de ranges::uninitialized_value_construct_n, p.ej., mediante el uso de ranges::fill_n, si el tipo valor del rango es TrivialType y CopyAssignable.

Posible implementación

struct uninitialized_value_construct_n_fn {template<no-throw-forward-iterator I> requires std::default_initializable<std::iter_value_t<I>> I operator()( I first, std::iter_difference_t<I> n )const{using T =std::remove_reference_t<std::iter_reference_t<I>>;ifconstexpr(std::is_trivial_v<T>&&std::is_copy_assignable_v<T>)returnranges::fill_n(first, n, T()); I rollback {first};try{for(; n-->0;++first)::new(const_cast<void*>(static_cast<constvolatilevoid*>(std::addressof(*first)))) T();return first;}catch(...){// rollback: destruir los elementos construidosfor(; rollback != first;++rollback)ranges::destroy_at(std::addressof(*rollback));throw;}}};   inlineconstexpr uninitialized_value_construct_n_fn uninitialized_value_construct_n{};

Ejemplo

Ejecuta este código

#include <iostream>#include <memory>#include <string>   int main(){struct S {std::string m{"█▓▒░ █▓▒░ █▓▒░ "};};   constexprint n {4}; alignas(alignof(S))char out[n * sizeof(S)];   try{auto first {reinterpret_cast<S*>(out)};auto last = std::ranges::uninitialized_value_construct_n(first, n);   auto count {1};for(auto it {first}; it != last;++it){std::cout<< count++<<' '<< it->m <<'\n';}   std::ranges::destroy(first, last);}catch(...){std::cout<<"¡Excepción!\n";}   // Observa que para "tipos triviales" uninitialized_value_construct_n// llena con ceros el área de memoria no inicializada dada.int v[]{1, 2, 3, 4, 5, 6, 7, 8};std::cout<<' ';for(constint i : v){std::cout<< i <<' ';}std::cout<<"\n "; std::ranges::uninitialized_value_construct_n(std::begin(v), std::size(v));for(constint i : v){std::cout<< i <<' ';}std::cout<<'\n';}

Salida:

1 █▓▒░ █▓▒░ █▓▒░ 2 █▓▒░ █▓▒░ █▓▒░ 3 █▓▒░ █▓▒░ █▓▒░ 4 █▓▒░ █▓▒░ █▓▒░ 1 2 3 4 5 6 7 8 0 0 0 0 0 0 0 0

Véase también

ranges::uninitialized_value_construct (C++20)	Construye objetos mediante la inicialización de un valor en un área de memoria sin inicializar, definido por un rango. (niebloid)
ranges::uninitialized_default_construct (C++20)	Construye objetos mediante la inicialización por defecto en un área de memoria sin inicializar, definido por un rango. (niebloid)
ranges::uninitialized_default_construct_n (C++20)	(niebloid)
uninitialized_value_construct_n (C++17)	Construye objetos mediante la inicialización de un valor en un área de memoria sin inicializar, definido por un inicio y una cuenta. (niebloid)