C++17 中的 std::variant 与 std::visit：实现多态的现代方式

作者

在 C++ 17 之前，开发者常用 std::variant 来实现类型安全的联合体，结合 std::visit 则能像使用虚函数一样处理不同类型的数据。相比传统的继承和 dynamic_cast，这种方式更安全、可维护性更高。本文将从基本使用、性能比较、以及高级用法三方面，详细介绍如何在实际项目中应用 std::variant 与 std::visit。

1. 基础语法

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

using Value = std::variant<int, double, std::string>;

void printValue(const Value& v) {
    std::visit([](auto&& arg) {
        std::cout << arg << std::endl;
    }, v);
}

int main() {
    Value v1 = 42;
    Value v2 = 3.14;
    Value v3 = std::string("Hello, C++17!");

    printValue(v1);
    printValue(v2);
    printValue(v3);
}

上述代码中，Value 可以保存三种类型的值。printValue 使用 std::visit 调用一个 lambda，lambda 的模板参数 auto&& 能匹配任何类型。编译器在运行时会根据当前存储的类型调用相应的 lambda 分支。

2. 类型安全的访问

与传统的 boost::variant 或手写的联合体不同，std::variant 在编译时就能确保类型安全。若想访问当前存储的类型，可以使用 `std::get

` 或 `std::get_if`： “`cpp int main() { Value v = 100; if (auto p = std::get_if (&v)) { std::cout ` 会抛出 `std::bad_variant_access`，而 `std::get_if` 则返回空指针，避免异常。 ## 3. 性能对比 传统多态实现（虚表 + RTTI）在某些场景下会产生一定的运行时开销。`std::variant` 与 `std::visit` 的实现是基于 `switch` 或 `constexpr if`，在编译期就能生成对应分支，减少了运行时判断。 – **内存占用**：`std::variant` 的内存占用是所有成员类型中最大的类型大小加上一个小的标识符（通常是 `size_t`）。与虚表大小相近，但不需要每个对象都持有指向虚表的指针。 – **调用成本**：`std::visit` 通过模板展开在编译期生成调用，类似直接调用函数指针，几乎不比虚拟函数调用慢。 ## 4. 结合结构体与 std::variant 有时我们需要一个结构体中包含多个可能的子对象，而子对象又可能是多态的。此时可以将 `std::variant` 嵌套在结构体内部： “`cpp struct Shape { std::variant shape_; }; void area(const Shape& s) { std::visit([](auto&& sp) { std::cout ; OptInt opt = std::monostate{}; if (std::holds_alternative(opt)) { std::cout ` 更轻量，且不需要额外的 `optional` 包装。 ## 6. 与 std::any 的区别 – **std::any**：存储任意类型，但在访问时需要显式指定类型，且不提供编译时的类型安全检查。适合“任意数据”而不关心类型。 – **std::variant**：存储有限且已知类型集合，提供编译时类型安全和 `visit` 机制，适合需要多态但类型已知的场景。 ## 7. 典型应用场景 1. **解析 JSON / YAML**：可以将值类型定义为 `std::variant, std::map>`，方便递归解析。 2. **状态机**：每个状态可以用不同的结构体表示，使用 `std::variant` 保存当前状态，并通过 `std::visit` 处理事件。 3. **日志系统**：日志条目可以包含多种数据类型，使用 `std::variant` 简化日志格式处理。 ## 8. 小结 `std::variant` 与 `std::visit` 为 C++ 提供了一个类型安全、性能优异的多态实现方案。相比传统的继承+RTTI，能够在编译期捕获错误，减少运行时成本。通过合理的设计，将它们与结构体、容器等结合，可在项目中实现清晰且易维护的代码结构。 在实际编码中，建议先列举业务可能出现的所有类型，然后用 `std::variant` 包装。这样既能保持类型安全，又能避免不必要的 RTTI 开销。

发表评论