异质容器可通过std::variant、std::any或基类指针实现：类型有限且固定时用std::variant，需存储任意类型且接受运行时开销时用std::any，具有共同接口的类 hierarchy 用基类+智能指针；三者分别在类型安全、灵活性和多态行为上权衡，避免使用void*或union以确保安全与可维护性。
在C++中，异质容器（Heterogeneous Container）指的是能够存储不同类型对象的容器。这与标准模板容器如 std::vector<int></int> 或 std::list<:string></:string> 不同，后者只能存储同一类型的元素。
由于C++是静态类型语言，传统容器要求所有元素具有相同类型。但通过一些现代C++特性和设计技巧，可以实现一个真正意义上的异质容器，用于灵活地管理多种类型的数据。
使用 std::variant 存储有限类型集合
std::variant（C++17 起）是一种类型安全的联合体（union），可用于在一个对象中保存多种类型之一。它可以用来构建能容纳几种预定义类型的容器。
例如：你想存储整数、字符串和浮点数到同一个 vector 中，可以这样做：
立即学习“C++免费学习笔记（深入）”；
#include <variant>
#include <vector>
#include <string>
<p>using VarType = std::variant<int, double, std::string>;
std::vector<VarType> container;</p><p>container.emplace_back(42);
container.emplace_back(3.14);
container.emplace_back("hello");</p><p>// 访问时需用 std::visit
std::visit([](const auto& value) {
std::cout << value << std::endl;
}, container[0]);
这种方式适用于已知且数量有限的类型组合，类型安全且性能良好。
使用 std::any 存储任意类型
std::any（C++17 起）允许你存储任何可复制的类型。它比 std::variant 更灵活，但运行时开销更大，且类型检查在运行时进行。
#include <any>
#include <vector>
#include <string>
<p>std::vector<std::any> anyContainer;</p><p>anyContainer.push_back(100);
anyContainer.push_back(std::string("world"));
anyContainer.push_back(true);</p><p>// 提取值需要 any_cast
if (auto<em> p = std::any_cast<int>(&anyContainer[0])) {
std::cout << </em>p << std::endl;
}
注意：错误的类型转换会抛出异常或返回空指针（取决于使用方式），需小心处理。
基于基类指针的多态容器
如果你有一组相关类型（具有共同接口），可以通过继承和虚函数实现异质存储。
做法：- 定义一个公共基类（通常包含虚析构函数）
- 派生类重写虚函数以实现各自行为
- 使用
std::vector<:unique_ptr>></:unique_ptr>存储对象
class Shape {
public:
virtual ~Shape() = default;
virtual void draw() const = 0;
};
<p>class Circle : public Shape {
public:
void draw() const override { std::cout << "Drawing Circle\n"; }
};</p><p>class Rectangle : public Shape {
public:
void draw() const override { std::cout << "Drawing Rectangle\n"; }
};</p><p>std::vector<std::unique_ptr<Shape>> shapes;
shapes.push_back(std::make_unique<Circle>());
shapes.push_back(std::make_unique<Rectangle>());</p><p>for (const auto& s : shapes) {
s->draw(); // 多态调用
}
这种方法适合面向对象设计，强调行为统一而非类型随意。
总结：如何选择合适的异质容器？
- 若类型集合固定且较少 → 使用 std::variant
- 需存储任意类型且不在乎性能损耗 → 使用 std::any
- 对象有共同接口和行为 → 使用 基类+智能指针
- 避免使用 void* 或 union（不安全，难维护）
基本上就这些常见方式。C++虽不原生支持动态类型容器，但通过以上方法可以高效、安全地实现异质存储需求。关键是根据实际场景权衡类型安全、性能和灵活性。不复杂但容易忽略细节，比如正确释放资源或处理类型转换异常。
