std::variant<Types...>::~variant
Материал из cppreference.com
<tbody>
</tbody>
<tbody class="t-dcl-rev ">
</tbody><tbody>
</tbody>
~variant(); |
(начиная с C++17) (до C++20) |
|
constexpr ~variant(); |
(начиная с C++20) | |
Если valueless_by_exception() равно true, ничего не делает. Иначе уничтожает текущее содержащееся значение.
Этот деструктор является тривиальным, если std::is_trivially_destructible_v<T_i> равно true для всех T_i в Types....
Пример
Запустить этот код
#include <variant>
#include <cstdio>
int main()
{
struct X { ~X() { puts("X::~X();"); } };
struct Y { ~Y() { puts("Y::~Y();"); } };
{
puts("вход в блок #1");
std::variant<X,Y> var;
puts("выход из блока #1");
}
{
puts("вход в блок #2");
std::variant<X,Y> var{ std::in_place_index_t<1>{} }; // создаёт var(Y)
puts("выход из блока #2");
}
}
Вывод:
вход в блок #1
выход из блока #1
X::~X();
вход в блок #2
выход из блока #2
Y::~Y();
Отчёты о дефектах
Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:
| Номер | Применён | Поведение в стандарте | Корректное поведение |
|---|---|---|---|
| WG не указан | C++20 | деструктор не был constexpr, в то время как нетривиальные деструкторы могут быть constexpr в C++20 |
сделан constexpr |