c++ - 如何在派生实例化之前创建抽象类

Question

如何创建派生类并在创建派生类时实例化基类。

像这样

template<class T> 
struct Base 
{
  typedef T type;
  static const int n = 3;
  virtual int f() = 0;
  int f(int x) { return x * 2; }
};

// doesn't compile!
template<class T> 
struct Derived : Base<T> 
{
    type field;         // The compiler doesn't know Base<T>::type yet!
    int f() { return n; } // the compiler doesn't know n yet, and f(int) is maksed!
};

Answer 1

您可以使用 using 输入相关名称声明:

template<class T> 
struct Base 
{
  typedef T type;
  static const int n = 3;
  virtual int f() = 0;
  int f(int x) { return x * 2; }
};

template<class T> 
struct Derived : Base<T> 
{
    using typename Base<T>::type;
    using Base<T>::n;

    type field;
    int f() { return n; }
};

Live example

对于以这种方式继承的类型，您还必须使用 typename关键字(就像我上面所做的那样)，以便编译器知道该名称指的是一种类型。有一个 question on SO了解有关此要求的更多信息。

另一种方法是显式限定名称:使用 typename Base<T>::type而不是 type和 Base<T>::n而不是 n .您选择哪一个主要取决于偏好。