**C++ 中的 std::variant 与 std::any 的区别与使用场景**

作者

在 C++17 之后，标准库提供了两个非常有用的类型擦除容器：std::variant 和 std::any。它们虽然都能在一个对象中存放不同类型的值，但各自的设计目的、使用方式和性能特性截然不同。本文将深入探讨两者的区别、适用场景以及如何在实际项目中合理选择。

一、概念回顾

类型 语义 编译期安全性 运行时成本 示例
std::variant<T...> 受限的联合体，类型必须在模板参数列表中声明 高，访问时会检查类型 较低，存储空间为最大成员大小 + 辅助信息 variant<int, std::string> v = 42;
std::any 类型擦除容器，任何类型都可存放 低，需在运行时动态检查 较高，需动态分配内存（大多数实现） any a = std::string("hello");
  • std::variant：是一个“多态”类型，编译器知道可存放的具体类型。它采用“静态多态”，在运行时只有一个分支分配空间，且不需要额外的动态内存分配（除非类型本身需要）。访问时通过 `std::get ()`、`std::visit()` 等机制完成，若类型不匹配会抛出 `std::bad_variant_access`。
  • std::any：是一种“类型擦除”容器，内部通过类型擦除机制隐藏了具体类型。每个 any 对象会在堆上为存放的对象分配内存（在 C++17 标准中并非强制要求，但大多数实现使用堆分配），访问时需要使用 `std::any_cast ()`，若类型不匹配会抛出 `std::bad_any_cast`。

二、主要区别

  1. 类型安全性

    • variant：编译期已知类型集合，使用时通过模板参数保证类型正确。
    • any：类型不在编译期固定，所有检查都在运行时完成。

  2. 性能

    • variant：常驻栈内存，访问几乎与普通对象无异。
    • any：涉及动态内存分配和类型信息维护，访问成本相对较高。

  3. 存储方式

    • variant：在对象中存储所有可能类型的最大大小加上辅助信息。
    • any：大多数实现使用堆分配，除非使用“小对象优化”（SBO）策略。

  4. 可变性

    • variant：存放的类型集合在声明后不可更改。
    • any：可以随时改变内部类型，只要符合复制/移动语义。

  5. 访问方式

    • variant：推荐使用 std::visit 对所有可能的类型进行处理。
    • any：通过 any_cast 手动取出，通常在已知类型时使用。

三、典型使用场景

场景 推荐选择 原因
需要在函数或类中存放有限且已知的多种类型 variant 具备编译期检查，性能更好
需要在运行时决定存放何种类型，且类型集合不固定 any 适应动态类型需求
需要在容器中存放多种类型的元素，且对每个元素进行统一处理 variant 可使用 visit 遍历
需要在跨模块接口传递任意类型的数据 any 简化接口，减少模板传递
需要在插件/脚本系统中动态加载/卸载类型 any 允许运行时类型注册

四、实战示例

1. 用 variant 实现简单的命令模式

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

struct Move { int dx, dy; };
struct Rotate { double angle; };
struct Scale  { double factor; };

using Command = std::variant<Move, Rotate, Scale>;

void execute(const Command& cmd) {
    std::visit(overloaded{
        [](const Move& m){ std::cout << "Move: " << m.dx << ", " << m.dy << '\n'; },
        [](const Rotate& r){ std::cout << "Rotate: " << r.angle << '\n'; },
        [](const Scale& s){ std::cout << "Scale: " << s.factor << '\n'; }
    }, cmd);
}

2. 用 any 实现动态插件参数

#include <any>
#include <iostream>
#include <vector>

void plugin_handler(const std::vector<std::any>& params) {
    for (const auto& p : params) {
        if (p.type() == typeid(int))
            std::cout << "int: " << std::any_cast<int>(p) << '\n';
        else if (p.type() == typeid(std::string))
            std::cout << "string: " << std::any_cast<std::string>(p) << '\n';
        // 其他类型处理...
    }
}

五、注意事项

  1. SBO 与 any
    现代编译器实现（如 libstdc++、libc++）对 std::any 采用“小对象优化”，当对象尺寸不超过 16~24 字节时在栈上存放，避免堆分配。若你需要更好的性能，可考虑自定义 SBO 方案。

  2. 异常安全
    variant 在 std::visit 中，如果访问的成员抛异常，内部会进行回滚；any_cast 若类型不匹配抛异常。请根据业务需求选择异常处理策略。

  3. 类型擦除的可读性
    过度使用 any 可能导致代码难以阅读和维护。建议仅在必要时使用，并在文档中注明可接受的类型。

  4. 模板与 any 的混合
    组合使用 std::variant 与 std::any 可以在不同层面实现类型安全与灵活性。例如：顶层接口使用 any，内部实现使用 variant。

六、结论

  • std::variant 是一种类型安全、性能优秀的多态容器，适合已知类型集合的场景。
  • std::any 是一种灵活的类型擦除容器，适合动态类型需求，但需承担运行时成本。

在实际项目中，先分析类型集合是否固定，再根据性能和安全性要求做出选择。合理地将两者结合使用，可在保持代码可读性的同时获得灵活性与效率的最佳平衡。

发表评论