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 起) 的特化的程序行为未定义。

辅助变量模板

template< class Base, class Derived > inline constexpr bool is_base_of_v = is_base_of<Base, Derived>::value;		(C++17 起)

继承自 std::integral_constant

成员常量

value

[静态]

如果 Derived 从 Base 派生，或者都是同一非联合类（均忽略 cv 限定）那么是 true，否则是 false
(公开静态成员常量)

成员函数

operator bool	将对象转换到 bool，返回 value (公开成员函数)
operator() (C++14)	返回 value (公开成员函数)

成员类型

类型	定义
`value_type`	bool
`type`	std::integral_constant<bool, value>

注解

即使 A 是 B 的私有、受保护或有歧义基类， std::is_base_of<A, B>::value 依然是 true。许多情况下，std::is_convertible<B*, A*> 是更适合的测试方法。

尽管没有类是其自身的基类，std::is_base_of<T, T>::value 依然是 true，因为此特性的目的是模拟“是（is-a）”关系，而 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 {};
 
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>     == false &&
              std::is_base_of_v<B, A>     == false &&
              std::is_base_of_v<E, E>     == false &&
              std::is_base_of_v<int, int> == false);
 
int main() {}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2015	C++11	在 `Derived` 是不完整的联合体类型时行为可能未定义	此时基特征是 std::false_type

参阅

is_convertibleis_nothrow_convertible (C++11)(C++20)	检查是否能转换一个类型为另一类型 (类模板)
derived_from (C++20)	指定一个类型派生自另一类型 (概念)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库