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 <variant>
#include <string>
#include <iostream>
using ConfigValue = std::variant<int, double, std::string, bool>;
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
关键技巧：
立即学习“C++免费学习笔记（深入）”；
- 用 std::visit 安全访问 variant 中的值，支持lambda泛型捕获
- 可通过 std::get<T>(variant) 强制获取特定类型，但抛出异常若类型不匹配
- 用 std::holds_alternative<T>(variant) 检查当前类型
std::any：真正的任意类型容器
std::any 可以持有任何可复制的类型，是真正意义上的“万能容器”。相比 void* 或 boost::any，它提供类型安全和自动内存管理。
典型用途包括：
- 实现插件系统中的参数传递
- 构建日志系统中支持任意类型的字段
- 临时存储用户自定义数据（如GUI控件的附加属性）
#include <any>
#include <map>
#include <string>
#include <typeinfo>
std::map<std::string, std::any> logContext;
void setContext(const std::string& key, const std::any& value) {
logContext[key] = value;
}
template<typename T>
T getContextAs(const std::string& key) {
auto it = logContext.find(key);
if (it == logContext.end())
throw std::runtime_error("Key not found");
return std::any_cast<T>(it->second);
}
注意事项：
- 访问必须使用 std::any_cast，错误类型会抛出 std::bad_any_cast
- 性能开销比 variant 高，因涉及动态类型信息和堆分配
- 不能持有不可复制类型（除非用指针包装）
如何选择：variant vs any
基本原则是：能用 variant 就不用 any。
- 如果可能的类型集合在编译期已知且数量有限，优先使用 variant
- 当需要接收或传递未知类型，或类型集无法预知时，才考虑 any
- variant 更高效、更安全；any 更灵活但代价更高
避免将两者用于过度泛化设计。滥用 any 会导致类型失控，类似“C++版的JavaScript”，破坏静态检查优势。
基本上就这些。合理利用这两个工具，能让代码既保持类型安全，又具备必要的灵活性。
