C++ 类从模板类继承而不知道类型？

Question

我正在设计一个模板类 Policy，它需要能够处理指向其他类的指针。

template <class P>
class Policy
{
  private:   
    const P *state;
  public:
    Policy (P const* s) : state(s){};
};

这很好用。 现在我想继承上面的模板类并创建新的子类：

class Greedy : public Policy<???>
{
  public:
    template <typename P> Greedy (P const* s) : Policy(s) {}:
};

class Explora : public Policy<???>
{ 
  public:
    template <typename P> Explora (P const* s) : Policy(s) {}:
};

问题是在定义这些类时，我不知道它们将用于基本模板类的类型。这甚至可能吗？ 我想要从继承的类构造函数中获得的类型（可能是模板化的），然后将其传递给基类构造函数。 我可以这样做吗？如果是，如何？类型定义枚举？ 我见过this question，但我认为它并不能真正回答这个问题。

Answer 1

使它们成为模板类：

template <typename P>
class Greedy : public Policy<P>
{
    // now you know
};

Answer 2

您当然可以这样做（有关派生类型的正确参数化，请参阅 GMan 的回答），但请记住，您将获得每种类型 P 的完全独立的类层次结构。您不会神奇地创建具有任意数量成员类型的超类。

将模板视为代码生成工具。它们不会创建“类型泛型类型”，而是在编译时按照泛型模式创建大量具体的静态类型的并行实例。

---

如果你真的想要一个单一的通用基类型，也许你可以将state的类型设为多态：

class Policy // no template
{
  StateBase * state;
public:
  Policy(StateBase * s) : state(s) { }
};

然后你的所有派生类都可以访问状态的公共接口。