std::variant<Types...>::~variant
С сайта ru.cppreference.net
~variant();
|
(начиная с C++17) (constexpr начиная с C++20) |
|
Если valueless_by_exception() — это true, не делает ничего. В противном случае уничтожает текущий хранящийся внутри объект.
Этот деструктор является тривиальным, если std::is_trivially_destructible_v<T_i> является true для всех T_i из Types....
Примечания
| Макрос тестирования возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_variant
|
202106L
|
(C++20)
(DR) |
Полностью
constexpr
std::variant
|
Пример
Запустить этот код
#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"); } }
Вывод:
entering block #1 leaving block #1 X::~X(); entering block #2 leaving block #2 Y::~Y();
Отчеты о дефектах
Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены задним числом к ранее опубликованным стандартам C++.
| DR | Applied to | Behavior as published | Correct behavior |
|---|---|---|---|
| P2231R1 | C++20 | деструктор не был constexpr в то время как нетривиальные деструкторы могут быть constexpr в C++20 | сделан constexpr |