Namensräume
Varianten
Aktionen

C++ benannte Anforderungen: Destructible

Von cppreference.com
 
 
C++ benannte Anforderungen
 

Gibt an, dass eine Instanz des Typs zerstört werden kann.

[bearbeiten] Anforderungen

Der Typ T erfüllt die Anforderung Destructible, wenn

Gegeben

  • u, ein Ausdruck vom Typ T.

Die folgenden Ausdrücke müssen gültig sein und ihre angegebenen Effekte haben.

Ausdruck Nachbedingungen
u.~T() Alle von u gehaltenen Ressourcen werden freigegeben, es werden keine Ausnahmen ausgelöst.

[bearbeiten] Hinweise

Destruktoren werden implizit am Ende der Lebensdauer eines Objekts aufgerufen, z. B. beim Verlassen eines Gültigkeitsbereichs oder durch den delete-Ausdruck. Ein expliziter Aufruf des Destruktors, wie in der Tabelle der Typanforderungen gezeigt, ist selten.

Dank des Pseudo-Destruktoraufrufs erfüllen alle skalareren Typen die Anforderung Destructible, während Array-Typen und Referenztypen dies nicht tun. Beachten Sie, dass std::is_destructible Arrays und Referenztypen zulässt.

[bearbeiten] Siehe auch

prüft, ob ein Typ einen nicht-gelöschten Destruktor hat
(Klassenvorlage) [bearbeiten]
spezifiziert, dass ein Objekt des Typs zerstört werden kann
(Konzept) [bearbeiten]