命名空间
变体
操作

std::is_base_of

来自 cppreference.com
< cpp‎ | types
 
C++
 
元编程库
类型特征
类型类别
(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)
支持的操作
关系和属性查询
is_base_of
(C++11)
(C++26)
(C++11)
(C++11)
(C++11)
(C++17)(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 >
constexpr bool is_base_of_v = is_base_of<Base, Derived>::value;
 (自 C++17 起)
[编辑]

从 std::integral_constant 继承

成员常量

value
[静态]
 true 如果 Derived 从 Base 派生，或者如果两者都是相同的非联合类（在两种情况下都忽略 cv 限定），则为 false，否则
(公共静态成员常量)

成员函数

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

成员类型

类型 定义
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 为真，因为该特征的目的是模拟“是-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; // private or ambiguous base
}
 
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++ 标准。

DR 应用于 已发布的行为 正确行为
LWG 2015 C++11 行为可能未定义，如果
Derived 是一个不完整的联合类型		 基特征是
std::false_type 在这种情况下

[编辑] 参见

(C++26)
 检查类型是否为另一个类型的虚拟基类
(类模板) [编辑]
(C++11)(C++20)
 检查类型是否可以转换为另一个类型
(类模板) [编辑]
(C++20)
 指定一个类型派生自另一个类型
(概念) [编辑]
检索自 "https://cppreference.cn/mwiki/index.php?title=cpp/types/is_base_of&oldid=176479"