std::is_base_of

STD：：是[医]底座[医]成

如果Derived派生自Base如果两者都是相同的非联合类，则提供成员常量。value等于true.否则value是false...

如果两者都是Base和Derived是非联合类类型，它们不是相同的类型%28忽略cv-资格%29，Derived将是完全型否则，行为是未定义的。

辅助变量模板

继承自STD：积分[医]常量

成员常数

成员函数

成员类型

注记

虽然没有一个阶级是它自己的基础，std::is_base_of<T, T>::value是真的，因为这个特征的目的是建立“is-a”关系的模型，而T是T--尽管如此，std::is_base_of<int, int>::value是假的，因为只有类参与了这个特性模型中的关系。

可能的实施

命名空间详细信息{模板<typename Base>STD：真的[医]类型是[医]底座[医]成[医]试验[医]漏斗%28基座%2A%29；模板<typename Base>性病：假[医]类型是[医]底座[医]成[医]试验[医]漏斗%28%2A%29；模板<TypeName Base，type Name派生>使用PRE[医]是[医]底座[医]=解密类型%28 is[医]底座[医]成[医]试验[医]漏斗<Base>%28 std：：Decval<派生%2A>%28%29%29%29；//具有<实验/类型[医]特性>：//模板<类型名称库，类型名称派生>//使用PRE[医]是[医]底座[医]2=std：：实验：：检测到[医]或[医]T<std：：true[医]类型，预[医]是[医]底座[医]模板<type Name base，type Name派生，type Name=void>struct pree[医]是[医]底座[医]2：公共性病：：真[医]类型{}；//注意事项STD：：void[医]T是一个C++17特性模板<type Name Base，type Name派生的>structpree[医]是[医]底座[医]2<base，导出，std：：void[医]T<PRE[医]是[医]底座[医]<Base，派生>>：公共预[医]是[医]底座[医]>}模板<type Name base，type Name派生>struct是[医]底座[医]公共性病：：有条件[医]T<std：：is[医]类<Base>*Value&STD：：IS[医]类<Derived>*价值、细节：：PRE[医]是[医]底座[医]2<base，派生>，std：：false[医]类型>{}；

*。

例

二次

#include <iostream>
#include <type_traits>
 
class A {};
 
class B : A {};
 
class C {};
 
int main() 
{
    std::cout << std::boolalpha;
    std::cout << "a2b: " << std::is_base_of<A, B>::value << '\n';
    std::cout << "b2a: " << std::is_base_of<B, A>::value << '\n';
    std::cout << "c2b: " << std::is_base_of<C, B>::value << '\n';
    std::cout << "same type: " << std::is_base_of<C, C>::value << '\n';
}

二次

产出：

二次

a2b: true
b2a: false
c2b: false
same type: true

二次

另见

二次

*。

 © cppreference.com

在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。

http：//en.cppreference.com/w/cpp/type/is[医]底座[医]成