std::is_base_of
| Определён в заголовочном файле <type_traits>
|
||
| template< class Base, class Derived > struct is_base_of; |
(начиная с C++11) | |
Если Derived является производным классом от Base, или они оба являются одинаковыми классами, но не объединениями, то предоставляет константу-член value, которая будет равна true, иначе она будет равна false.
Если и Base, и Derived являются типами классов, но объединений, и они неодинаковые (при этом игнорируется их cv-квалификаторы), то Derived должен быть завершенным типом, иначе поведение будет не определено.
Содержание |
[править] Вспомогательная шаблонная переменная
| template< class Base, class Derived > constexpr bool is_base_of_v = is_base_of<Base, Derived>::value; |
(начиная с C++17) | |
Унаследован от std::integral_constant
Константы-члены
| value [static] |
true, если Derived наследует класс Base , иначе 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<T, T>::value возвращает true, так как в этом свойстве типов проверяется отношение "является", а T является T. Тем не менее std::is_base_of<int, int>::value равно false, так как только классы могут участвовать в этих отношениях, которые рассматриваются в этой свойстве типов.
[править] Пример
#include <iostream> #include <type_traits> class A {}; class B : A {}; class C {}; int main() { std::cout << std::boolalpha; std::cout << "a2b: " << std::is_base_of<A, B>::value << '\n'; std::cout << "b2a: " << std::is_base_of<B, A>::value << '\n'; std::cout << "c2b: " << std::is_base_of<C, B>::value << '\n'; std::cout << "Такие же типы: " << std::is_base_of<C, C>::value << '\n'; }
Вывод:
a2b: true b2a: false c2b: false Такие же типы: true
[править] См. также
| (library fundamentals TS) |
Шаблонная переменная, являющая псевдонимом для std::is_base_of::value (шаблонная переменная) |

