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

来自cppreference.com
< cpp‎ | utility‎ | variant
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
 
 
~variant();
(C++17 起)
(C++20 前)
constexpr ~variant();
(C++20 起)

valueless_by_exception()true ,则不做任何事。否则销毁当前所含值。

若对于所有 Types... 中的 T_istd::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++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P2231R1 C++20 析构函数不是 constexpr ,而非平凡析构函数在 C++20 中能为 constexpr 使之为 constexpr