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

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

穿越時空

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

原创

865人浏览过

标签联合体通过标签标识当前存储类型，确保安全访问。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 <variant>
#include <iostream>

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

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

登录后复制

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

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

std::variant 实现原理

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

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

简化版实现示意：

6pen Art

AI绘画生成

213

查看详情

template <typename T1, typename T2>
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（空状态占位）等特性，实现更复杂。