std:: is_pointer_interconvertible_base_of

如果 Derived 明确继承自 Base 且每个 Derived 对象都与其 Base 子对象 指针可互转换 ，或者两者为同一非联合类（两种情况均忽略 cv 限定符），则提供等于 true 的成员常量 value 。否则 value 为 false 。

如果 Base 和 Derived 均为非联合类类型，且二者类型不同（忽略 cv 限定符），则 Derived 必须是 完整类型 ；否则行为未定义。

如果程序为 std::is_pointer_interconvertible_base_of 或 std::is_pointer_interconvertible_base_of_v 添加特化，则行为未定义。

辅助变量模板

注释

std :: is_pointer_interconvertible_base_of_v < T, U > 可能返回 true ，即使 T 是 U 的私有或受保护基类。

令

• 设 U 为完整对象类型，
• 设 T 为 cv 限定不低于 U 的完整对象类型，
• 设 u 为 U 类型的任意有效左值，

reinterpret_cast < T & > ( u ) 在 std :: is_pointer_interconvertible_base_of_v < T, U > 为 true 时始终具有明确定义的结果。

如果 T 和 U 不是同一类型（忽略 cv 限定符）且 T 是 U 的指针可互转换基类，则 std:: is_standard_layout_v < T > 和 std:: is_standard_layout_v < U > 均为 true 。

如果 T 是标准布局类类型，那么 T 的所有基类（如果存在）都是 T 的指针可互转换基类。

示例

#include <type_traits>
struct Foo {};
struct Bar {};
class Baz : Foo, public Bar { int x; };
class NonStdLayout : public Baz { int y; };
static_assert(std::is_pointer_interconvertible_base_of_v<Bar, Baz>);
static_assert(std::is_pointer_interconvertible_base_of_v<Foo, Baz>);
static_assert(not std::is_pointer_interconvertible_base_of_v<Baz, NonStdLayout>);
static_assert(std::is_pointer_interconvertible_base_of_v<NonStdLayout, NonStdLayout>);
int main() {}

参见