C++ variant用法解析_C++类型安全的union替代品详解

std::variant是C++17引入的类型安全联合体,可持有多种类型之一并记录当前类型,避免传统union的类型安全隐患,支持复杂类型和std::visit等安全访问方式。

c++ variant用法解析_c++类型安全的union替代品详解

C++ 中的 std::variant 是 C++17 引入的一个类型安全的联合体(union)替代品,用于表示可以持有多种不同类型之一的对象。与传统的 union 不同,variant 是类型安全的,能够明确知道当前存储的是哪种类型,并且支持带有构造函数和析构函数的复杂类型。

为什么需要 std::variant?

传统的 C 风格 union 存在严重的类型安全隐患:

无法追踪当前实际存储的类型。 对非 POD 类型(如 string、vector)使用时行为未定义。 容易引发未定义行为,例如读取错误的成员。

std::variant 解决了这些问题,它是一个“可辨识联合”(discriminated union),内部维护一个类型标签,确保每次访问都基于正确的类型。

基本用法

包含头文件:#include

立即学习“C++免费学习笔记(深入)”;

定义一个 variant 变量:

std::variant v;

这个 variant 可以保存 int、double 或 string 中的一种类型。默认初始化时,会使用第一个类型的默认构造函数(这里是 int(0))。

给 variant 赋值:

v = 42;           // v holds intv = 3.14;         // v now holds doublev = "hello";      // v now holds std::string

访问 variant 中的值

直接解包 variant 需要小心,推荐以下几种方式:

1. std::get(v)

通过类型获取值,如果当前类型不匹配会抛出 std::bad_variant_access 异常:

