c++的std::variant怎么用 类型安全的union【详解】

std::variant 是 C++17 引入的类型安全联合体，运行时明确持有且仅持有一种预定义类型，自动管理构造/析构、禁止隐式转换，并通过 std::visit 或 std::get 安全访问。

std::variant 是 C++17 引入的类型安全联合体（type-safe union），它能在一个对象中存储多种不同类型中的某一种，并在运行时明确知道当前存的是哪个类型，彻底避免了传统 union 的未定义行为和手动管理类型的麻烦。

核心特点：安全、明确、可访问

与裸 union 不同，std::variant 自动管理构造/析构、禁止隐式转换、提供编译期类型检查和运行时状态查询。它不是“多个值共存”，而是“**一个值，但可能是其中某一种类型**”。

• 只能持有模板参数列表中声明的类型之一（如 std::variant<int std::string double></int>）
• 默认初始化为第一个类型的默认值（如 int{}），也可用 std::monostate 表示空状态
• 访问前必须确认当前持有的类型，否则抛出 std::bad_variant_access

基本用法：构造、赋值、获取值

构造方式灵活，支持直接初始化、拷贝/移动、甚至聚合初始化（C++20 起）：

std::variant<int, std::string> v1 = 42;           // 推导为 int
std::variant<int, std::string> v2{"hello"};      // 推导为 string
std::variant<int, std::string> v3 = std::string{"world"}; // 显式构造
v1 = std::string{"changed"};                    // 赋值会自动销毁旧值、构造新值

登录后复制

获取值推荐使用 std::get<t>(v)</t> 或 std::get<i>(v)</i>（I 为索引），但需确保类型匹配：

标签： access c++ 隐式转换