具有可以是两种类型之一的数据成员的类

Question

最好用一些代码来解释：

class MyClass {
  public:
    MyClass(const std::string& d1, const std::string& d2, const std::vector<AorB>& d3) : data1(d1), data2(d2), data3(d3) {}

    std::string getData1();
    std::string getData2();
    std::vector<AorB> getData3();

  private:
    std::string data1;
    std::string data2;
    std::vector<AorB> data3;
}

int main() {
  MyClass myClassA("d1", "d2", std::vector<A>());
  MyClass myClassB("d1", "d2", std::vector<B>());

  A myA = myClassA.getData3();
  B myB = myClassB.getData3();
}

当使用 boost 变体或 boost any 时，此工作流“几乎”有效，但我要避免的是调用 boost::get 以获取实际类型的 getData3 结果。换句话说，我不希望 MyClass 的使用者必须知道 A 或 B 是否存储在 data3 中。我只是希望他们能够调用 getData3()，它是在创建时传递的任何类型。

我认为可以通过具有模板专业化/递归继承的模板来实现，但我不太清楚如何让它发挥作用。也许它看起来像这样？

class MyClass {
  public:
    template <typename AorB>
    MyClass(const std::string& d1, const std::string& d2, const std::vector<AorB>& d3) : data1(d1), data2(d2), data3(d3) {}

    std::string getData1();
    std::string getData2();

    template <typename AorB>
    std::vector<AorB> getData3();

  private:
    std::string data1;
    std::string data2;

    template <typename AorB>
    std::vector<AorB> data3;
  }

  int main() {
    MyClass myClassA<A>("d1", "d2", std::vector<A>());
    MyClass myClassB<B>("d1", "d2", std::vector<B>());

    A myA = myClassA.getData3();
    B myB = myClassB.getData3();
  }

但是这行不通，因为我们不能有非静态模板类成员。

Answer 1

要执行您正在尝试的操作，您需要将模板作为一个整体应用于MyClass，例如：

template <typename AorB>
class MyClass {
  public:
    MyClass(const std::string& d1, const std::string& d2, const std::vector<AorB>& d3) : data1(d1), data2(d2), data3(d3) {}

    std::string getData1();
    std::string getData2();
    std::vector<AorB> getData3();

  private:
    std::string data1;
    std::string data2;
    std::vector<AorB> data3;
};

int main() {
  MyClass<A> myClassA("d1", "d2", std::vector<A>());
  MyClass<B> myClassB("d1", "d2", std::vector<B>());

  A myA = myClassA.getData3();
  B myB = myClassB.getData3();
}

Answer 2

您可以在此处使用 union 来设置创建时想要的任何数据类型以及检索时获得的数据类型。 Union 为其所有成员分配一个公共内存位置。联合占用的内存将大到足以容纳联合的最大成员。

union AorB
   {
         A;
         B;
   };

然后在上面的程序中使用