变量代表类型？运行时继承？

Question

我问这个问题的原因： 我正在使用一个不是我自己设计的大型框架。我需要使用几个与代码无关的“用户信息”类。它们不是从任何公共基类派生的，而且我无权访问源代码来重新编译。

这些信息类的工作方式如下：有类 A、B、C 等。这些类每个都有一个与其关联的信息类 Ainfo、Binfo 等。因为用户（即我）需要将不同的信息附加到给定类的给定对象（这意味着我可能有两个从 Ainfo 派生的不同类，我想将它们附加到 A 的对象），并且只有一个信息槽，我想制作一个可以旧其他各种信息对象的信息对象。这样，我就可以将我的信息添加到这个假信息对象中，该对象是其他信息对象的容器。

问题的出现是因为我想对 Ainfo、Binfo、Cinfo、Dinfo 等执行此操作。所以我想编写一个 mixin 或仅将容器功能添加到任何普通旧信息类中的东西。

问题在于信息类 Ainfo、Binfo 等需要不同的构造函数参数。

所以问题是：

是否可以将类型向量传递到 mixin 的构造函数中？这样我就可以传入适当的构造函数参数的变量列表？您可以将类型分配给模板参数之外的变量吗？你能用这个变量进行转换吗？

或者

是否可以从特定对象继承？例如，我可以使用正确的构造函数创建一个新的 Ainfo 对象，然后对该特定对象进行 mixin 吗？这就像装饰器模式的使用一样，只是我没有通用的接口。 （被装饰的对象是接口）

还是

我必须硬着头皮编写 15,000 个（夸张:)）完全相同的类，但继承自不同的基类并包含不同类型的对象？

摘要：

我需要向几个不同的类添加容器功能，同时维护每个类的接口并利用它们的参数构造函数。我不想重复代码。

提前致谢。抱歉完全屠宰术语。

Answer 1

在我看来，你想要的是 Boost.Variant。它就像 C++ 风格的联合。它是强类型的（以便您始终知道其中实际存储的内容），并且它具有强大的访问机制，可以轻松地将许多不同的类型映射到单个操作。

例如，您可以这样做：

typedef boost::variant<Ainfo, Binfo, Cinfo> CommonInfo;

//In a function.
CommonInfo someInfo = Ainfo();

然后您可以编写可用于调用 info 对象的成员的访问者函子。

class DoThingInfoVisitor : boost::static_visitor<>
{
    void operator()(Ainfo &info) {info.DoThing()}
    void operator()(Binfo &info) {info.DoThing2()}
    void operator()(Cinfo &info) {info.StepA(); info.StepB();}
};

有了这个对象，如果您想要执行此 DoThing 对任何 CommonInfo 类型意味着的任何操作：

CommonInfo someInfo = Ainfo();
boost::apply_visitor( times_two_visitor(), someInfo );

这将调用 Ainfo 版本，因为这正是存储在 中的内容>一些信息。如果它存储了 Binfo，那么您就可以使用它。您可以构建一个包含这些访问者的套件；它们可以返回值、接受参数（尽管您需要将它们存储在函子中）以及您可以从文档中学习的各种其他技巧。

Answer 2

如果它在模板中不可行，并且您无法使用预处理器破解它，那么您将不得不手动完成。 C++ 在运行时不包含任何类型操作，您所拥有的就是 typeid() 和 dynamic_cast。

Answer 3

这可能有点过于简单化，但如果没有其他问题，它应该有助于澄清你的问题。使用模板，您可以轻松生成从信息类派生的类。以下课程说明了这个概念。

class Ainfo {
  std::string _a;
public:
  void setContent(const std::string& A);
  const char * print() const; // prints _a
};

class Binfo {
  std::string _b;
public:
  void setContent(const std::string& B);
  const char * print() const; // prints _b
};

template<class Tinfo>
class Info : public Tinfo {
};

然后您可以按如下方式使用该模板。

Info<Ainfo> my_info;
my_info.setContent("test");
std::cout << my_info.print();

更新：如果您还想覆盖模板的构造函数，请尝试使用成员模板。

template<class Tinfo>
class Info : public Tinfo {
public:
    template<typename arg>
    Info(arg rhs) : Tinfo(rhs) { }
};

使用它，您可以编译并运行以下命令。

Info<Ainfo> my_info("Testing...");
std::cout << my_info.print();

我可能是错的，但我有一种感觉，我们现在已经很接近了......