std:: is_base_of

std::is_base_of ist ein BinaryTypeTrait .

Falls Derived von Base abgeleitet ist oder beide die gleiche Nicht-Union-Klasse sind (in beiden Fällen unter Ignorierung von CV-Qualifizierern), liefert die Member-Konstante value den Wert true . Andernfalls ist value gleich false .

Wenn sowohl Base als auch Derived Nicht-Union-Klassentypen sind und sie nicht denselben Typ haben (unter Ignorierung von CV-Qualifizierern), sollte Derived ein vollständiger Typ sein; andernfalls ist das Verhalten undefiniert.

Falls das Programm Spezialisierungen für std::is_base_of oder std::is_base_of_v (seit C++17) hinzufügt, ist das Verhalten undefiniert.

Hilfsvariablen-Template

Hinweise

std :: is_base_of < A, B > :: value ist true selbst wenn A eine private, protected oder mehrdeutige Basisklasse von B ist. In vielen Situationen ist std:: is_convertible < B * , A * > der geeignetere Test.

Obwohl keine Klasse ihre eigene Basis ist, ist std :: is_base_of < T, T > :: value wahr, da die Absicht des Traits darin besteht, die "is-a"-Beziehung zu modellieren, und T ein T ist. Trotzdem ist std :: is_base_of < int , int > :: value false , da nur Klassen an der Beziehung teilnehmen, die dieser Trait modelliert.

Mögliche Implementierung

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; // private oder mehrdeutige Basisklasse
}
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
    > {};

Beispiel

#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() {}

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch