c++中的标签联合体(Tagged Union)是什么_c++ std::variant实现原理

穿越時空

发布时间：2025-12-04 14:22:02

891人浏览过

来源于php中文网

原创

标签联合体通过标签标识当前存储类型，确保安全访问。std::variant是其标准实现，内部用union存数据、tag记类型，并手动管理构造析构，支持异常安全与多类型值语义，相比union更安全，比继承体系更高效。

c++中的标签联合体(tagged union)是什么_c++ std::variant实现原理

标签联合体（Tagged Union）是一种能存储多种不同类型数据，但每次只保存其中一种的数据结构。它和普通联合体（union）的关键区别在于：标签联合体自带一个“标签”（tag），用来标识当前存储的是哪种类型。这使得在读取数据时可以安全判断类型，避免误读导致未定义行为。

C++17 引入的 std::variant 就是标签联合体的标准实现。它提供类型安全的多态存储能力，相比传统的 union 更加安全、易用。

std::variant 的基本用法

std::variant 可以持有其模板参数中列出的任意一种类型：

#include 
#include 

int main() {
    std::variant v;
    v = 42;                    // 存 int
    std::cout << std::get(v) << '\n';

    v = 3.14;                  // 存 double
    if (std::holds_alternative(v)) {
        std::cout << std::get(v) << '\n';
    }
}

上面代码展示了赋值、类型判断和取值的基本操作。如果尝试用错误的类型获取值（如对存 double 的 variant 调用 get），会抛出 std::bad_variant_access 异常（前提是使用访问函数而非指针形式）。

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

std::variant 实现原理

std::variant 的内部实现依赖几个关键技术点：

联合体（union）存储实际数据：variant 内部使用一个 union 来存放所有可能类型的实例。union 的大小由最大类型决定，确保能容纳任意成员。
标签（tag）记录当前类型：一个整型变量（通常是 size_t）记录当前 active 的类型索引。例如，variant 中，0 表示 int，1 表示 double。
构造与析构管理：由于 union 不能自动调用构造函数和析构函数，variant 必须手动处理。当赋新值时，先调用旧对象的析构函数（如有），再在 union 内存位置构造新对象（placement new）。
异常安全性：赋值过程中若构造抛出异常，必须保证 variant 进入合法状态（通常是处于 “valueless_by_exception” 状态）。

简化版实现示意：

薏米AI

YMI.AI-快捷、高效的人工智能创作平台

下载

template 
class simple_variant {
    union {
        T1 t1;
        T2 t2;
    };
    int tag; // 当前类型索引

public:
    simple_variant(const T1& x) : t1(x), tag(0) {}
    
    simple_variant& operator=(const T2& x) {
        if (tag == 0) t1.~T1();
        new(&t2) T2(x); // placement new
        tag = 1;
        return *this;
    }

    ~simple_variant() {
        if (tag == 0) t1.~T1();
        else if (tag == 1) t2.~T2();
    }
};

真实 std::variant 支持任意数量类型（通过可变参数模板）、访问器（visitor 模式）、monostate（空状态占位）等特性，实现更复杂。

与 union 和继承体系的对比

相比传统 C 风格 union，std::variant 安全得多。传统 union 没有标签，程序员需自行管理类型状态，极易出错。

相比基类指针 + 继承的多态方案，std::variant 是值语义，无堆分配、无虚函数开销，性能更高，且避免内存泄漏风险。

它适合用于表达“一个值可能是几种类型之一”的场景，比如解析 JSON、AST 节点、状态机返回值等。

基本上就这些。std::variant 是现代 C++ 类型安全的重要工具之一，其实现巧妙结合了 union、RAII 和模板元编程，既高效又安全。

c++如何使用WT(Witty)开发Web应用_c++桌面风格的Web框架【Web】

C++如何将项目编译成WebAssembly？Emscripten C++ to WASM教程【Web开发】

C++代码怎么在浏览器里运行_使用Emscripten将C++编译为WebAssembly(WASM)教程

c++如何使用WebAssembly(WASM)编译C++代码_c++在浏览器中运行高性能代码

C++如何实现简单的HTTP请求_C++使用libcurl库发送GET/POST请求

c++速学教程(入门到精通)

