std:: is_pointer_interconvertible_base_of

Wenn Derived eindeutig von Base abgeleitet ist und jedes Derived Objekt zeiger-interkonvertierbar mit seinem Base Unterobjekt ist, oder wenn beide dieselbe Nicht-Union-Klasse sind (in beiden Fällen unter Ignorierung von CV-Qualifizierern), liefert die Member-Konstante value den Wert true . Andernfalls ist value false .

Wenn sowohl Base als auch Derived Nicht-Union-Klassentypen sind und sie nicht denselben Typ haben (unter Ignorierung von CV-Qualifizierern), Derived muss ein vollständiger Typ sein; andernfalls ist das Verhalten undefiniert.

Wenn das Programm Spezialisierungen für std::is_pointer_interconvertible_base_of oder std::is_pointer_interconvertible_base_of_v hinzufügt, ist das Verhalten undefiniert.

Hilfsvariablen-Template

Hinweise

std :: is_pointer_interconvertible_base_of_v < T, U > kann true sein, selbst wenn T eine private oder protected Basisklasse von U ist.

Sei

• U sei ein vollständiger Objekttyp,
• T sei ein vollständiger Objekttyp mit CV-Qualifikation nicht geringer als U ,
• u sei ein beliebiger gültiger Lvalue von U ,

reinterpret_cast < T & > ( u ) hat immer ein wohldefiniertes Ergebnis, wenn std :: is_pointer_interconvertible_base_of_v < T, U > gleich true ist.

Wenn T und U nicht denselben Typ haben (unter Ignorierung von CV-Qualifizierern) und T eine zeigerinterkonvertierbare Basisklasse von U ist, dann sind sowohl std:: is_standard_layout_v < T > als auch std:: is_standard_layout_v < U > true .

Wenn T ein Standard-Layout-Klassentyp ist, dann sind alle Basisklassen von T (falls vorhanden) zeigerinterkonvertierbare Basisklassen von T .

Beispiel

#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() {}

Siehe auch