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

作者

在C++17标准中，标准库提供了两种用于存放不同类型数据的类型擦除容器：std::variant 和 std::any。它们看似相似，但本质上服务于截然不同的需求。本文将从语义、类型安全、性能以及典型使用场景等维度进行对比，帮助你在实际项目中更好地选择合适的工具。

1. 基本语义

特性 std::variant std::any
类型安全 编译时已知可容纳的类型集合；访问时需要 `std::get
或std::visit| 运行时类型检查；访问时使用any_cast`
大小 由最大类型和 union 的对齐决定；编译期确定 通常为 sizeof(void*) + 对齐；运行时动态分配
拷贝/移动 必须对所有可存类型实现复制/移动构造；否则编译错误 对任何类型都有 std::any 的拷贝/移动实现（依赖 any 所封装对象的拷贝/移动构造）
存储方式 内联（在对象内部） 若对象过大则会在堆上分配（SBO 或 heap）

关键点：variant 在编译阶段就知道可能的类型，而 any 则在运行阶段才确定。

2. 类型安全与错误处理

  • std::variant
    访问时使用 `std::get

    (v)`，如果当前活跃类型不是 `T`，会抛出 `std::bad_variant_access`。若不确定类型，推荐使用 `std::visit` 或 `std::holds_alternative` 进行检查。

  • std::any
    使用 `any_cast

    (a)`，如果 `a` 的实际类型不等于 `T`，返回 `nullptr` 或抛出 `std::bad_any_cast`。这类错误往往在运行时才被发现。

结论：如果你能够在编译期确定所有可能的类型，variant 提供更严格的类型检查；若类型高度动态，any 更灵活。

3. 性能考量

场景 variant any
存取 O(1) 直接访问；无运行时类型信息查询 需要运行时类型匹配，可能涉及虚函数表或动态类型检索
内存占用 固定大小（取决于最大类型） 可能为 sizeof(void*)，但在堆分配时会额外开销
拷贝/移动 取决于内部类型的实现，通常更快（无需虚拟调用） 需要调用拷贝/移动构造，且若对象堆分配则涉及内存管理
编译时间 由于模板展开，可能稍长 较短（不需要展开多种类型的实现）

对于需要频繁读写且性能敏感的场景，variant 更具优势；若对内存占用和扩展性更关注，any 仍是不错的选择。

4. 典型使用场景

4.1 事件系统

  • variant：事件类型集合有限且已知，例如 struct ClickEvent, struct KeyEvent, struct ResizeEvent。 

    using Event = std::variant<ClickEvent, KeyEvent, ResizeEvent>;
void handleEvent(const Event& e) {
    std::visit([](auto&& ev){ ev.handle(); }, e);
}

  • any：事件携带的数据类型不确定，甚至可能来自插件系统。 

    struct EventBase {
    std::any payload;
    virtual void process() = 0;
};

4.2 数据模型

  • variant：字段可能为多种具体类型，例如 JSON 的字符串、数值或布尔值。 

    using JsonValue = std::variant<std::nullptr_t, bool, double, std::string, std::vector<JsonValue>, std::map<std::string, JsonValue>>;

  • any：需要把任何类型对象存入统一容器，用于调试或日志系统。 

    std::vector<std::any> debugData;
debugData.push_back(42);
debugData.push_back(std::string("hello"));

4.3 配置系统

  • variant：配置键对应的值类型可预定义，如 int, double, std::string。 

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

  • any：外部插件可能会注入自定义类型的配置。 

    std::unordered_map<std::string, std::any> pluginConfig;

5. 如何在代码中选择

需求 选择建议
类型可在编译期确定 使用 std::variant
类型多且频繁变更 使用 std::any
需要最高性能与类型安全 std::variant
需要容纳任意类型且易于扩展 std::any
需要在不同模块间传递“任何类型” std::any

有时两者可以配合使用：主程序用 variant 处理已知类型，插件用 any 作为桥梁。

6. 代码示例：在插件系统中桥接 variant 与 any

// 主程序
using PluginResult = std::variant<int, double, std::string>;

PluginResult runPlugin(const std::any& pluginData) {
    // 假设插件提供一个接口： any -> any
    std::any result = pluginData;  // 调用插件（示例省略）
    if (result.type() == typeid(int))
        return std::any_cast <int>(result);
    else if (result.type() == typeid(double))
        return std::any_cast <double>(result);
    else if (result.type() == typeid(std::string))
        return std::any_cast<std::string>(result);
    else
        throw std::runtime_error("Unsupported plugin return type");
}

7. 小结

  • std::variant：适用于类型可在编译期枚举、追求类型安全与性能的场景。
  • std::any：适用于类型动态、需要最大灵活性的场景。
  • 二者的核心区别在于编译时类型约束 vs 运行时类型擦除。
  • 在实际项目中，常常需要两者配合使用，充分利用各自优势。

在选择时，先明确“类型是否已知”，再根据性能和可维护性做权衡。祝你在 C++ 编程旅程中玩得愉快！

发表评论