C++17 中的 std::variant 与 std::any 的区别与适用场景

作者

在 C++17 标准中，新增了两个非常实用的类型擦除容器：std::variant 和 std::any。它们都可以在同一变量中保存不同类型的数据，但它们的设计哲学、使用方式以及性能特性却有显著差异。本文从概念、实现、典型场景以及常见坑洞四个方面，对比分析这两个类型，并给出在实际项目中选择的建议。

1. 概念对比

std::variant std::any
目的 类型安全的联合体（discriminated union） 类型擦除容器（任意类型）
典型使用 替代 union、std::variant 需要在编译期知道所有可能类型 在运行时可能未知类型的值
类型检查 编译期 运行期
内存布局 固定大小，所有候选类型都为同一块内存 采用 heap 分配（或 small object optimization）

1.1 std::variant

std::variant<Ts...> 是一种类型安全的联合体，它在编译期就确定了可接受的类型集合 Ts...。通过 std::get<T> 或 std::visit 可以安全地访问其持有的值。它的实现相当像一个标准的 union，但增加了一个“活跃索引”来标记当前持有的类型，确保类型安全。

1.2 std::any

std::any 是一个 类型擦除容器，它可以保存任意类型的值，并在需要时恢复。它内部使用虚函数表和类型信息（std::type_info）来实现类型擦除，通常会使用 heap 或 small object optimization（SBO）来存储值。

2. 典型使用场景

2.1 需要类型安全的“多态”

  • 配置参数：某些参数可能是 int、double 或 std::string，但你希望编译期能检查类型。
  • 状态机：不同状态对应不同的数据结构。
  • 返回值多种类型：例如 std::variant<std::string, int, bool> 用于解析函数返回多种结果。

推荐使用：std::variant。

2.2 需要灵活、运行时决定类型

  • 插件系统：不同插件提供不同的数据结构。
  • 事件系统：事件携带任意数据。
  • 跨语言交互：需要存储动态类型值。

推荐使用：std::any。

2.3 与泛型代码交互

如果你在写模板库，需要让用户在模板参数中传入多种类型，std::variant 可以让编译器在模板实例化时知道所有可能类型；std::any 则更适合需要类型擦除的底层框架。

3. 性能比较

std::variant std::any
内存分配 无动态分配（除非包含 std::string 等需 heap 的类型） 可能需要 heap（SBO 限制在 16-32 字节）
访问开销 O(1)，直接索引 O(1) 但需要虚表调用
拷贝/移动 O(N) 取决于最坏类型 取决于内部实现（SBO 省略 heap）
编译时间 取决于类型列表长度 取决于模板实例化数量

小结：若类型列表不大，variant 性能往往更好；若需要频繁拷贝/移动，any 的 SBO 可能会有优势。

4. 常见坑洞

错误 说明 解决办法
用 std::get 访问错误类型 编译错误或抛 std::bad_variant_access 先用 `std::holds_alternative
或std::visit` 检查
std::variant 里嵌套同名类型 需要用 std::variant<First<int>, Second<int>> 等别名 用类型别名或 using
std::any 里移动语义不明显 any_cast<T&> 可以取引用，避免拷贝 使用引用访问或 any_cast<T&&>
any_cast 对未知类型 运行时抛 std::bad_any_cast 先检查 typeid 或 `any_cast
(ptr)` 并捕获异常
过度使用 any 失去类型安全 只在必要时使用；尽量用 variant 或模板

5. 示例代码

5.1 使用 std::variant 处理配置参数

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

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

void print(const ConfigValue& v) {
    std::visit([](auto&& arg){
        std::cout << arg << '\n';
    }, v);
}

int main() {
    ConfigValue a = 42;
    ConfigValue b = 3.14;
    ConfigValue c = std::string("hello");

    print(a); // 42
    print(b); // 3.14
    print(c); // hello
}

5.2 使用 std::any 存储插件数据

#include <any>
#include <iostream>
#include <unordered_map>
#include <string>

int main() {
    std::unordered_map<std::string, std::any> registry;
    registry["count"] = 10;              // int
    registry["ratio"] = 0.75;            // double
    registry["name"] = std::string("alpha"); // string

    std::cout << std::any_cast<int>(registry["count"]) << '\n';
    std::cout << std::any_cast<double>(registry["ratio"]) << '\n';
    std::cout << std::any_cast<std::string>(registry["name"]) << '\n';
}

6. 选择建议

  1. 优先考虑 std::variant

    • 当你能在编译期列出所有可能类型时，使用 variant 能提供更强的类型安全和更好的性能。

  2. 当类型在运行时动态确定时

    • 例如插件系统、事件总线，使用 std::any 更为灵活。

  3. 避免在性能敏感的循环中频繁 any_cast

    • 如果必须使用 any，请确保使用 SBO 并尽量减少动态分配。

  4. 记住类型擦除的成本

    • any 会导致更高的运行时开销（虚表、类型信息、可能的 heap），在不必要时请勿使用。

7. 小结

std::variant 与 std::any 都是 C++17 为解决“多类型值”问题提供的标准工具，但它们面向的应用场景截然不同。了解它们的内部实现、性能特性以及典型用例，能够帮助开发者在具体项目中做出更合适的选择，从而编写出既安全又高效的代码。

发表评论