std::variant是C++17引入的类型安全联合体,可存储多种类型之一并记录当前类型,避免未定义行为。它通过模板定义可选类型,如std::variant,默认构造时使用首个可默认构造的类型,支持赋值切换类型,并用std::get按类型安全访问值,确保类型正确匹配,防止非法访问。

在C++17中引入的std::variant是一种类型安全的联合体(union),用来替代传统C风格union,避免未定义行为。它能在一个对象中存储多种不同类型中的某一种,并确保类型安全,是处理“一个值可能是多种类型之一”的理想选择。
什么是std::variant?
std::variant 是一个类模板,可以持有其模板参数列出的任意一种类型的值。同一时间只能保存其中一个类型的一个实例。与原始 union 不同,std::variant 记录当前存储的是哪种类型(称为活动类型),从而防止非法访问。
例如:
std::variant data;
立即学习“C++免费学习笔记(深入)”;
这个变量 data 可以是 int、string 或 double 类型之一。
基本使用方法
创建和赋值非常直观:
默认构造时,初始化为第一个可默认构造的类型 可以通过赋值或构造函数设置新值 使用 std::get 来获取值(需知道确切类型)
示例代码:
std::variant v = 42;
v = “hello”; // 自动切换为 string 类型
// 获取值(注意:类型必须匹配)
std::cout (v)
// 错误:运行时会抛出 std::bad_variant_access 异常
// std::cout (v);
安全访问 variant 中的值
直接用 std::get 取值有风险,如果类型不匹配会抛异常。推荐以下几种更安全的方式:
1. 使用 std::holds_alternative 检查类型
if (std::holds_alternative(v)) {
std::cout (v);
}
2. 使用 std::visit 配合 lambda 进行泛型访问
这是最强大也最常用的方法,尤其适合需要对不同类型的值执行不同逻辑的情况。
std::visit([](const auto& value) {
std::cout }, v);
lambda 中的 auto& 会被实例化为每种可能类型的引用,实现统一处理。
也可以写成多个重载的函数对象:
struct Printer {
void operator()(int i) const { std::cout void operator()(const std::string& s) const { std::cout };
std::visit(Printer{}, v);
实际应用场景
1. 表示可能有多种类型的配置项或数据字段
比如 JSON 解析中,一个字段可能是字符串、数字或布尔值:
using JsonValue = std::variant;
2. 替代继承层次的小型多态系统
当不需要完整 OOP 多态时,用 variant 更轻量高效。
3. 错误处理(配合 std::monostate 实现类似 Rust 的 Result)
虽然 C++23 有 std::expected,但在之前可用 variant 模拟:
using Result = std::variant; // 值 或 错误信息
通过 std::monostate 可构建无状态选项,实现类似“可选联合”结构。
基本上就这些。std::variant 提供了类型安全、易于使用的多类型容器,结合 std::visit 能写出清晰且高效的代码,是现代 C++ 中处理异构数据的重要工具。合理使用能显著提升代码健壮性和可读性。
以上就是C++如何使用std::variant_C++类型安全联合体与std::variant应用的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1484372.html
微信扫一扫
支付宝扫一扫