c++中的异质容器(Heterogeneous Container)是什么_c++存储不同类型的对象_技术教程

异质容器可通过std::variant、std::any或基类指针实现：类型有限且固定时用std::variant，需存储任意类型且接受运行时开销时用std::any，具有共同接口的类 hierarchy 用基类+智能指针；三者分别在类型安全、灵活性和多态行为上权衡，避免使用void*或union以确保安全与可维护性。

在C++中，异质容器（Heterogeneous Container）指的是能够存储不同类型对象的容器。这与标准模板容器如 std::vector 或 std::list<:string> 不同，后者只能存储同一类型的元素。

由于C++是静态类型语言，传统容器要求所有元素具有相同类型。但通过一些现代C++特性和设计技巧，可以实现一个真正意义上的异质容器，用于灵活地管理多种类型的数据。

使用 std::variant 存储有限类型集合

std::variant（C++17 起）是一种类型安全的联合体（union），可用于在一个对象中保存多种类型之一。它可以用来构建能容纳几种预定义类型的容器。

例如：

你想存储整数、字符串和浮点数到同一个 vector 中，可以这样做：

#include 
#include 
#include 
using VarType = std::variant;
std::vector container;
container.emplace_back(42);
container.emplace_back(3.14);
container.emplace_back("hello");
// 访问时需用 std::visit
std::visit([](const auto& value) {
std::cout << value << std::endl;
}, container[0]);

这种方式适用于已知且数量有限的类型组合，类型安全且性能良好。

使用 std::any 存储任意类型

std::any（C++17 起）允许你存储任何可复制的类型。它比 std::variant 更灵活，但运行时开销更大，且类型检查在运行时进行。

示例：

#include 
#include 
#include 
std::vector anyContainer;
anyContainer.push_back(100);
anyContainer.push_back(std::string("world"));
anyContainer.push_back(true);
// 提取值需要 any_cast
if (auto p = std::any_cast(&anyContainer[0])) {
std::cout << p << std::endl;
}

注意：错误的类型转换会抛出异常或返回空指针（取决于使用方式），需小心处理。

基于基类指针的多态容器

如果你有一组相关类型（具有共同接口），可以通过继承和虚函数实现异质存储。

做法：

定义一个公共基类（通常包含虚析构函数）
派生类重写虚函数以实现各自行为
使用 std::vector<:unique_ptr>> 存储对象

class Shape {
public:
    virtual ~Shape() = default;
    virtual void draw() const = 0;
};
class Circle : public Shape {
public:
void draw() const override { std::cout << "Drawing Circle\n"; }
};
class Rectangle : public Shape {
public:
void draw() const override { std::cout << "Drawing Rectangle\n"; }
};
std::vector> shapes;
shapes.push_back(std::make_unique());
shapes.push_back(std::make_unique());
for (const auto& s : shapes) {
s->draw(); // 多态调用
}

这种方法适合面向对象设计，强调行为统一而非类型随意。