std::variant<Types...>:: ~variant
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Member functions | ||||
|
variant::~variant
|
||||
| Observers | ||||
| Modifiers | ||||
| Visitation | ||||
|
(C++26)
|
||||
| Non-member functions | ||||
| Helper classes | ||||
| Helper objects | ||||
|
~variant
(
)
;
|
(desde C++17)
(constexpr desde C++20) |
|
Si
valueless_by_exception()
es
true
, no hace nada. De lo contrario, destruye el objeto contenido actualmente.
Este destructor es trivial si
std::
is_trivially_destructible_v
<
T_i
>
es
true
para todos
T_i
en
Types...
.
Notas
| Macro de prueba de características | Valor | Std | Característica |
|---|---|---|---|
__cpp_lib_variant
|
202106L
|
(C++20)
(DR) |
std::variant
completamente
constexpr
|
Ejemplo
#include <cstdio> #include <variant> int main() { struct X { ~X() { puts("X::~X();"); } }; struct Y { ~Y() { puts("Y::~Y();"); } }; { puts("entering block #1"); std::variant<X,Y> var; puts("leaving block #1"); } { puts("entering block #2"); std::variant<X,Y> var{ std::in_place_index_t<1>{} }; // constructs var(Y) puts("leaving block #2"); } }
Salida:
entering block #1 leaving block #1 X::~X(); entering block #2 leaving block #2 Y::~Y();
Informes de defectos
Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.
| DR | Aplicado a | Comportamiento publicado | Comportamiento correcto |
|---|---|---|---|
| P2231R1 | C++20 | el destructor no era constexpr mientras que los destructores no triviales pueden ser constexpr en C++20 | hecho constexpr |