try {    int i = std::get(v);} catch (const std::bad_variant_access& e) {    // 处理类型错误}

2. std::get(v)

通过索引访问(从0开始),同样可能抛异常:

double d = std::get(v); // 获取第2个类型(double)

3. std::holds_alternative(v)

判断当前是否持有某类型:

if (std::holds_alternative(v)) {    double d = std::get(v);}

4. std::visit —— 最强大的访问方式

使用访问者模式统一处理所有可能类型,支持 lambda 表达式:

std::visit([](auto&& arg) {    using T = std::decay_t;    if constexpr (std::is_same_v)        std::cout << "int: " << arg << "n";    else if constexpr (std::is_same_v)        std::cout << "double: " << arg << "n";    else if constexpr (std::is_same_v)        std::cout << "string: " << arg << "n";}, v);

这种方式是类型安全且可扩展的,适合处理复杂逻辑。

常见应用场景

解析配置项:配置值可能是整数、浮点数或字符串。 JSON-like 数据结构:实现轻量级动态类型容器。 状态机或事件系统:事件数据可以是多种类型之一。 函数返回多类型结果:替代指针或输出参数,更清晰表达语义。

注意事项与技巧

variant 不能持有引用、数组或 void 类型,但可以持有指针。 如果某个类型不可复制或移动,variant 的对应操作也会被禁用。 variant 的大小至少等于最大成员的大小加上类型标签所需空间。 使用 std::monostate 表示空状态,适用于第一个类型无法默认构造的情况:

std::variant<std::monostate, std::function> callback;// 初始为空状态

基本上就这些。std::variant 提供了一种现代、安全、高效的方式来处理多类型变量,是传统 union 的理想替代方案。配合 std::visit 使用,代码更清晰、更少出错。合理使用能显著提升 C++ 程序的类型安全性和可维护性。

以上就是C++ variant用法解析_C++类型安全的union替代品详解的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1487830.html

赞 (0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
c++的地址无关代码(PIC)是什么_c++动态库与共享对象原理
上一篇 2025年12月19日 11:01:39
c++中的标签联合体(Tagged Union)是什么_c++ std::variant实现原理
下一篇 2025年12月19日 11:01:52

相关推荐

  • Java 中的异常体系结构是怎样的?Error和Exception有什么区别?

    Java 中的异常体系结构是怎样的?Error和Exception有什么区别?Java 中的异常体系结构是怎样的?Error和Exception有什么区别?Java 中的异常体系结构是怎样的?Error和Exception有什么区别?Java 中的异常体系结构是怎样的?Error和Exception有什么区别?

    Java异常体系以Throwable为根,分为Error和Exception:Error表示JVM无法恢复的严重问题,如OutOfMemoryError,通常不捕获;Exception表示可处理的异常,又分受检异常(如IOException,编译器强制处理)和非受检异常(如NullPointerEx…

    2026年9月27日 • 用户投稿
    100
  • 如何理解Claude的伦理限制 Claude伦理政策与使用规范解读

    如何理解Claude的伦理限制 Claude伦理政策与使用规范解读如何理解Claude的伦理限制 Claude伦理政策与使用规范解读如何理解Claude的伦理限制 Claude伦理政策与使用规范解读如何理解Claude的伦理限制 Claude伦理政策与使用规范解读

    claude 的伦理限制体现了其设计背后的价值观与逻辑,旨在引导负责任的 ai 使用。1. 对有害内容敏感是因为其内部指令机制强调拒绝虚假信息、歧视性言论及伤害性建议,并非简单过滤,而是基于任务是否有害做出判断;2. 不模仿名人说话是为了规避法律与伦理风险,鼓励原创而非复制真实人物;3. 团队协作功…

    2026年9月27日 • 用户投稿
    000
  • 淘宝秒杀的东西是正品吗?为什么这么便宜?3折秒杀暗藏玄机?供应链神压缩VS假货警戒线,一文识破真假便宜!

    淘宝秒杀的东西是正品吗?为什么这么便宜?3折秒杀暗藏玄机?供应链神压缩VS假货警戒线,一文识破真假便宜!淘宝秒杀的东西是正品吗?为什么这么便宜?3折秒杀暗藏玄机?供应链神压缩VS假货警戒线,一文识破真假便宜!淘宝秒杀的东西是正品吗?为什么这么便宜?3折秒杀暗藏玄机?供应链神压缩VS假货警戒线,一文识破真假便宜!淘宝秒杀的东西是正品吗?为什么这么便宜?3折秒杀暗藏玄机?供应链神压缩VS假货警戒线,一文识破真假便宜!

    每当淘宝秒杀页面跳出「仅剩3件」「低至3折」的提示,消费者往往陷入心动与迟疑的两难境地。这些商品到底是品牌清仓的真实让利,还是商家布下的营销迷局?本文将从平台机制、供应链内幕与消费陷阱三个角度,揭开秒杀狂欢背后的商业本质。 一、淘宝秒杀的运作机制揭秘 (一)平台的流量双面博弈 每天有高达3000万款…

    2026年9月27日 • 用户投稿
    1000
  • 为什么GPU驱动更新会影响游戏兼容性?

    为什么GPU驱动更新会影响游戏兼容性?为什么GPU驱动更新会影响游戏兼容性?为什么GPU驱动更新会影响游戏兼容性?为什么GPU驱动更新会影响游戏兼容性?

    驱动更新可能影响游戏兼容性与性能,主因是新功能引入或旧功能变更导致适配问题。更新后若出现画面撕裂或闪烁,应先确认使用官方驱动,再尝试回滚驱动、调整游戏设置、更新游戏版本或用DDU工具清理缓存重装。性能下降可能源于驱动优化侧重新款游戏、硬件兼容性问题或驱动自身bug,可透过官方论坛查证、测试不同驱动版…

    2026年9月27日 • 用户投稿
    000
  • 什么是泛型?泛型擦除是什么意思?有什么好处和局限?

    什么是泛型?泛型擦除是什么意思?有什么好处和局限?什么是泛型?泛型擦除是什么意思?有什么好处和局限?什么是泛型?泛型擦除是什么意思?有什么好处和局限?什么是泛型?泛型擦除是什么意思?有什么好处和局限?

    泛型通过类型参数提升代码复用与编译期类型安全,Java采用泛型擦除机制以兼容旧版本并简化JVM,但导致运行时无法获取泛型信息,需通过Class对象、通配符、类型令牌等策略应对。 泛型,简单来说,就是我们在编写代码时,能够让方法、类或接口处理多种数据类型的一种能力。它就像给我们的代码加了一层“智能外壳…

    2026年9月27日 • 用户投稿
    100
  • 如何正确配置防火墙规则以平衡安全与性能?

    如何正确配置防火墙规则以平衡安全与性能?如何正确配置防火墙规则以平衡安全与性能?如何正确配置防火墙规则以平衡安全与性能?如何正确配置防火墙规则以平衡安全与性能?

    答案是:防火墙规则需基于最小权限和默认拒绝原则,结合网络拓扑细化规则、定期审计清理僵尸规则,并利用日志监控优化性能与安全;在云环境则需借助自动化工具实现分布式、细粒度的动态防护。 配置防火墙规则以平衡安全与性能,这从来就不是一个一劳永逸的事情,它更像是一场持续的拉锯战。核心在于,你必须清楚地知道自己…

    2026年9月26日 • 用户投稿
    000
  • Maven进阶实战:多模块项目依赖管理与冲突解决

    Maven进阶实战:多模块项目依赖管理与冲突解决Maven进阶实战:多模块项目依赖管理与冲突解决Maven进阶实战:多模块项目依赖管理与冲突解决Maven进阶实战:多模块项目依赖管理与冲突解决

    答案:Maven多模块项目依赖管理核心在于父POM中使用统一版本、合理划分模块实现高内聚低耦合、通过排除冲突传递依赖,并利用mvn dependency:tree等工具分析依赖树,结合BOM引入、版本属性化管理等策略,确保依赖一致性与项目可维护性。 Maven多模块项目中的依赖管理与冲突解决,核心在…

    2026年9月26日 • 用户投稿
    300
  • Java泛型陷阱:Pair中List类型丢失问题及解决方案

    Java泛型陷阱:Pair中List类型丢失问题及解决方案Java泛型陷阱:Pair中List类型丢失问题及解决方案Java泛型陷阱:Pair中List类型丢失问题及解决方案Java泛型陷阱:Pair中List类型丢失问题及解决方案

    本文探讨了在Java中使用包含List的Pair时,若迭代循环中未正确使用泛型,可能导致List类型信息丢失的问题。核心在于,使用裸类型(Raw Type)的Pair会导致其内部泛型参数被擦除为Object,从而无法访问List特有的方法。解决方案是在循环声明中明确指定泛型类型,以确保编译时类型安全…

    2026年9月26日 • 用户投稿
    300
  • 别再浪费纸了!一文掌握“双面打印”的正确姿势

    别再浪费纸了!一文掌握“双面打印”的正确姿势别再浪费纸了!一文掌握“双面打印”的正确姿势别再浪费纸了!一文掌握“双面打印”的正确姿势别再浪费纸了!一文掌握“双面打印”的正确姿势

    你是否也曾为家中或办公室里堆积如山的废纸感到惋惜? 你是否在打印一份几十页的报告时,默默看着打印机“哗哗”吐出厚厚一叠纸张,心里泛起一丝浪费的不安? 其实,你距离成为一位高效、节约又环保的打印高手,只差一个“双面打印”的操作。 别再用“不会设置”、“太麻烦”当作借口,让纸张白白流失。 今天,我们就来…

    2026年9月26日 • 用户投稿
    1600
  • 云原生Java监控全套方案:从Micrometer到Grafana可视化看板

    云原生Java监控全套方案:从Micrometer到Grafana可视化看板云原生Java监控全套方案:从Micrometer到Grafana可视化看板云原生Java监控全套方案:从Micrometer到Grafana可视化看板云原生Java监控全套方案:从Micrometer到Grafana可视化看板

    云原生Java监控方案以Micrometer收集指标,Prometheus存储查询,Grafana实现可视化。Micrometer提供供应商中立的API,与Spring Boot Actuator集成,自动暴露JVM、HTTP等指标;通过micrometer-registry-prometheus依…

    2026年9月26日 • 用户投稿
    100
  • 浅谈 Windows 桌面端触摸架构演进

    浅谈 Windows 桌面端触摸架构演进浅谈 Windows 桌面端触摸架构演进浅谈 Windows 桌面端触摸架构演进浅谈 Windows 桌面端触摸架构演进

    我在和小伙伴水触摸相关的坑,说到了上古的触摸,很难和小伙伴统一知识,于是就写了本文用于告诉大家,桌面端的触摸架构是如何一步步演进的 所有触摸架构都建立在系统之上,和系统版本相关。所以可以通过系统划分。虽然说是触摸架构,但是我能知道的也就是应用层面的接口和编程方法,如果是小伙伴被标题吸引过来的,想看触…

    2026年9月26日 • 用户投稿
    200
  • realmeNarzo手机微信收款语音播报如何设置?配置语音提示教程

    答案:确保微信收款语音提醒开启,并检查Realme Narzo的媒体音量、通知权限、电池优化及勿扰模式。具体操作为:开启微信“收款到账语音播报”功能,调高播报音量;确认手机媒体音量未静音;在系统设置中允许微信通知并启用“支付通知”声音;将微信加入电池优化白名单,禁止后台限制;关闭勿扰模式。若仍无效,…

    2026年9月26日
    200
  • CountDownLatch, CyclicBarrier, Semaphore 的使用场景与区别

    CountDownLatch, CyclicBarrier, Semaphore 的使用场景与区别CountDownLatch, CyclicBarrier, Semaphore 的使用场景与区别CountDownLatch, CyclicBarrier, Semaphore 的使用场景与区别CountDownLatch, CyclicBarrier, Semaphore 的使用场景与区别

    CountDownLatch用于主线程等待其他线程完成操作,CyclicBarrier用于多线程相互等待至屏障点后集体执行,Semaphore用于控制并发访问资源的线程数量。 CountDownLatch, CyclicBarrier, Semaphore 都是并发编程中用于线程同步的工具,但它们的…

    2026年9月26日 • 用户投稿
    600
  • K8s为啥要启用bridge-nf-call-iptables内核参数?用案例给你讲明白!

    使用 kubernetes 遇到最多的 70%问题都可以归于网络问题,最近发现如果内核参数: bridge-nf-call-iptables设置不当的话会影响 kubernetes 中 node 节点上的 pod 通过 clusterip 去访问同 node上的其它 pod 时会有超时现象,复盘记录…

    2026年9月26日
    100
  • 请描述Java的内存区域(运行时数据区)

    请描述Java的内存区域(运行时数据区)请描述Java的内存区域(运行时数据区)请描述Java的内存区域(运行时数据区)请描述Java的内存区域(运行时数据区)

    Java运行时数据区分为程序计数器、Java虚拟机栈、本地方法栈、Java堆和方法区,其中堆和方法区为线程共享,其余为线程私有;程序计数器记录线程执行位置,虚拟机栈管理方法调用的栈帧,本地方法栈服务Native方法,堆存放对象实例并由GC管理,方法区存储类元数据和常量池;JDK 8后方法区由元空间替…

    2026年9月26日 • 用户投稿
    100
  • DeepSeek能做代码生成吗 使用DeepSeek进行编程任务的能力测试

    DeepSeek能做代码生成吗 使用DeepSeek进行编程任务的能力测试DeepSeek能做代码生成吗 使用DeepSeek进行编程任务的能力测试DeepSeek能做代码生成吗 使用DeepSeek进行编程任务的能力测试DeepSeek能做代码生成吗 使用DeepSeek进行编程任务的能力测试

    本文将探讨名为DeepSeek的语言模型在代码生成领域的表现。针对“DeepSeek能做代码生成吗?”这一问题,我们将阐述其在编程任务上的能力,并模拟进行一次能力测试的描述,帮助读者了解DeepSeek作为编程助手的潜力及其适用场景。 ☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量…

    2026年9月26日 • 用户投稿
    200
  • Java项目质量保障体系:静态分析、单元测试与集成测试

    Java项目质量保障体系:静态分析、单元测试与集成测试Java项目质量保障体系:静态分析、单元测试与集成测试Java项目质量保障体系:静态分析、单元测试与集成测试Java项目质量保障体系:静态分析、单元测试与集成测试

    静态分析是Java质量保障的第一道防线,因其能在代码运行前发现潜在缺陷。SonarQube等工具通过集成Checkstyle、PMD等规则集,实现代码规范、安全、性能的全面扫描,及早暴露空指针、资源泄漏等问题,减少技术债。它作为“预检系统”,避免低级错误流入后续阶段,提升整体代码整洁度,为单元与集成…

    2026年9月26日 • 用户投稿
    100
  • 对象的内存布局是怎样的?(对象头、实例数据、对齐填充)

    对象的内存布局是怎样的?(对象头、实例数据、对齐填充)对象的内存布局是怎样的?(对象头、实例数据、对齐填充)对象的内存布局是怎样的?(对象头、实例数据、对齐填充)对象的内存布局是怎样的?(对象头、实例数据、对齐填充)

    JVM中对象内存布局由对象头、实例数据和对齐填充三部分组成,对象头存储Mark Word和类型指针,实例数据按字段大小排序存放以优化对齐,对齐填充保证对象大小为8字节倍数以提升访问效率。 在Java虚拟机(JVM)中,一个对象在内存中的布局通常可以划分为三个主要部分:对象头(Object Heade…

    2026年9月26日 • 用户投稿
    200
  • Claude如何优化金融分析 Claude财经数据解读模型

    Claude如何优化金融分析 Claude财经数据解读模型Claude如何优化金融分析 Claude财经数据解读模型Claude如何优化金融分析 Claude财经数据解读模型Claude如何优化金融分析 Claude财经数据解读模型

    在金融分析领域使用claude类ai模型需注意四个关键点。一要确保输入数据质量高且结构化,如提供具体财报数字而非模糊描述;二要通过引导式提问促进深度分析,例如要求比较公司roe变化及原因;三要结合术语与通俗表达适应不同场景,比如让非专业者理解贝塔系数;四要注意模型局限性,不盲目依赖结论、关注数据时效…

    2026年9月26日 • 用户投稿
    100
  • 检查型异常(Checked Exception)和非检查型异常(Unchecked Exception)的区别?

    检查型异常(Checked Exception)和非检查型异常(Unchecked Exception)的区别?检查型异常(Checked Exception)和非检查型异常(Unchecked Exception)的区别?检查型异常(Checked Exception)和非检查型异常(Unchecked Exception)的区别?检查型异常(Checked Exception)和非检查型异常(Unchecked Exception)的区别?

    检查型异常由编译器强制处理,代表可预期的外部问题,如文件不存在;非检查型异常为运行时异常,通常由程序逻辑错误引起,编译器不强制捕获。前者需显式处理或声明,体现健壮性设计;后者应通过预防避免,体现“快速失败”原则。自定义异常时,若调用方可恢复或需处理,应继承Exception;若为内部错误,则继承Ru…

    2026年9月26日 • 用户投稿
    100

发表回复

登录后才能评论
关注微信