std::is_pointer_interconvertible_base_of

template< class Base, class Derived >
struct is_pointer_interconvertible_base_of;

Если Derived однозначно происходит от Base и каждый объект Derived является указательно-совместимым с его Base под объектом, или если оба являются одним и тем же классом без объединения (в обоих случаях игнорируя квалификацию cv), предоставляет статическую константу value равную true. В противном случае value является false.

Если оба Base и Derived являются типами классов без объединения, и они не являются одним и тем же типом (игнорируя cv-квалификацию), Derived должен быть полностью определённым типом; в противном случае поведение является неопределённым.

Поведение программы, добавляющей специализации для std::is_pointer_interconvertible_base_of или std::is_pointer_interconvertible_base_of_v является неопределённым.

Вспомогательный шаблон переменной

template< class Base, class Derived >
inline constexpr bool is_pointer_interconvertible_base_of_v =
    is_pointer_interconvertible_base_of<Base, Derived>::value;

Примечания

std::is_pointer_interconvertible_base_of_v<T, U> может быть true даже если T является закрытым или защищённым базовым классом U.

Пусть

• U — это полный тип объекта,
• T — это полный тип объекта с cv-квалификацией не менее U,
• u — это любой допустимый lvalue типа 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() {}

См. также