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

~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("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/w/cpp/utility/variant/%7Evariant