c++ - 指向基类的指针以及如何确定实例的实际类型

Question

我有一个问题，我不确定如何在 C++ 中解决它；

我有三个对象，每个对象都可以执行许多不同的操作。这些对象支持添加到它们可以执行的操作的附加对象。根据添加到的对象，附加组件将启用不同的操作。

我如何在 C++ 中对此建模？

我想要 A、B、C、AddOn1、AddOn2 类。

问题是:

AddOn1/2 如何在运行时知道它包含什么操作(换句话说，它如何知道它附加到什么(类型)对象)？

A、B、C 类如何知道它有什么类型的附加组件？

我想做这样的事

A级{...加载项*加载项；};

并使用该指针来处理附加组件。但是我需要将它转换为特定的类才能使用它的功能。

我可以看到我如何拥有像 hasAddOn1 和 hasAddOn2 这样的 bool 字段，并根据这些设置进行转换。然后在 AddOn 基类中，我可以有一个指向其父类的指针并询问父类以找出 AddOn 的类型。

这有意义吗？

Answer 1

I have three objects that can each perform a number of different actions. These objects support an add-on object that adds to the actions they can perform. Depending to the object it is added to, the add on will enable different actions.

为什么不使用继承和模板？

struct A {
  virtual void action_foo(); // virtual not really needed in this example
};

struct B {
  virtual void action_bar();
};

template<class base_t>
struct AddOn1 : base_t {
  virtual void action_baz();
};

void func(A& a) {
  a->action_foo();
}

// example of use

A x;
B y;
AddOn1<A> z; // add on to A
x.action_foo();
y.action_bar();
z.action_baz();
func(x);
func(z);