std::is_base_of
| Определено в заголовочном файле <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) не определено.
Вспомогательная шаблонная переменная
<tbody> </tbody> template< class Base, class Derived > inline constexpr bool is_base_of_v = is_base_of<Base, Derived>::value; |
(начиная с C++17) | |
Унаследован от 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) |
указывает, что тип является производным от другого типа (концепт) |