std:: is_pointer_interconvertible_base_of

Если Derived однозначно наследуется от Base и каждый объект Derived является pointer-interconvertible со своим подобъектом Base , или если оба являются одним и тем же не-объединенным классом (в обоих случаях игнорируя cv-квалификаторы), предоставляет константу-член value равную true . В противном случае 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 быть любым корректным 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() {}

Смотрите также