Requisitos denominados de C++:TrivialmenteCopiable(desde C++11)

 

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

 

Requisitos denominados de C++

Básicos ConstruiblePorDefecto ConstruiblePorMovimiento (C++11) ConstruiblePorCopia AsignablePorCopia AsignablePorMovimiento (C++11) Destructible Props. de Tipos TipoEscalar TipoPOD TrivialmenteCopiable (C++11) TipoTrivial (C++11) TipoDeDiseñoEstándar (C++11)   TipoDeTiempoDeVidaImplícito Toda la biblioteca ComprobableBooleano ComparableEnIgualdad ComparableEnMenorQue Intercambiable IntercambiableEnValor (C++11) NullablePointer (C++11) Hash (C++11) Asignador ObjetoFunción Invocable Predicado PredicadoBinario Comparar

Contenedores Contenedor ContenedorReversible ContenedorConscienteDeAsignador ContenedorDeSecuencia ContenedorContiguo (C++17) ContenedorAsociativo ContenedorAsociativoNoOrdenado (C++11)   Elementos de contenedores InsertablePorDefecto (C++11) InsertablePorCopia (C++11) InsertablePorMovimiento (C++11) ConstruiblePorEmplazamiento (C++11) Borrable (C++11) Iteradores IteradorLegado IteradorDeEntradaLegado IteradorDeSalidaLegado IteradorDeAvanceLegado IteradorBidireccionalLegado IteradorDeAccesoAleatorioLegado IteradorContiguoLegado (C++17) IteradorConstexpr (C++20) E/S de flujos FunciónDeEntradaConFormato FunciónDeEntradaSinFormato FunciónDeSalidaConFormato FunciónDeSalidaSinFormato Formateadores FormateadorBásico (C++20) Formateador (C++20)

Números aleatorios SeedSequence (C++11) MotorDeNúmerosAleatorios (C++11) DistribuciónDeNúmerosAleatorios (C++11) GeneradorDeBitsAleatorioUniforme (C++11) AdaptadorDeMotorDeNúmerosAleatorios (C++11) Concurrencia BloqueableBásico (C++11) Bloqueable (C++11) BloqueableTemporizado (C++11) BloqueableCompartido (C++14) BloqueableTemporizadoCompartido (C++14) Mutex (C++11) MutexTemporizado (C++11) MutexCompartido (C++17) MutexTemporizadoCompartido (C++14) Rangos ObjetoAdaptadorDeRango (C++20) ObjetoCierreAdaptadorDeRango (C++20) Vista multidimensional LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Otros RasgosDeCarácter RasgosDeExpresiónRegular (C++11)   TipoMáscaraDeBits TipoLiteral (C++11) TipoNumérico RasgoDeTipoUnario (C++11) RasgoDeTipoBinario (C++11) RasgoDeTransformación (C++11) Reloj (C++11) RelojTrivial (C++11)

 

Nota: el estándar no define un requisito denominado con este nombre. Esta es una categoría de tipo definida por el lenguaje central. Se incluye aquí como un requisito con nombre solamente por consistencia.

Requisitos

Los siguientes tipos se denominan colectivamente tipos copiable trivialmente:

• tipos escalares
• tipos de clase copiable trivialmente
• arrays de dichos tipos
• las versiones calificadas cv de estos tipos

Notas

En general, para cualquier tipo T copiable trivialmente y un objeto obj1 de T, los bytes subyacentes de obj1 se pueden copiar en un array de char, o unsignedchar, o std::byte(desde C++17) o en obj2, otro objeto de T. Ni obj1 ni obj2 pueden ser un subobjeto potencialmente superpuesto.

Si los bytes subyacentes de obj1 se copian en dicho array y luego el contenido resultante se vuelve a copiar en obj1, obj1 mantendrá su valor original. Si los bytes subyacentes de obj1 se copian en obj2, obj2 contendrá el valor de obj1.

Los bytes subyacentes se pueden copiar mediante std::memcpy o std::memmove, siempre que no se acceda a ningún objeto volátil.

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
CWG 1734	C++11	C++03 POD con asignación no trivial eliminada era no trivial.	Se permiten constructores/operadores eliminados.
CWG 2094	C++11	Tipos escalares volátiles no son trivialmente copiables (CWG 1746).	Se hicieron trivialmente copiables.

Véase también

is_trivially_copyable (C++11)

Comprueba si un tipo es trivialmente copiable. (plantilla de clase)