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

作者

在 C++17 之后，标准库提供了两个用于处理不确定类型数据的容器：std::variant 和 std::any。它们看似相似，但在设计哲学、类型安全、性能以及使用场景上存在显著差异。本文将深入剖析两者的实现原理、关键特性以及何时使用哪一个更为合适。

1. 基本概念

std::variant std::any
类型安全 强类型，必须预先声明所有可能类型 弱类型，类型信息在运行时存放
运行时开销 需要维护当前类型索引；对齐/大小已在编译期确定 需要动态分配内存，通常使用 type-erasure
适用场景 类型集合已知且有限 类型未知、需要“任意”存储

std::variant<Ts...> 是一个“可变”容器，允许存放一组预先声明的类型之一，并在运行时知道当前存放的是哪一种。
std::any 则是一种“任意类型”容器，能够存放任何类型的值，类型信息通过 typeid 记录，访问时需要通过 any_cast 进行显式转换。

2. 内存布局与性能

variant

  • 通过 union 存储值，最大尺寸决定存储大小。
  • variant 本身不做动态分配，适合小型数据。
  • 获取当前类型的索引是 O(1)。
  • 访问时不需要动态内存操作，性能较高。

any

  • 通常使用 type-erasure：在内部维护一个基类指针，实际对象在堆上分配。
  • 每次赋值/移动都可能触发堆分配（除非实现使用小对象优化）。
  • 访问时需要动态类型检查和强制转换，开销比 variant 大。

因此，当你知道所有可能类型并且它们尺寸不大时，variant 是更快、更安全的选择。

3. 类型安全

variant

  • 编译期检查：你只能放入 Ts... 中声明的类型。
  • 访问时通过 `std::get (v)` 或 `std::visit` 自动匹配类型。
  • 访问错误会抛出 std::bad_variant_access。

any

  • 只要 T 是完整类型即可放入。
  • 访问时必须使用 `any_cast (a)`，如果类型不匹配会抛出 `std::bad_any_cast`。
  • 你需要自己保持类型信息，易出现运行时错误。

4. 典型使用场景

场景 推荐容器
处理枚举值、状态机 std::variant
需要存放任意自定义类型的回调参数 std::any
JSON 结构的键值对（键名字符串，值可为多种类型） std::variant 或 std::any 取决于类型是否已知
事件系统，事件携带多种可能的数据 std::variant
序列化/反序列化，字段类型未知 std::any

5. 代码示例

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

using namespace std;

// variant 示例：状态机
enum class State { Init, Running, Finished };

int main() {
    // 1. variant 用法
    variant<int, string, State> v;
    v = 42;
    if (holds_alternative <int>(v))
        cout << "int: " << get<int>(v) << '\n';
    v = State::Running;
    visit([](auto&& val){
        using T = std::decay_t<decltype(val)>;
        if constexpr (std::is_same_v<T, State>)
            cout << "State: " << static_cast<int>(val) << '\n';
    }, v);

    // 2. any 用法
    any a = string("hello");
    try {
        cout << "any string: " << any_cast<string>(a) << '\n';
        // 错误访问
        cout << "any int: " << any_cast<int>(a) << '\n';
    } catch(const bad_any_cast& e) {
        cerr << "bad_any_cast: " << e.what() << '\n';
    }

    return 0;
}

6. 小结

  • std::variant：类型集合已知、大小有限、需要更高性能和编译期安全。
  • std::any：类型未知或变化、需要灵活性、但会牺牲一定性能和类型安全。

在实际项目中，先评估你需要存储的类型集合大小、是否需要编译期验证，然后选择合适的容器。这样既能保持代码的安全性，又能获得最优的运行效率。

发表评论