std::experimental::ranges:: Destructible
|
Défini dans l'en-tête
<experimental/ranges/concepts>
|
||
|
template
<
class
T
>
concept bool Destructible = std:: is_nothrow_destructible < T > :: value ; |
(ranges TS) | |
Le concept
Destructible
spécifie le concept de tous les types dont les instances peuvent être détruites en toute sécurité à la fin de leur durée de vie (y compris les types référence).
Il n'est pas nécessaire qu'il existe une relation de subsomption entre
Destructible<T>
et
std::
is_nothrow_destructible
<
T
>
::
value
.
Notes
Contrairement à l'exigence nommée
Destructible
dans le standard principal C++,
Destructible
exige que le destructeur soit
noexcept
(
true
)
, pas simplement non-lançant d'exception lors de son invocation, et autorise les types référence et les types tableau.
Voir aussi
|
(C++11)
(C++11)
(C++11)
|
vérifie si un type a un destructeur non supprimé
(modèle de classe) |