命名空间
变体
操作

std::is_virtual_base_of

来自 cppreference.cn
< cpp‎ | 类型
 
 
元编程库
类型特性
类型类别
(C++11)
(C++11)(DR*)
(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++26 中已弃用)
(C++11)(直到 C++20*)
(C++11)(C++20 中已弃用)
(C++11)
类型特性常量
元函数
(C++17)
支持的操作
关系与属性查询
(C++11)
is_virtual_base_of
(C++26)
(C++11)
(C++11)
类型修改
(C++11)(C++11)(C++11)
类型转换
(C++11)(C++23 中已弃用)
(C++11)(C++23 中已弃用)
(C++11)
(C++11)(直到 C++20*)(C++17)

(C++11)
(C++17)
编译时有理数算术
编译时整数序列
 
定义于头文件 <type_traits>
template< class Base, class Derived >
struct is_virtual_base_of;
(C++26 起)

std::is_virtual_base_of 是一个 BinaryTypeTrait

如果 BaseDerived虚基类(忽略 cv-限定符),则提供成员常量 value 等于 true。否则 valuefalse

如果 BaseDerived 都是非联合类类型(忽略 cv-限定符),则 Derived 应该是一个完整类型;否则行为未定义。

如果程序为 std::is_virtual_base_ofstd::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
[静态]
如果 Derived 派生自虚基类 Base(忽略 cv-限定符),则为 true,否则为 false
(public static 成员常量)

成员函数

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

成员类型

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

[编辑] 注解

std::is_virtual_base_of_v<A, B>true,即使 AB 的私有、保护或模糊基类。

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

[编辑] 参阅

检查一个类型是否为另一个类型的基类
(类模板) [编辑]
检查一个类型是否可以转换为另一个类型
(类模板) [编辑]
指定类型派生自另一类型
(概念) [编辑]