C++的std::variant和union有何不同_C++17类型安全联合体的现代用法

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

C++的std::variant和union有何不同_C++17类型安全联合体的现代用法

2025-12-03

浏览次数：次

返回列表

std::variant 能记录当前存储的类型，避免未定义行为，而传统 union 需手动管理类型状态，易出错。

c++的std::variant和union有何不同_c++17类型安全联合体的现代用法

std::variant 是 C++17 引入的一种类型安全的联合体（type-safe union），它与传统的 C++ union 有本质区别。虽然两者都表示“多个类型中只能有一个被激活”，但 std::variant 提供了更安全、更现代的使用方式，避免了传统 union 常见的未定义行为问题。

类型安全性：std::variant 知道当前存储的是什么类型

传统 union 不记录当前激活的成员，程序员必须自行管理状态，否则极易引发未定义行为：

union LegacyData {
    int i;
    double d;
};
LegacyData u;
u.i = 42;
// 错误：读取 d 而不是 i，未定义行为
std::cout << u.d; // 危险！

而 std::variant 自带“活动类型”信息，能安全地判断或访问当前值：

std::variant<int, double> v = 42;
// 正确：知道当前是 int
std::cout << std::get<int>(v); // 输出 42

v = 3.14;
// 正确：自动切换为 double
std::cout << std::get<double>(v); // 输出 3.14

析构与构造：自动管理资源生命周期

union 无法包含有非平凡构造/析构函数的类型，例如 std::string 或 std::vector：

// 错误：不能在 union 中使用 std::string
union Bad {
    int i;
    std::string s; // 编译失败
};

std::variant 没有这个限制，它会正确调用构造和析构函数：

std::variant<int, std::string> v = "hello";
v = 100; // 自动析构 string，构造 int
// 资源管理由标准库完成，不会泄漏

访问安全：支持多种安全访问机制

std::variant 提供了多种方式安全地访问值：

神笔马良

神笔马良 - AI让剧本一键成片。

320 查看详情神笔马良

std::get(v)：如果类型不匹配，抛出 std::bad_variant_access
std::get_if(&v)：返回指针，可用于判断是否为某类型
std::visit：配合 lambda 实现类型分发，类型安全且清晰

例如使用 std::visit 处理不同分支：

std::visit([](auto&& arg) {
    using T = std::decay_t<decltype(arg)>;
    if constexpr (std::is_same_v<T, int>)
        std::cout << "整数: " << arg;
    else if constexpr (std::is_same_v<T, double>)
        std::cout << "浮点: " << arg;
    else if constexpr (std::is_same_v<T, std::string>)
        std::cout << "字符串: " << arg;
}, v);