c++怎么学习？c++怎么入门？c++在哪学？c++怎么学才快？不用担心，这里为大家提供了c++速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！

下载

本站声明：本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn

上一篇：C++如何实现一个简单的物理引擎_基于C++的刚体动力学与碰撞检测入门下一篇：C++ variant用法解析_C++类型安全的union替代品详解

作者最新文章

如何查看浏览器占用了多少内存和CPU？浏览器内置任务管理器使用指南

2026-01-17 18:05

转转官网登录入口在线转转网页版电脑版官网

2026-01-17 18:22

Win11怎么启用隐藏的“可靠性监视器”_Win11系统稳定性历史图表调出【诊断】

2026-01-17 18:36

Win11怎么关闭搜索索引_Win11减少资源占用优化方法【性能】

2026-01-17 18:40

Win11怎么禁用显示器节能模式_Win11屏幕自动休眠关闭【系统】

2026-01-17 19:04

Win11怎么设置电源高性能模式_Win11提升性能电源方案【性能】

2026-01-17 19:09

浏览器显示不安全，但需要访问怎么办？浏览器忽略证书警告继续访问

2026-01-17 19:51

Windows如何开启卓越性能模式？（电源计划命令行开启）

2026-01-17 19:54

怎么用ai绘画修复老照片_AI图像修复与画质增强实战教程

2026-01-17 20:11

edge浏览器如何开启DoH edge浏览器通过HTTPS使用DNS【安全指南】

2026-01-17 20:27

热门AI工具

DeepSeek

幻方量化公司旗下的开源大模型平台

AI大模型

开放平台

豆包大模型

字节跳动自主研发的一系列大型语言模型

AI大模型

通义千问

阿里巴巴推出的全能AI助手

AI大模型

腾讯元宝

腾讯混元平台推出的AI助手

文档处理

Excel 表格

文心一言

文心一言是百度开发的AI聊天机器人，通过对话可以生成各种形式的内容。

AI大模型

中文写作

讯飞写作

基于讯飞星火大模型的AI写作工具，可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

中文写作

写作工具

即梦AI

一站式AI创作平台，免费AI图片和视频生成。

图片拼接

图画生成

ChatGPT

最最强大的AI聊天机器人程序，ChatGPT不单是聊天机器人，还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

AI大模型

中文写作

智谱清言 - 免费全能的AI助手

AI大模型

PDF 文档

相关专题

json数据格式

JSON是一种轻量级的数据交换格式。本专题为大家带来json数据格式相关文章，帮助大家解决问题。

412

2023.08.07

json是什么

JSON是一种轻量级的数据交换格式，具有简洁、易读、跨平台和语言的特点，JSON数据是通过键值对的方式进行组织，其中键是字符串，值可以是字符串、数值、布尔值、数组、对象或者null，在Web开发、数据交换和配置文件等方面得到广泛应用。本专题为大家提供json相关的文章、下载、课程内容，供大家免费下载体验。

533

2023.08.23

jquery怎么操作json

操作的方法有：1、“$.parseJSON(jsonString)”2、“$.getJSON(url, data, success)”；3、“$.each(obj, callback)”；4、“$.ajax()”。更多jquery怎么操作json的详细内容，可以访问本专题下面的文章。

309

2023.10.13

go语言处理json数据方法

本专题整合了go语言中处理json数据方法，阅读专题下面的文章了解更多详细内容。

2025.09.10

java多态详细介绍

本专题整合了java多态相关内容，阅读专题下面的文章了解更多详细内容。

2025.11.27

c语言union的用法

c语言union的用法是一种特殊的数据类型，它允许在相同的内存位置存储不同的数据类型，union的使用可以帮助我们节省内存空间，并且可以方便地在不同的数据类型之间进行转换。使用union时需要注意对应的成员是有效的，并且只能同时访问一个成员。本专题为大家提供union相关的文章、下载、课程内容，供大家免费下载体验。

123

2023.09.27

string转int

在编程中，我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算，或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章，欢迎大家前来学习阅读。

318

2023.08.02

int占多少字节

int占4个字节，意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值，在某些情况下也可能是2个字节或8个字节，int是一种常用的数据类型，用于表示整数，需要根据具体情况选择合适的数据类型，以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容，供大家免费下载体验。

538

2024.08.29