Requisitos denominados de C++: Destructible
De cppreference.com
Especifica que un ejemplar del tipo puede destruirse.
Requisitos
El tipo T satisface a Destructible si dada:
u, una expresión de tipoT.
Las siguientes expresiones deben ser válidas y tener sus efectos especificados:
| Expresión | Poscondiciones |
|---|---|
u.~T()
|
Todos los recursos propiedad de u se recuperan, no se lanzan excepciones.
|
Notas
Los destructores se llaman implícitamente tanto al final de la duración del objeto como al salir del ámbito o mediante la expresión delete. La llamada explícita al destructor que se muestra en la tabla de requisitos del tipo es rara.
Gracias a la llamada al pseudodestructor, todos los tipos escalares cumplen con el requisito de Destructible, mientras que los tipos array y tipos referencia no. Observa que std::is_destructible permite tipos array y referencia.
Véase también
(C++11)(C++11)(C++11) |
Comprueba si un tipo tiene un destructor no eliminado (e.g., = delete). (plantilla de clase) |
(C++20) |
Especifica que un objeto de este tipo puede destruirse. (concepto) |