在现代 C++ 开发中，类型安全的泛型容器成为了处理不确定数据类型的常见手段。标准库提供了两种广泛使用的容器——std::variant 与 std::any，它们虽然都能保存不同类型的数据，但在设计哲学、使用方式以及性能表现上存在显著差异。本文将系统梳理这两者的区别，并给出具体的使用场景与代码示例，帮助开发者在实际项目中做出更合适的选择。
一、基本概念
std::variant |
std::any |
|
|---|---|---|
| 类型安全 | 编译时类型检查；只能存储预先声明的几种类型 | 运行时类型检查；可以存放任意类型 |
| 类型信息 | 通过索引或 `std::get | |
访问 | 通过typeid或any_cast` 访问 |
||
| 内存占用 | 静态多态，大小为最大成员加上调度表 | 动态多态，需额外堆分配（可通过 SBO） |
| 性能 | 访问成本低；无动态分配 | 访问成本高；可能产生堆分配 |
| 使用方式 | 通过 std::visit 或 std::get |
通过 any_cast 或 typeid |
二、实现原理
1. std::variant
std::variant 是一种“联合多态”的实现。它在内部维护一个 类型列表（模板参数 pack），并使用 偏移量表（constexpr 计算）来决定哪种类型正在占用存储空间。访问时：
- `std::get `：通过 `type_index` 直接定位对应类型。
std::visit：提供一个可调用对象（函数对象或 lambda），在运行时根据当前存储类型动态调用对应的operator()。
由于 variant 的类型列表是编译时固定的，编译器能做出更好的优化，并且在存取时不需要任何运行时检查（除非出现非法索引）。
2. std::any
std::any 则实现为一个 空基对象（type-erased）容器。它通过内部指针指向一个 placeholder 对象，placeholder 的派生类存放实际数据。访问时：
- `any_cast `：检查内部 `placeholder` 的类型是否与 `T` 匹配，如果不匹配则抛出 `bad_any_cast`。
typeid：可以查看存放的动态类型。
由于 any 需要支持任意类型，默认实现会在堆上分配存储空间，除非使用 小对象优化（SBO），此时若对象大小不超过一定阈值（通常为 sizeof(void*) * 2），会直接在内部缓冲区存储。
三、典型使用场景
| 场景 | 推荐使用 | 说明 |
|---|---|---|
| 表示有限种类的数据（例如：状态机、消息类型） | variant |
类型已知，访问成本低 |
| 需要与外部库或脚本交互，类型不确定 | any |
任何类型都能存放 |
| 需要存储多种类型但在运行时可扩展 | any 或自定义类型擦除容器 |
通过运行时接口实现 |
| 需要在集合中存储多种类型 | variant（如 std::vector<std::variant<int, std::string>>） |
结构清晰，编译期类型安全 |
| 需要动态分发处理（如事件系统） | variant + visit |
可以写成 visit 表达式树 |
四、代码示例
1. 使用 std::variant 处理不同状态
#include <variant>
#include <iostream>
#include <string>
using State = std::variant<int, std::string, double>;
void process(State s) {
std::visit([](auto&& arg) {
using T = std::decay_t<decltype(arg)>;
if constexpr (std::is_same_v<T, int>) {
std::cout << "int: " << arg << '\n';
} else if constexpr (std::is_same_v<T, std::string>) {
std::cout << "string: " << arg << '\n';
} else if constexpr (std::is_same_v<T, double>) {
std::cout << "double: " << arg << '\n';
}
}, s);
}
int main() {
State s1 = 42;
State s2 = std::string("hello");
State s3 = 3.14;
process(s1);
process(s2);
process(s3);
}2. 使用 std::any 作为通用属性容器
#include <any>
#include <iostream>
#include <vector>
#include <typeinfo>
struct Property {
std::string name;
std::any value;
};
int main() {
std::vector <Property> props = {
{"width", 1024},
{"height", 768},
{"title", std::string("My Window")},
{"fullscreen", false}
};
for (auto& prop : props) {
std::cout << prop.name << ": ";
try {
if (prop.value.type() == typeid(int)) {
std::cout << std::any_cast<int>(prop.value);
} else if (prop.value.type() == typeid(std::string)) {
std::cout << std::any_cast<std::string>(prop.value);
} else if (prop.value.type() == typeid(bool)) {
std::cout << (std::any_cast<bool>(prop.value) ? "true" : "false");
} else {
std::cout << "unknown type";
}
} catch (const std::bad_any_cast&) {
std::cout << "bad cast";
}
std::cout << '\n';
}
}五、性能对比与优化建议
| 指标 | variant |
any |
|---|---|---|
| 对象大小 | sizeof(max_member) + sizeof(size_t) |
sizeof(void*) + SBO buffer |
| 访问时间 | 常数时间，无堆分配 | 可能包含堆分配和类型检查 |
| 内存对齐 | 依赖最大成员对齐 | 统一对齐，SBO 需要注意对齐 |
优化技巧
- 使用
constexpr和if constexpr：在variant的visit回调中利用if constexpr可以让编译器在编译期排除不匹配的分支，进一步降低运行时成本。 - 避免不必要的堆分配：如果
any中存储的对象很大，建议先使用std::unique_ptr包装，然后放入any，或改用自定义轻量级类型擦除容器。 - 自定义
variant代替any：如果你知道可出现的类型但不想在编译时硬编码，可以使用boost::variant或std::any的混合实现，使用typeid记录索引并存储在variant的列表中。
六、结论
- 当你需要处理的是已知、有限且固定的类型集合时，
std::variant是更优的选择：它提供了编译期类型安全、低成本访问以及更好的可读性。 - 当你面对的是不确定或任意类型的数据，或需要在运行时决定存储的类型时，
std::any更为灵活，但代价是更高的运行时开销和可能的堆分配。 - 在实际项目中，常见的做法是：先尝试用
variant，如果因为类型不确定而导致维护成本过高，再考虑any或自定义类型擦除。
通过理解两者的实现细节和适用场景，开发者能够在 C++ 项目中更好地平衡安全性、性能与灵活性。