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

Если valueless_by_exception() возвращает true , ничего не делает. В противном случае уничтожает содержащийся в данный момент объект.

Этот деструктор является тривиальным, если std:: is_trivially_destructible_v < T_i > равно true для всех T_i в Types... .

Примечания

Пример

#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++.