17370845950

C++17引入std::variant和std::any，前者用于编译时确定类型的类型安全联合体，适合有限多选一场景；后者支持任意可复制类型，适用于类型未知或动态变化的场合。1. std::variant通过std::visit安全访问，性能高、类型安全，推荐优先使用；2. std::any依赖std::any_cast访问，有运行时开销，灵活性更高但应避免滥用。正确选择可提升代码安全性与可维护性。

在C++17之前，处理不同类型值的通用容器通常依赖于继承、模板特化或手动实现联合体。这些方法要么不够灵活，要么容易出错。C++17引入了 std::variant 和 std::any，为类型安全和运行时多态提供了更现代的解决方案。它们各自适用于不同的使用场景，正确选择能显著提升代码的可读性和安全性。

std::variant：类型安全的“多选一”容器

std::variant 是一个类型安全的联合体（union），它可以在编译时确定的一组类型中保存其中一个值。每次只能持有一个类型的实例，且访问时必须处理所有可能类型，避免未定义行为。

适合用于以下场景：

• 替代C风格union，避免类型误读
• 表示具有有限多种可能类型的返回值，比如解析配置项时可能是整数、字符串或布尔值
• 构建简单的表达式树或AST节点

示例：解析配置值

#include 
#include 
#include 

using ConfigValue = std::variant;

void printConfig(const ConfigValue& val) {
    std::visit([](const auto& v) {
        std::cout << v << "\n";
    }, val);
}

// 使用
ConfigValue v = 42;
printConfig(v); // 输出 42

v = std::string("hello");
printConfig(v); // 输出 hello

关键技巧：

• 用 std::visit 安全访问 variant 中的值，支持lambda泛型捕获
• 可通过 std::get(variant) 强制获取特定类型，但抛出异常若类型不匹配
• 用 std::holds_alternative(variant) 检查当前类型

std::any：真正的任意类型容器

std::any 可以持有任何可复制的类型，是真正意义上的“万能容器”。相比 void* 或 boost::any，它提供类型安全和自动内存管理。

典型用途包括：

• 实现插件系统中的参数传递
• 构建日志系统中支持任意类型的字段
• 临时存储用户自定义数据（如GUI控件的附加属性）

示例：日志上下文

#include 
#include 

注意事项：

• 访问必须使用 std::any_cast，错误类型会抛出 std::bad_any_cast
• 性能开销比 variant 高，因涉及动态类型信息和堆分配
• 不能持有不可复制类型（除非用指针包装）

如何选择：variant vs any

基本原则是：能用 variant 就不用 any。

• 如果可能的类型集合在编译期已知且数量有限，优先使用 variant
• 当需要接收或传递未知类型，或类型集无法预知时，才考虑 any
• variant 更高效、更安全；any 更灵活但代价更高

避免将两者用于过度泛化设计。滥用 any 会导致类型失控，类似“C++版的JavaScript”，破坏静态检查优势。

基本上就这些。合理利用这两个工具，能让代码既保持类型安全，又具备必要的灵活性。