std::is_virtual_base_of

定义在头文件 `<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 > constexpr bool is_virtual_base_of_v = is_virtual_base_of<Base, Derived>::value;		(自 C++26)

[编辑]

继承自 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_virtual_base_of_v<A, B> 为 true，即使 A 是 B 的私有、受保护或不明确的基类。

如果 std::is_virtual_base_of_v<A, B> 为 true，那么 std::is_base_of_v<A, B> 也为 true。但是，反过来并不总是成立，因为对虚继承的检查更具体。在这种情况下，std::is_virtual_base_of_v<T, T> 为 false，即使 T 是非联合类类型。

[编辑] 示例

运行此代码

#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() {}

[编辑] 参见

is_base_of (C++11)	检查一个类型是否为另一个类型的基类 (类模板) [编辑]
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)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作