在 C++17 标准中，std::variant 与 std::any 都提供了“类型擦除”的能力，使得我们可以在同一个容器中存放不同类型的数据。然而，它们的设计目标、使用方式以及性能特征有着显著差异。本文将从两者的定义、类型安全、访问方式、内存布局以及典型使用场景等方面进行对比，并给出实践建议。
1. 定义与基本语义
| std::variant | std::any | |
|---|---|---|
| 定义 | template<class... Types> class variant; |
class any; |
| 类型安全 | 编译时确定类型列表；访问时需指定具体类型 | 运行时决定类型，类型信息存储在对象中 |
| 用途 | 多态、和类型安全的“联合” | 需要在运行时动态确定类型的容器 |
| 默认值 | 必须指定一个默认可构造的类型 | 必须显式赋值 |
2. 内存布局与性能
2.1 std::variant
std::variant 在内部使用一个联合体（union）来存放所有可能的类型，同时维护一个 std::size_t 索引表示当前类型。由于所有成员共用同一块内存，内存占用极小，而且在栈上分配时不需要额外的堆内存。
- 构造/析构：只对当前类型进行构造/析构，其他类型无任何操作。
- 拷贝/移动：依赖于当前类型的拷贝/移动构造函数，时间复杂度取决于类型本身。
- 访问：使用 `std::get ()` 或 `std::visit()`，编译时可检查类型正确性，避免了运行时错误。
2.2 std::any
std::any 在内部通常使用一个指针指向动态分配的对象，存储对象的实际类型信息和对其进行复制/移动的函数指针。每一次赋值或拷贝都可能涉及堆分配。
- 构造/析构：需要为每个存放的对象分配堆内存，且每个对象都有自己的析构调用。
- 拷贝/移动：如果存放的是非拷贝类型，拷贝会抛出异常；移动则会释放原有资源。
- 访问：使用 `std::any_cast ()`，若类型不匹配会抛出 `bad_any_cast` 异常。
3. 访问方式与错误处理
- variant：编译期类型检查，错误可以在编译阶段捕获；使用 `std::holds_alternative ()` 或 `std::get_if()` 可安全检查。
- any：所有检查都在运行时完成，错误只能在执行期间发现；需要显式捕获
bad_any_cast。
4. 典型使用场景
| 场景 | 推荐使用 | 说明 |
|---|---|---|
| 需要在同一容器中存放已知有限几种类型 | std::variant | 如状态机状态、配置参数等 |
| 需要在运行时决定类型，且类型列表动态变化 | std::any | 如插件系统、消息总线等 |
| 需要保持类型安全且不想出现运行时异常 | std::variant | 提升可维护性和安全性 |
| 对性能要求极高且对象不大 | std::variant | 避免堆分配开销 |
5. 小结与实践建议
- 优先考虑 std::variant：当你已知可能的类型集合且想保持类型安全时，variant 是首选。它的内存占用低，且编译器可帮助你避免类型错误。
- 仅在动态类型不可预知时才使用 std::any：如果应用场景需要在运行时动态决定类型，且类型种类繁多、无法列举，则 any 更合适。
- 注意拷贝与移动语义：variant 会自动调用对应类型的拷贝/移动构造函数，使用时需确保这些操作的可用性。any 在赋值时需要考虑堆内存的分配与释放成本。
- 错误处理：variant 的错误在编译时能被捕获，减少运行时异常；any 则需要在访问时捕获异常，建议使用
std::any_cast时配合try-catch或先检查typeid。
通过了解两者的内存模型、访问方式以及适用场景，开发者可以在 C++17 环境中更精确地选择合适的数据结构，从而写出既安全又高效的代码。