std:: is_pointer_interconvertible_base_of

Si Derived se deriva inequívocamente de Base y cada objeto Derived es intercambiable por puntero con su subobjeto Base , o si ambos son la misma clase no-union (en ambos casos ignorando calificadores cv), proporciona la constante miembro value igual a true . De lo contrario value es false .

Si tanto Base como Derived son tipos de clase no unión, y no son del mismo tipo (ignorando calificadores cv), Derived debe ser un tipo completo ; de lo contrario, el comportamiento es indefinido.

Si el programa añade especializaciones para std::is_pointer_interconvertible_base_of o std::is_pointer_interconvertible_base_of_v , el comportamiento es indefinido.

Plantilla de variable auxiliar

Notas

std :: is_pointer_interconvertible_base_of_v < T, U > puede ser true incluso si T es una clase base privada o protegida de U .

Sea

• U sea un tipo de objeto completo,
• T sea un tipo de objeto completo con calificación cv no menor que U ,
• u sea cualquier lvalue válido de U ,

reinterpret_cast < T & > ( u ) siempre tiene un resultado bien definido si std :: is_pointer_interconvertible_base_of_v < T, U > es true .

Si T y U no son del mismo tipo (ignorando calificadores cv) y T es una clase base intercambiable por puntero de U , entonces tanto std:: is_standard_layout_v < T > como std:: is_standard_layout_v < U > son true .

Si T es un tipo de clase de diseño estándar, entonces todas las clases base de T (si existen) son clases base puntero-interconvertibles de T .

Ejemplo

#include <type_traits>
struct Foo {};
struct Bar {};
class Baz : Foo, public Bar { int x; };
class NonStdLayout : public Baz { int y; };
static_assert(std::is_pointer_interconvertible_base_of_v<Bar, Baz>);
static_assert(std::is_pointer_interconvertible_base_of_v<Foo, Baz>);
static_assert(not std::is_pointer_interconvertible_base_of_v<Baz, NonStdLayout>);
static_assert(std::is_pointer_interconvertible_base_of_v<NonStdLayout, NonStdLayout>);
int main() {}

Véase también