只需使用 std::tuple . N、 b get 要求每个 Components... 是一种独特的类型

template <typename ... Components>
class Entity final { 
    std::tuple<Components...> components;  
    template<typename Component>
    void add(Component component) // possibly cv / ref qualified
    {
        std::get<std::decay_t<Component>>(components) = component;
    }
};

使用 std::variant 为了实现灵活性和简单性的结合,可能会牺牲一些内存。

template<typename... Components>
class Entity final {
    using variant = std::variant<Components...>;
    std::vector<variant> components;

public:
    template<typename T>
    void add(T&& t) {
        components.push_back(std::forward<T>(t));
    }
};

当组件的大小变化很大时,就会出现内存问题。假设一个是1字节,另一个是200字节,则 std::vector 将至少有200个字节大。

另一个解决方案是 std::any .

template<typename... Components>
class Entity final {
    std::vector<std::any> components;

public:
    template<typename T>
    void add(T&& t) {
        static_assert((std::is_same_v<Components, std::decay_t<T>> || ...));
        components.push_back(std::forward<T>(t));
    }
};

除了非常小的对象外,大多数堆上肯定有所有的东西,但不会出现上述问题 std::变量 .

在这种情况下 std::任何 ,我们使用类型系统只是为了启用检查,而不是管理数据的布局。