C++ named requirements: Destructible

Especifica que una instancia del tipo puede ser destruida.

Requisitos

El tipo T satisface Destructible si

Dado

• u , una expresión de tipo T .

Las siguientes expresiones deben ser válidas y tener sus efectos especificados.

Expression	Post-conditions
u.~T ( )	Todos los recursos poseídos por u son liberados, no se lanzan excepciones.

Notas

Los destructores se llaman implícitamente al final de la vida útil del objeto , como al salir del ámbito o mediante la expresión delete . La llamada explícita al destructor como se muestra en la tabla de requisitos de tipo es poco común.

Gracias a la llamada al pseudo destructor , todos los tipos escalares cumplen con el requisito de Destructible , mientras que los tipos array y los tipos referencia no. Nótese que std::is_destructible permite arrays y tipos referencia.

Véase también

is_destructible is_trivially_destructible is_nothrow_destructible (C++11) (C++11) (C++11)	verifica si un tipo tiene un destructor no eliminado (plantilla de clase)
destructible (C++20)	especifica que un objeto del tipo puede ser destruido (concepto)