typedef 从纯抽象基类继承

Question

编辑：发现 重复

我已将一些问题代码缩减为最简单的工作案例说明以下内容：我的纯抽象基类中的 typedef 没有被派生类继承。在下面的代码中，我想将 system_t typedef 继承到 ConcreteTemplateMethod 中：

#include <iostream>

// pure abstract template-method
template <typename T>   // T == Analyzer<U>
class TemplateMethod {
  public:
    typedef T system_t;

    virtual void fn (const system_t& t) const = 0;
};


template <typename T>
class Analyzer {
  public:
    void TemplatedAlgorithm (const TemplateMethod< Analyzer <T> >& a) const {
      printf ("Analyzer::TemplatedAlgorithm\n");
      a.fn(*this);  // run the template-method
    }

    void fn () const {
      printf ("Analyzer::fn\n");
    }
};


// concrete template-method
template <typename T>
class ConcreteTemplateMethod : public TemplateMethod < Analyzer<T> > {
  public:
    typedef Analyzer<T> system_t;

    virtual void fn (const system_t& t) const {
      printf ("ConcreteTemplateMethod::fn\n");
      t.fn(); // perform Analyzer's fn
    }
};

int main () {

  Analyzer <double> a;
  ConcreteTemplateMethod<double> dtm;
  a.TemplatedAlgorithm(dtm);

  return 0;
}

此代码按预期编译和运行。在 ConcreteTemplateMethod 中，以下内容是必需的，删除后会导致编译器错误：

typedef Analyzer<T> system_t;

请注意，system_t 类型已在基类中进行 typedef 编辑， 然而。为什么继承时必须包含另一个 typedef？

我意识到我可以通过使用 typename TemplateMethod在派生的 ConcreteTemplateMethod 中限定 system_t 的类型名称。分析仪T >::system_t&，但这有点冗长，我想避免每次继承并需要使用相同的 时都必须重新typedef 到基类>system_t。有没有办法可以在基本 TemplateMethod 中定义解决这个问题？

Answer 1

你应该

typedef typename TemplateMethod<X>::system_t system_t;

“继承”typedef。 typedef 不会自动继承（如果编译器兼容）。

如果你查看堆栈溢出，会在某个地方重复这个问题。