std::is_polymorphic - cppreference.com

std::is_polymorphic es un UnaryTypeTrait.

Si T es una clase polimórfica (es decir, una clase que no es una unión que declara o hereda al menos una función virtual), proporciona la constante miembro value igual a true. Para cualquier otro tipo, value es false.

Si T es una clase que no es una unión, T deberá ser un tipo completo; de lo contrario, el comportamiento está indefinido.

El comportamiento de un programa que añade especializaciones para is_polymorphic o is_polymorphic_v (desde C++17) no está definido.

Parámetros de plantilla

Plantilla de variable auxiliar

Posible implementación

namespace detail {

template <class T>
std::true_type detect_is_polymorphic(
    decltype(dynamic_cast<const volatile void*>(static_cast<T*>(nullptr)))
);
template <class T>
std::false_type detect_is_polymorphic(...);

} // namespace detail

template <class T>
struct is_polymorphic : decltype(detail::detect_is_polymorphic<T>(nullptr)) {};

Ejemplo

#include <iostream>
#include <type_traits>

struct A {
    int m;
};

struct B {
    virtual void foo();
};

struct C : B {};

int main()
{
    std::cout << std::boolalpha;
    std::cout << std::is_polymorphic<A>::value << '\n';
    std::cout << std::is_polymorphic<B>::value << '\n';
    std::cout << std::is_polymorphic<C>::value << '\n';
}

Véase también