Namespaces
Variants

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

С сайта ru.cppreference.net
 
 
Библиотека утилит
Поддержка языка
Поддержка типов (основные типы, RTTI)
Макросы проверки возможностей библиотеки (C++20)
Утилиты программы
Функции с переменным числом аргументов
Поддержка корутин (C++20)
Поддержка контрактов (C++26)
Трёхстороннее сравнение
(C++20)
(C++20)(C++20)(C++20)    
(C++20)(C++20)(C++20)

Общие утилиты
Операторы отношений (устарело в C++20)
 
 
~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