如何在C++中创建支持动态数据类型的自定义类

根本不需要编写数千行C语言或汇编代码，这是C++开发中非常常见的异构容器需求，标准库已经提供了全套成熟工具，根据项目的环境、性能、类型安全要求选择对应方案即可，全量实现最多也就百行代码量级。

方案1：C++17环境用std::any实现最大灵活性的存储 #

如果项目支持C17，这是实现成本最低的方案，利用std::any可包装任意可拷贝、可析构C类型的特性，实现完全不限类型的vector存储能力：

• 不需要提前枚举所有需要支持的类型
• 取值时通过std::any_cast指定需要的类型，取回对应的vector实例

示例代码：

#include <any>
#include <vector>
#include <string>

class GenericVectorStore {
private:
    std::vector<std::any> storage;
public:
    // 存入任意类型的vector
    template <typename T>
    void Append(std::vector<T> vec) {
        storage.push_back(std::move(vec));
    }

    // 按指定类型取出对应位置的vector
    template <typename T>
    std::vector<T> Get(size_t pos) {
        return std::any_cast<std::vector<T>>(storage.at(pos));
    }
};

使用注意：

• 取值时如果指定的类型和实际存储类型不匹配，会抛出std::bad_any_cast异常
• 适合无法提前枚举所有存储类型、需要最大灵活性的场景

方案2：固定可选类型用std::variant实现类型安全存储 #

如果需求只是固定支持某几种类型的vector（比如仅需要存int、string、double类型的vector，不需要支持完全未知的自定义类型），用std::variant比std::any性能更好、类型安全性更高：

• 编译期就能检查传入的类型是否在允许的范围内
• 没有std::any的运行时类型检查开销，内存布局连续

示例代码：

#include <variant>
#include <vector>
#include <string>

// 提前枚举所有允许存储的vector类型
using SupportedVector = std::variant<
    std::vector<int>,
    std::vector<std::string>,
    std::vector<double>
>;

class SafeVectorStore {
private:
    std::vector<SupportedVector> storage;
public:
    template <typename T>
    void Append(T vec) {
        storage.push_back(std::move(vec));
    }

    // 统一处理不同类型的元素逻辑
    template <typename Handler>
    void Process(size_t pos, Handler&& handler) {
        std::visit(std::forward<Handler>(handler), storage.at(pos));
    }
};

方案3：低版本C++11/14环境手动实现类型擦除 #

如果项目环境不支持C17，也完全不需要写汇编，只需要用C最基础的虚函数多态实现简单的类型擦除逻辑，几十行代码就能达到等价能力：

• 定义一个抽象基类，封装vector的通用无类型接口
• 针对每个具体的vector类型编写派生类，实现对应的接口
• 容器内只存储基类的智能指针对外提供统一接口

这种实现的代码量通常远低于百行，根本达不到需要编写几千行底层C或汇编的复杂度。

误区澄清：很多刚接触C模板的开发者会对“存储任意类型的容器”有畏难情绪，觉得要实现这类功能得手动操作内存布局、写底层汇编。实际上这类异构容器是C日常开发中非常成熟的应用场景，标准库工具完全能覆盖多数需求，剩下的特殊场景也只需要少量自定义代码，不存在实现门槛高到要写数千行底层代码的情况。

内容的提问来源于stack exchange，提问作者bartx 3