Namespaces
Variants

std::polymorphic<T, Allocator>:: polymorphic

From cppreference.net
C++
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
std::polymorphic
constexpr explicit polymorphic ( ) ;
(1) (desde C++26)
constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a ) ;
(2) (desde C++26)
template < class U = T >
constexpr explicit polymorphic ( U && v ) ;
(3) (desde C++26)
template < class U = T >

constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a,

U && v ) ;
(4) (desde C++26)
template < class U, class ... Args >
constexpr explicit polymorphic ( std:: in_place_type_t < U > , Args && ... args ) ;
(5) (desde C++26)
template < class U, class ... Args >

constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a,

std:: in_place_type_t < U > , Args && ... args ) ;
(6) (desde C++26)
template < class U, class I, class ... Args >

constexpr explicit polymorphic ( std:: in_place_type_t < U > ,
std:: initializer_list < I > ilist,

Args && ... args ) ;
(7) (desde C++26)
template < class U, class I, class ... Args >

constexpr explicit polymorphic ( std:: allocator_arg_t , const Allocator & a,
std:: in_place_type_t < U > ,
std:: initializer_list < I > ilist,

Args && ... args ) ;
(8) (desde C++26)
constexpr polymorphic ( const polymorphic & other ) ;
(9) (desde C++26)
constexpr polymorphic ( std:: allocator_arg_t , const Allocator & a,
const polymorphic & other ) ;
(10) (desde C++26)
constexpr polymorphic ( polymorphic && other ) noexcept ;
(11) (desde C++26)
constexpr polymorphic ( std:: allocator_arg_t , const Allocator & a,
polymorphic && other ) noexcept ( /* ver más abajo */ ) ;
(12) (desde C++26)

Construye un nuevo polymorphic objeto.

Contenidos

Parámetros

a - el asignador a asociar
v - valor con el cual inicializar el valor poseído
args - argumentos con los cuales inicializar el valor poseído
il - lista de inicialización con la cual inicializar el valor poseído
other - otro objeto polymorphic cuyo valor poseído (si existe) es copiado

Efectos

La construcción de un nuevo polymorphic objeto consiste en los siguientes pasos:

1) Construye el asignador asociado alloc :
2) Construye el objeto poseído:
  • Para las sobrecargas ( 1-8 ) , llama a std:: allocator_traits < Allocator > :: construct ( alloc  , p, args... ) , donde
    • p es un puntero de tipo U* , apunta al almacenamiento adecuado para construir el objeto poseído, y
    • args... es un paquete de expresiones que contiene los argumentos de inicialización.
  • Para las sobrecargas ( 9-12 ) :
    • Si other no tiene valor, no se construye ningún objeto poseído, y * this tampoco tendrá valor después de la construcción.
    • De lo contrario, si other es una referencia a valor del lado derecho y alloc es igual a other. alloc , * this toma posesión del objeto poseído de other .
    • De lo contrario, el objeto poseído se construye usando alloc como se describió anteriormente, donde el tipo de p está determinado por el tipo del objeto poseído por other .
Sobrecarga Inicializador para... Tipo del objeto poseído valueless_after_move()
después de la construcción
alloc el objeto poseído
( 1 ) (vacío) (vacío) T false
( 2 ) a
( 3 ) (vacío) std:: forward < U > ( v ) U
( 4 ) a
( 5 ) (vacío) std:: forward < Args > ( args )
( 6 ) a
( 7 ) (vacío) ilist,
std:: forward < Args > ( args )
( 8 ) a
( 9 ) ver abajo * other
(solo si other posee un valor) 		el tipo del objeto poseído por other true solo si other no posee valor
( 10 ) a
( 11 ) std :: move 
( other. alloc  ) 		toma posesión
(solo si other posee un valor)
( 12 ) a ver abajo
9) alloc se inicializa mediante inicialización directa-no-de-lista con std:: allocator_traits < Allocator > ::
select_on_container_copy_construction ( other. alloc  ) .
12) El objeto poseído se construye de la siguiente manera:
  • Si other no tiene valor, * this tampoco tiene valor.
  • En caso contrario, si alloc == other. alloc es true , * this toma posesión del objeto poseído de other .
  • En caso contrario, construye un objeto poseído con * std :: move ( other ) usando alloc .

Restricciones e información complementaria

1,2) Si alguno de los siguientes valores es false , el programa está mal formado:

1) Esta sobrecarga participa en la resolución de sobrecarga solo si std:: is_default_constructible_v < Allocator > es true .

3-8) Estas sobrecargas participan en la resolución de sobrecarga solo si los siguientes valores son todos true :
3,4) U
5,6) Args...
7,8) std:: initializer_list < I > & , Args...

3,5,7) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_default_constructible_v < Allocator > es true .
3,4) Estas sobrecargas participan en la resolución de sobrecarga solo si se cumplen todas las siguientes condiciones:
5-8) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_same_v < std:: remove_cvref_t < U > , U > es true .

Excepciones

No lanza nada a menos que std:: allocator_traits < Allocator > :: allocate o std:: allocator_traits < Allocator > :: construct lancen.

12)
noexcept especificación:
noexcept ( std:: allocator_traits < Allocator > :: is_always_equal :: value )

Ejemplo

Esta sección está incompleta
Razón: sin ejemplo

Véase también

(C++11)
tipo de etiqueta utilizado para seleccionar sobrecargas de constructores conscientes del asignador
(clase)
(C++17)
etiqueta de construcción in situ
(etiqueta)