Namensräume
Varianten
Aktionen

std::has_virtual_destructor

Von cppreference.com
< cpp‎ | types
 
C++
 
Metaprogrammierungsbibliothek
Typmerkmale
Typkategorien
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Typeneigenschaften
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11)(deprecated in C++26)
(C++11)
(C++11)
(C++11)(bis C++20*)
(C++11)(veraltet in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Typmerkmalskonstanten
(C++11)(C++17)(C++11)(C++11)
Metafunktionen
(C++17)
(C++17)
(C++17)
Unterstützte Operationen
Beziehungen und Eigenschaftsabfragen
Typmodifikationen
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
Typentransformationen
(C++11)(veraltet in C++23)
(C++11)(veraltet in C++23)
(C++11)
(C++20)
(C++11)(bis C++20*)(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
(C++14)
 
Definiert in der Kopfdatei <type_traits>
template< class T >
struct has_virtual_destructor;
 (seit C++11)

std::has_virtual_destructor ist ein UnaryTypeTrait.

Wenn T ein Typ mit einem virtuellen Destruktor ist, ist die Basischarakteristik std::true_type. Für jeden anderen Typ ist die Basischarakteristik std::false_type.

Wenn T ein unvollständiger nicht-union-Klassentyp ist, ist das Verhalten undefiniert.

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

Inhalt

[bearbeiten] Template-Parameter

T - ein zu prüfender Typ

[bearbeiten] Hilfsvariablen-Template

template< class T >
constexpr bool has_virtual_destructor_v = has_virtual_destructor<T>::value;
 (seit C++17)
[Bearbeiten]

Abgeleitet von std::integral_constant

Member-Konstanten

value
[static]
 true, wenn T einen virtuellen Destruktor hat, sonst false.
(öffentliche statische Member-Konstante)

Memberfunktionen

operator bool
 konvertiert das Objekt zu bool, gibt value zurück
(öffentliche Memberfunktion)
operator()
(C++14)
 gibt value zurück
(öffentliche Memberfunktion)

Membertypen

Typ Definition
value_type bool
type std::integral_constant<bool, value>

[edit] Hinweise

Wenn eine Klasse C einen öffentlichen virtuellen Destruktor hat, kann von ihr abgeleitet werden, und das abgeleitete Objekt kann sicher über einen Zeiger auf das Basisobjekt gelöscht werden (GotW #18). In diesem Fall ist std::is_polymorphic<C>::value true.

[edit] Beispiel

Führen Sie diesen Code aus
#include <type_traits>
 
struct S {};
static_assert(!std::has_virtual_destructor_v<S>);
 
struct B { virtual ~B() {} };
static_assert(std::has_virtual_destructor_v<B>);
 
struct D : B { ~D() {} };
static_assert(std::has_virtual_destructor_v<D>);
 
int main()
{
    B* pd = new D;
    delete pd;
}

[edit] Defect reports

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
LWG 2015 C++11 Das Verhalten war undefiniert, wenn
T ein unvollständiger Union-Typ war		 Die Basischarakteristik ist
std::false_type in diesem Fall

[edit] Siehe auch

(C++11)(C++11)(C++11)
 prüft, ob ein Typ einen nicht-gelöschten Destruktor hat
(Klassenvorlage) [bearbeiten]
(C++11)
 prüft, ob ein Typ ein polymorpher Klassentyp ist
(Klassenvorlage) [bearbeiten]
Abgerufen von "https://cppreference.de/mwiki/index.php?title=cpp/types/has_virtual_destructor&oldid=156467"