C++ variant用法教程_C++类型安全的联合体替代方案

std::variant是C++17引入的类型安全联合体，可存储多种类型之一并明确记录当前类型。它支持复杂类型，避免未定义行为，通过std::get、std::get_if和std::visit安全访问值，常用于多类型返回值、消息系统等场景，提升程序健壮性。

在C++中，std::variant 是 C++17 引入的一个类型安全的“联合体”（union）替代方案。与传统的 union 不同，它能明确知道当前存储的是哪种类型，避免了因类型误用导致的未定义行为。这使得 std::variant 成为处理多种可能类型时更安全、更现代的选择。

什么是 std::variant？

std::variant 是一个可以保存多种不同类型值的类模板，但任意时刻只能保存其中一种类型的值。它类似于 union，但具备类型安全性，并且支持带有构造函数和析构函数的复杂类型。

例如，你可以定义一个 variant 来存储 int、double 或 string：

#include 
#include 

std::variant v = 42; // 当前持有 int
v = 3.14;                                      // 现在持有 double
v = "hello";                                   // 现在持有 std::string

如何访问 variant 中的值？

直接获取值需要小心，因为如果类型不匹配会抛出异常。推荐使用标准方法来安全提取数据。

立即学习“C++免费学习笔记（深入）”；

如果你确定当前 variant 存储的是某种类型，可以用 std::get 获取：

v = 3.14;
double d = std::get(v); // 正确
// int i = std::get(v);    // 抛出 std::bad_variant_access

返回指向当前值的指针，若类型不符则返回 nullptr：

Background Eraser

AI自动删除图片背景

下载

if (auto p = std::get_if(&v)) {
    std::cout << "Got double: " << *p << '\n';
} else if (auto p = std::get_if(&v)) {
    std::cout << "Got string: " << *p << '\n';
}

这是最强大也最常用的方式——通过访问者模式统一处理所有可能类型：

struct PrintVisitor {
    template
    void operator()(const T& value) const {
        std::cout << value << '\n';
    }
};

std::visit(PrintVisitor{}, v); // 自动调用对应类型的 operator()

也可以用 lambda 写得更简洁：

std::visit([](auto&& arg){
    std::cout << arg << '\n';
}, v);

常见使用场景

比如解析配置项时，值可能是数字、布尔或字符串：

std::variant parse_config_value(const std::string& str);

每个消息可以是不同种类，用 variant 统一封装：

using Message = std::variant;

相比裸指针或 union，variant 提供编译期类型检查和运行时安全，减少错误风险。

注意事项和技巧

• variant 至少要包含一个类型，空 variant 会导致编译错误。
• 默认构造时，variant 会初始化第一个可默认构造的类型。
• 可以通过 std::monostate 实现“可为空”的行为，尤其当首类型不可默认构造时：

std::variant maybe_value;

• 使用 v.index() 查看当前存储类型的索引，可用于调试或状态判断。
• 注意性能：variant 的大小等于最大类型的大小加上少量额外开销，适合小数量类型组合。

基本上就这些。std::variant 让你在需要“多态但非继承”的场合有了更清晰、更安全的表达方式。配合 std::visit 和 lambda，代码既简洁又高效。合理使用，能显著提升 C++ 程序的健壮性。