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

声明

C++17

~variant()

C++20

constexpr ~variant()

如果 valueless_by_exception() 为 true，则不执行任何操作。否则，销毁当前包含的值。

如果 `Types...` 中所有 `T_i` 的 `std::is_trivially_destructible_v<T_i>` 都为 true，则此析构函数是平凡的。

示例

#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，而非平凡的析构函数在 C++20 中可以是 constexpr	变为 constexpr