Пространства имён
Варианты
Действия

std::is_base_of

Материал из cppreference.com
< cpp‎ | types
 
C++
Поддержка компилятором
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Требования к именованию
Макросы тестирования функциональности (C++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих утилит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки
 
Библиотека метапрограммирования
Свойства типов
Категории типов
(C++11)
(C++14)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Свойства типов
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)
(C++11)
(C++11)
(C++11)(до C++20*)
(C++11)(устарело в C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Константы свойств типа
(C++11)(C++17)(C++11)(C++11)
Метафункции
(C++17)
(C++17)
(C++17)
Поддерживаемые операции
Запросы отношений и свойств
Модификации типов
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
Преобразования типов
(C++11)(устарело в C++23)
(C++11)(устарело в C++23)
(C++11)
(C++20)
(C++11)
(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++11)(до C++20*)(C++17)
(C++20)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
(C++14)
 
Определено в заголовочном файле <type_traits>
template< class Base, class Derived >
struct is_base_of;
 (начиная с C++11)

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 >
inline constexpr bool is_base_of_v = is_base_of<Base, Derived>::value;
 (начиная с C++17)
[edit]

Унаследован от std::integral_constant

Константы элементы

value
[static]
 true, если Derived является производным от Base или если оба являются одним и тем же классом не объединением (в обоих случаях игнорируется cv-квалификация), false иначе
(public static константа-элемент)

Функции-элементы

operator bool
 преобразует объект в bool, возвращает value
(public функция-элемент)
operator()
(C++14)
 возвращает value
(public функция-элемент)

Типы элементы

Тип Определение
value_type bool
type std::integral_constant<bool, value>

[править] Примечание

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

Хотя класс не наследует сам себя, тем не менее std::is_base_of<T, T>::value возвращает true, так как в этом свойстве типов проверяется отношение "является", а 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;    // закрытый или неоднозначный
                                                    // базовый класс
}
 
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++:

Номер Применён Поведение в стандарте Корректное поведение
LWG 2015 C++11 поведение может быть неопределённым, если Derived
является неполным типом объединения 		базовая характеристика в этом случае std::false_type

[править] Смотрите также

(C++11)(C++20)
 проверяет, можно ли преобразовать тип в другой тип
(шаблон класса) [править]
(C++20)
 указывает, что тип является производным от другого типа
(концепт) [править]
Источник — «https://ru.cppreference.com/mwiki/index.php?title=cpp/types/is_base_of&oldid=63278»