如何创建一个向量来保存同一模板类的所有类型的元素

Question

我有一个模板类：

template<typename A, typename B, typename C>
class blah{...};

我想创建一个 std::vector 来保存任何可能的 blah 对象。

例如

blah<float, int, string>

或

blah<string, string, char>

这些 blah 对象虽然来自同一个模板类，但本质上是不同的类型。如何声明一个 std::vector 来保存它们？

我想过使用std::variant，但我不能，因为要使用它，我需要枚举所有可能的模板参数组合：

std::variant<all possible template parameter combinations>

我考虑过使用 std::any，但我不能，因为我不知道如何从 std::any 类型转换回正确的类型？

我考虑过使用基类：

template<typename A, typename B, typename C>
class blah : public blah_base
{...};

并像这样声明一个向量：

std::vector<blah_base*>

但是，我仍然不知道如何从 blah_base* 类型转换回正确的类型？

Answer 1

基本上，您需要的是多态性。您正在探索的所有选项都是多态性，这是解决此问题的最佳方法。但是，您说这个和其他变体：

我不知道如何从 blah_base* 类型转换回正确的类型

如果您发现自己需要这样做，那么您做错了什么。要么拥有 std::vector<blah<...>> 没有意义，要么你的 blahs 都需要满足 blah_base 合同。

你可以用虚函数解决这个问题：

class blah_base {
public:
    virtual void foo() = 0;
};

然后，您不必知道您拥有哪种类型的blah，只需调用相应的foo 函数即可。

Answer 2

好吧，在不太了解您的用例的情况下，我假设您将拥有三个向量；每个模板类型一个。你可以这样实现blah：

#include <vector>

template<typename A, typename B, typename C>
class blah
{
public:
    // Put stuff here.
    void AddToVectorA(A item);
    void AddToVectorB(B item);
    void AddToVectorC(C item);
private:
    std::vector<A> _a;
    std::vector<B> _b;
    std::vector<C> _c;
};

template<typename A, typename B, typename C>
void blah<A,B,C>::AddToVectorA(A item)
{
    _a.push_back(item);
}

template<typename A, typename B, typename C>
void blah<A,B,C>::AddToVectorB(B item)
{
    _b.push_back(item);
}

template<typename A, typename B, typename C>
void blah<A,B,C>::AddToVectorC(C item)
{
    _c.push_back(item);
}

int main()
{
    blah<int, double, float> b;
    b.AddToVectorA(2);

    return 0;
}

您也可以公开这三个向量，但人们可以使用它们；您也可以查看tuple。仅供参考：我现在测试了代码，它可以工作。