Namespaces
Variants

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

From cppreference.net
Utilities library
~variant ( ) ;
(C++17부터)
(C++20부터 constexpr)

만약 valueless_by_exception() true 인 경우, 아무 작업도 수행하지 않습니다. 그렇지 않으면 현재 포함된 객체를 파괴합니다.

이 소멸자는 std:: is_trivially_destructible_v < T_i > true 인 경우 T_i 에 대해 Types... 의 모든 T_i 에 대해 trivial합니다.

참고 사항

기능 테스트 매크로 표준 기능
__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 이 아니었으나 C++20에서는 비트리비얼 소멸자들이 constexpr 일 수 있음 constexpr 으로 변경됨