std::experimental::ranges:: Destructible
|
Definido en el encabezado
<experimental/ranges/concepts>
|
||
|
template
<
class
T
>
concept bool Destructible = std:: is_nothrow_destructible < T > :: value ; |
(ranges TS) | |
El concepto
Destructible
especifica el concepto de todos los tipos cuyas instancias pueden destruirse de forma segura al final de su tiempo de vida (incluyendo tipos de referencia).
No es necesario que exista ninguna relación de subsunción entre
Destructible<T>
y
std::
is_nothrow_destructible
<
T
>
::
value
.
Notas
A diferencia del
Destructible
requisito con nombre en el estándar principal de C++,
Destructible
requiere que el destructor sea
noexcept
(
true
)
, no meramente no lanzador cuando se invoca, y permite tipos de referencia y tipos de arreglo.
Véase también
|
(C++11)
(C++11)
(C++11)
|
verifica si un tipo tiene un destructor no eliminado
(plantilla de clase) |