std:: is_base_of

std::is_base_of es un BinaryTypeTrait .

Si Derived está derivado de 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_base_of o std::is_base_of_v (desde C++17) , el comportamiento es indefinido.

Plantilla de variable auxiliar

Notas

std :: is_base_of < A, B > :: value es true incluso si A es una clase base privada, protegida o ambigua de B . En muchas situaciones, std:: is_convertible < B * , A * > es la prueba más apropiada.

Aunque ninguna clase es su propia base, std :: is_base_of < T, T > :: value es verdadero porque la intención del rasgo es modelar la relación "es-un", y T es un T . A pesar de esto, std :: is_base_of < int , int > :: value es false porque solo las clases participan en la relación que este rasgo modela.

Implementación Posible

namespace details
{
    template<typename B>
    std::true_type test_ptr_conv(const volatile B*);
    template<typename>
    std::false_type test_ptr_conv(const volatile void*);
    template<typename B, typename D>
    auto test_is_base_of(int) -> decltype(test_ptr_conv<B>(static_cast<D*>(nullptr)));
    template<typename, typename>
    auto test_is_base_of(...) -> std::true_type; // base privada o ambigua
}
template<typename Base, typename Derived>
struct is_base_of :
    std::integral_constant<
        bool,
        std::is_class<Base>::value &&
        std::is_class<Derived>::value &&
        decltype(details::test_is_base_of<Base, Derived>(0))::value
    > {};

Ejemplo

#include <type_traits>
class A {};
class B : A {};
class C : B {};
class D {};
union E {};
using I = int;
static_assert
(
    std::is_base_of_v<A, A> == true &&
    std::is_base_of_v<A, B> == true &&
    std::is_base_of_v<A, C> == true &&
    std::is_base_of_v<A, D> != true &&
    std::is_base_of_v<B, A> != true &&
    std::is_base_of_v<E, E> != true &&
    std::is_base_of_v<I, I> != true
);
int main() {}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también