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

作者

在 C++17 标准中，引入了两种非常有用的类型擦除容器：std::variant 和 std::any。它们虽然都可以存储多种类型，但在语义、使用方式和性能上有显著差异。本文将详细阐述两者的区别，并给出实际使用场景与示例代码，帮助开发者根据需求做出合适的选择。

1. 基本概念

std::variant std::any
类型安全 是：在编译期即可确认可持有的类型集合 否：需要在运行时通过 type() 或 typeid 进行检查
存储类型 指定一组可能的类型列表 任意类型
大小 固定：根据最大占用空间+标签 固定：与 std::any 的内部实现相关，通常为 16-24 字节
访问方式 `std::get
()或std::visit|std::any_cast()`
使用成本 轻量级，适合已知类型集合 轻量级，但需要类型检查

2. 使用场景

2.1 std::variant

  • 已知有限类型：当你知道值只能是某几种类型之一时，例如状态机、消息系统中的不同事件类型。
  • 编译期安全：需要在编译期保证类型正确性，避免因类型错误导致的运行时异常。
  • 高性能：访问时不需要额外的类型检查，std::visit 能够利用模式匹配在编译期生成更优代码。
using Msg = std::variant<std::string, int, std::vector<double>>;

void handle(const Msg& m) {
    std::visit([](auto&& arg){
        using T = std::decay_t<decltype(arg)>;
        if constexpr (std::is_same_v<T, std::string>)
            std::cout << "Text: " << arg << '\n';
        else if constexpr (std::is_same_v<T, int>)
            std::cout << "Count: " << arg << '\n';
        else if constexpr (std::is_same_v<T, std::vector<double>>)
            std::cout << "Values: " << arg.size() << " items\n";
    }, m);
}

2.2 std::any

  • 未知类型：当你需要存储任何类型且类型在编译期未知时，例如插件系统、属性容器。
  • 需要类型擦除：你只关心值本身而不关心其具体类型，只在需要时进行 any_cast。
  • 动态运行时：如果你需要根据运行时条件决定类型，std::any 更为灵活。
std::any value;
value = 42;          // 存储 int
value = std::string("hello");

try {
    std::string s = std::any_cast<std::string>(value); // 可能抛异常
    std::cout << s << '\n';
} catch (const std::bad_any_cast& e) {
    std::cerr << "类型不匹配: " << e.what() << '\n';
}

3. 性能比较

操作 variant any
存取（已知类型） O(1)，无动态检查 O(1)，但需检查 type()
析构 仅调用对应类型析构函数 需要在销毁时检查存储类型
内存占用 取决于最大类型 + 标签 通常更大，包含内部类型信息
线程安全 只读时可并发访问 同样只读时可并发访问，但任何修改都需同步

通常情况下，std::variant 的性能略优于 std::any，因为它不需要在运行时进行类型识别。然而，在实际应用中差异往往不大，除非在极端性能敏感的场景下才需要关注。

4. 如何在代码中选择？

  1. 确定类型集合

    • 如果可以在编译期列举所有可能的类型，使用 std::variant。
    • 如果类型未知或可能会在运行时动态加入，使用 std::any。

  2. 考虑错误处理

    • std::variant 在类型不匹配时会在编译期报错，避免了运行时异常。
    • std::any 需要显式捕获 std::bad_any_cast，并在运行时决定是否继续。

  3. 性能需求

    • 对访问速度要求极高，且类型集合已知时，std::variant 更合适。
    • 对内存占用不敏感，且需要极高灵活性时，std::any 是更好的选择。

5. 结语

std::variant 与 std::any 都是 C++17 的强大工具。它们的选择不应仅基于“更好”或“更差”，而是根据项目的实际需求、类型安全要求、性能考量以及代码可读性来决定。掌握两者的语义与使用场景，可以让你在 C++ 开发中更加灵活高效。

祝你编码愉快！

发表评论