C++17 中 std::variant 的实现与使用技巧

2026-01-13 作者 stdcpp

在 C++17 之前，处理多类型对象常用的方案是 union 或者继承加 std::variant 的自定义实现。C++17 标准库引入了 std::variant，它是一个类型安全的多态容器，内部通过联合体、偏移量以及类型信息表实现，支持多种操作。下面从实现原理、使用方法以及常见技巧四个方面进行详细阐述。

1. 内部实现概览

组件	作用
`union`	存放所有可能类型的值，减少内存占用
`constexpr std::size_t index_`	当前存放类型的索引
`constexpr std::array<std::size_t, N> offsets_`	各类型相对于起始地址的偏移量，支持对齐
`constexpr std::array<std::function<void* (void*)>, N> visitors_`	访问器，用于访问和移动不同类型的值
`constexpr std::array<std::function<void(void*)>, N> destructors_`	析构函数表，用于销毁存放的对象

std::variant 的核心是通过模板元编程在编译期生成这些表，运行时只需要索引访问即可。这样实现既保证了零运行时开销，又实现了类型安全。

2. 基本用法

#include <variant>
#include <iostream>
#include <string>

int main() {
    std::variant<int, double, std::string> v;

    v = 42;                    // 存放 int
    std::cout << std::get<int>(v) << '\n';

    v = 3.14;                  // 存放 double
    std::cout << std::get<double>(v) << '\n';

    v = std::string("hello");  // 存放 std::string
    std::cout << std::get<std::string>(v) << '\n';

    // 访问当前存储类型的索引
    std::cout << "index = " << v.index() << '\n';

    // 访问所有可能的类型
    std::visit([](auto&& arg){ std::cout << arg << '\n'; }, v);
}

`std::get `：获取值，如果类型不匹配会抛出 `std::bad_variant_access`。
`std::get_if `：安全地获取指针，若类型不匹配返回 `nullptr`。
std::visit：访客模式，针对不同类型执行对应逻辑。

3. 变体的比较与合并

比较

std::variant<int, std::string> v1 = 10;
std::variant<int, std::string> v2 = "world";

if (v1 == v2) {
    std::cout << "相等\n";
}

两个 variant 在相同类型且值相等时才为真；不同类型永远不相等。

合并（std::variant_alternative）

// 获取 variant 中的所有类型
using Types = std::variant<int, double, std::string>;
static_assert(std::variant_alternative<0, Types>::type::value == int);

4. 常见技巧

技巧	说明
`std::holds_alternative
(v)`\| 判断当前存储类型是否为`T`
`std::get
(v)`与`std::get_if(v)` 结合	安全地访问值
自定义访客	用 `struct` 定义 `operator()` 重载，或使用 lambda
`std::apply`	与 tuple 类似，直接把 variant 的值拆解为参数
`constexpr` variant	在编译期使用 `std::variant`，配合 `constexpr if` 进行模板特化

5. 性能分析

内存占用：等于最大成员类型的大小加上对齐填充，不会比对应的 union 大。
运行时开销：访问 std::get、std::visit 都是 O(1) 的索引操作，几乎无额外成本。
构造/析构：因为内部使用函数指针表，构造/析构时会通过表调用对应成员的构造/析构，效率与手写实现相当。

6. 小结

std::variant 是 C++17 之后处理多态值的首选工具，它在保证类型安全的同时提供了极高的运行时性能。掌握 std::variant 的基本操作、访客模式以及常用技巧后，您可以轻松替代传统的 union 或手写多态实现，在现代 C++ 项目中获得更安全、更简洁、更高效的代码。

发表评论取消回复