Класс is_base_of

Проверяет, является ли один тип базовым для другого.

Синтаксис

template <class Base, class Derived>
struct is_base_of;

Параметры

Основание
Базовый класс для проверки.

Производным
Производный тип для проверки.

Замечания

Экземпляр предиката типа имеет значение true, если тип Base является базовым классом производного типа, в противном случае он содержит значение false.

Пример

#include <type_traits>
#include <iostream>

struct base
    {
    int val;
    };

struct derived
    : public base
    {
    };

int main()
    {
    std::cout << "is_base_of<base, base> == " << std::boolalpha
        << std::is_base_of<base, base>::value << std::endl;
    std::cout << "is_base_of<base, derived> == " << std::boolalpha
        << std::is_base_of<base, derived>::value << std::endl;
    std::cout << "is_base_of<derived, base> == " << std::boolalpha
        << std::is_base_of<derived, base>::value << std::endl;

    return (0);
    }

is_base_of<base, base> == true
is_base_of<base, derived> == true
is_base_of<derived, base> == false

Требования

Заголовок:<type_traits>

Пространство имен: std

См. также

<type_traits>
Класс is_convertible