std::is_virtual_base_of
来自 cppreference.cn
定义于头文件 <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 [静态] |
如果 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,即使 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() {}
[编辑] 参阅
(C++11) |
检查一个类型是否为另一个类型的基类 (类模板) |
(C++11)(C++20) |
检查一个类型是否可以转换为另一个类型 (类模板) |
(C++20) |
指定类型派生自另一类型 (概念) |