std::is_base_of

template< class Base, class Derived >
struct is_base_of;

std::is_base_of является BinaryTypeTrait.

Если Derived производен от Base или если оба являются одним и тем же классом, не являющимся объединением (в обоих случаях без учёта cv-квалификации), предоставляет константный член value, равный true. В противном случае value имеет значение false.

Если и Base, и Derived являются типами классов, не являющихся объединениями, и не являются одним и тем же типом (без учёта cv-квалификации), Derived должен быть полным типом; в противном случае поведение не определено.

Если программа добавляет специализации для std::is_base_of или std::is_base_of_v(начиная с C++17), поведение не определено.

Вспомогательный шаблон переменной

template< class Base, class Derived >
constexpr bool is_base_of_v = is_base_of<Base, Derived>::value;

Примечания

std::is_base_of<A, B>::value равно true, даже если A является закрытым, защищённым или неоднозначным базовым классом B. Во многих случаях более подходящей проверкой будет std::is_convertible<B*, A*>.

Хотя ни один класс не является собственным базовым классом, std::is_base_of<T, T>::value истинно, поскольку цель этого признака — моделировать отношение «является», а T — это T. Несмотря на это, std::is_base_of<int, int>::value равно false, поскольку в отношении, которое моделирует этот признак, участвуют только классы.

Возможная реализация

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 or ambiguous base
}

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
    > {};

Пример

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

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

См. также