std::is_virtual_base_of

< cpp‎ | types
在标头 <type_traits> 定义
template< class Base, class Derived >
struct is_virtual_base_of;
 (C++26 起)

std::is_virtual_base_of 是一个二元类型特征 (BinaryTypeTrait) 。

如果 Base 是 Derived 的虚基类（忽略 cv 限定），则所提供的成员常量 value 等于 true。否则 value 为 false。

当 Base 和 Derived 都是非联合体类类型（忽略 cv 限定）时，Derived 应当是完整类型；否则其行为未定义。

如果程序添加了 std::is_virtual_base_of 或 std::is_virtual_base_of_v 的特化，那么行为未定义。

辅助变量模板

template< class Base, class Derived >
inline constexpr bool is_virtual_base_of_v = is_virtual_base_of<Base, Derived>::value;
 (C++26 起)

继承自 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_virtual_base_of_v<A, B> 也 true。

如果 std::is_virtual_base_of_v<A, B> 为 true，那么 std::is_base_of_v<A, B> 也为 true。但是反之则不总是如此，因为对虚继承的检查更加特殊。这种情况下，即便 T 是非联合体类类型 std::is_virtual_base_of_v<T, T> 也为 false。

示例

#include <type_traits>
 
class A {};
class B : A {};
class C : B {};
class D : virtual A {};
class E : D {};
 
union F {};
using I = int;
 
static_assert
(
    std::is_virtual_base_of_v<A, A> != true &&
    std::is_virtual_base_of_v<A, B> != true &&
    std::is_virtual_base_of_v<A, D> == true &&
    std::is_virtual_base_of_v<D, E> != true &&
    std::is_virtual_base_of_v<F, F> != true &&
    std::is_virtual_base_of_v<I, I> != true
);
 
int main() {}

参阅

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