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

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

下次还敢

发布： 2025-12-05 14:57:07

原创

816人浏览过

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

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

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

什么是 std::variant？

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

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

#include <variant>
#include <string>

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

登录后复制

如何访问 variant 中的值？

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

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

1. 使用 std::get(variant)

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

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

登录后复制

2. 使用 std::get_if 获取指针（更安全）

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

Riffo

Riffo是一个免费的文件智能命名和管理工具

216

查看详情

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

登录后复制

3. 使用 std::visit 进行类型分发

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

struct PrintVisitor {
    template<typename T>
    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);

登录后复制

常见使用场景

1. 表示可能有多种类型的返回值

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

std::variant<int, bool, std::string> parse_config_value(const std::string& str);

登录后复制

2. 构建类型安全的事件或消息系统

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

using Message = std::variant<LoginRequest, LogoutEvent, DataPacket>;

登录后复制

3. 替代不安全的 union 和 void*

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

注意事项和技巧

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

std::variant<std::monostate, MyNonDefaultConstructibleType> maybe_value;

登录后复制

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

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

以上就是C++ variant用法教程_C++类型安全的联合体替代方案的详细内容，更多请关注php中文网其它相关文章！

大家都在看：

为什么Golang的函数参数都是值传递分析指针与引用传递的区别如何为C++搭建区块链节点开发环境 Hyperledger Fabric集成 Golang的包管理机制如何运作介绍go mod的依赖管理方式为什么Golang要禁止循环引用讲解编译器的包依赖检查规则 Golang的select语句如何实现多路复用剖析非阻塞IO处理机制