std:: variant

类模板 std::variant 表示一个类型安全的 联合体 。

在任何给定时刻， variant 实例要么持有其某个备选类型的值，要么在错误情况下不持有任何值（这种状态很难达成，参见 valueless_by_exception ）。

与联合体类似，若 variant 持有某个对象类型 T 的值，则该 T 对象会 嵌套在 variant 对象内部。

variant 不允许持有引用、数组或 void 类型。

一个 variant 允许多次持有相同类型，并且可以持有同一类型的不同 cv 限定版本。

与 聚合初始化 期间联合体的行为一致，默认构造的 variant 持有其首个可选项的值，除非该可选项不可默认构造（此时该 variant 也不可默认构造）。辅助类 std::monostate 可用于使此类 variant 可默认构造。

一个使用无模板参数的 std::variant 定义进行实例化的程序是病式的。 std :: variant < std:: monostate > 可以作为替代方案使用。

如果程序声明了 std::variant 的 显式 或 部分 特化，则该程序非良构，不要求诊断。

模板参数

成员函数

非成员函数

辅助类

辅助对象

注释

示例

#include <cassert>
#include <iostream>
#include <string>
#include <variant>
int main()
{
    std::variant<int, float> v, w;
    v = 42; // v 包含 int
    int i = std::get<int>(v);
    assert(42 == i); // 成功
    w = std::get<int>(v);
    w = std::get<0>(v); // 与上一行效果相同
    w = v; // 与上一行效果相同
//  std::get<double>(v); // 错误：[int, float] 中无 double 类型
//  std::get<3>(v);      // 错误：有效索引值为 0 和 1
    try
    {
        std::get<float>(w); // w 包含 int 而非 float：将抛出异常
    }
    catch (const std::bad_variant_access& ex)
    {
        std::cout << ex.what() << '\n';
    }
    using namespace std::literals;
    std::variant<std::string> x("abc");
    // 转换构造函数在无歧义时生效
    x = "def"; // 转换赋值在无歧义时同样生效
    std::variant<std::string, void const*> y("abc");
    // 传入 char const* 时转换为 void const*
    assert(std::holds_alternative<void const*>(y)); // 成功
    y = "xyz"s;
    assert(std::holds_alternative<std::string>(y)); // 成功
}

std::get: wrong index for variant

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

参见