std::is_standard_layout
| Definido en el archivo de encabezado <type_traits>
|
||
| template< class T > struct is_standard_layout; |
(desde C++11) | |
std::is_standard_layout es un UnaryTypeTrait.
Si T es un tipo con diseño estándar (es decir, un tipo escalar, una clase con diseño estándar, o un array de tal tipo o clase, posiblemente calificado-cv), proporciona la constante miembro value igual a true. Para cualquier otro tipo, value es false.
Una clase con diseño estándar es una clase que satisface a StandardLayoutType.
El comportamiento está indefinido si std::remove_all_extents_t<T> es un tipo incompleto y no (posiblemente calificado-cv) void.
El comportamiento de un programa que añade especializaciones para is_standard_layout o is_standard_layout_v (desde C++17) no está definido.
Contenido |
[editar] Parámetros de plantilla
| T | - | Un tipo a comprobar. |
[editar] Plantilla de variable auxiliar
| template< class T > inline constexpr bool is_standard_layout_v = is_standard_layout<T>::value; |
(desde C++17) | |
Heredado de std::integral_constant
Constantes miembro
| value [estático] |
true si T es un tipo con diseño estándar., de lo contrario false. (constante miembro pública estática) |
Funciones miembro
| operator bool |
Convierte el objeto a bool, devuelve value. (función miembro pública) |
| operator() (C++14) |
Devuelve value. (función miembro pública) |
Tipos miembro
| Tipo | Definición |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
[editar] Notas
Un puntero a una clase con diseño estándar puede convertirse (con reinterpret_cast) a un puntero a su primer dato miembro no estático y viceversa.
Si una unión con diseño estándar alberga dos o más estructuras con diseño estándar, se le permite inspeccionar la parte inicial común de ellas.
Se garantiza que la macro offsetof sea utilizable solamente con clases con diseño estándar.
[editar] Ejemplo
#include <iostream> #include <type_traits> struct A { int m; }; struct B { int m1; private: int m2; }; struct C { virtual void foo(); }; int main() { std::cout << std::boolalpha; std::cout << std::is_standard_layout<A>::value << '\n'; std::cout << std::is_standard_layout<B>::value << '\n'; std::cout << std::is_standard_layout<C>::value << '\n'; }
Salida:
true false false
[editar] Véase también
| (C++11) |
Comprueba si un tipo es trivialmente copiable. (plantilla de clase) |
| (C++11) |
Comprueba si un tipo es un tipo simple (POD). (plantilla de clase) |
| Desplazamiento de bytes desde el comienzo de un tipo de diseño estándar al miembro especificado. (macro de función) |
