std::variant<Types...>::~variant

~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	Применяется к	Поведение согласно опубликованной версии	Корректное поведение
P2231R1	C++20	деструктор не был constexpr, хотя нетривиальные деструкторы могут быть constexpr в C++20	сделан constexpr

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/variant/~variant