嵌套类作为C++中父类的模板参数

Question

我想将算法实现为派生自纯虚拟类的类，代表特定算法解决的问题类型。

一般界面如下所示：

template<typename A, typename B>
class ISolutionToProblem
{
public:
    virtual void Init(const A & input, const B & param) = 0;
    virtual const B & ComputeSolution() = 0;

    virtual ~ISolutionToProblem() {}
};

而实现例如是：

template<typename T>
class MyAlgorithm:
    public ISolutionToProblem<typename MyAlgorithm<T>::WorkData, T>
{
public:
    struct WorkData { /* Stuff using T... */ };
    virtual void Init(const WorkData & input, const T & param);
    virtual const T & ComputeSolution();

virtual ~MyAlgorithm();
};

（更具体地说，问题实际上是寻路，但我认为它不相关）

我的问题是继承部分：我使用嵌套结构作为模板参数，无论我多么好地尝试与编译器对话，它总是拒绝编译我的代码。

我可以偷懒，把内部结构放在课堂之外，但如果可能的话，我希望它整齐地放在课堂上。

1. 那么我正在尝试做的事情实际上是否可行（在 C++98 中）？
2. 如果是这样，我应该怎么写？ （如果你让我理解为什么语法不接受上面的形式，那么加分）
3. 否则，我做错了什么？ （我的设计一开始就有缺陷吗？）

---

这是编译器错误的样子。

• g++ (4.8):

  错误：‘class MyAlgorithm’中没有名为‘WorkData’的类型

• 叮当声（3.1）：

  错误：“MyAlgorithm”中没有名为“WorkData”的类型

• VS2012:

  错误 C2146：语法错误：在标识符“WorkData”之前缺少“，”
  请参阅对正在编译的类模板实例化“MyAlgorithm”的引用
  错误 C2065：“工作数据”：未声明的标识符
  错误 C2955：“ISolutionToProblem”：
               使用类模板需要模板参数列表
  参见“ISolutionToProblem”的声明

Answer 1

我认为您的问题是编译器在定义外部类之前不知道内部类的外观，并且外部类是使用内部类作为模板参数定义的。我不是 100% 确定这不能正常工作。 CRTP 是一个与此类似且已知有效的示例。

模板可用于创建继承层次结构，但不应在层次结构的定义中使用。如果这听起来令人困惑，那是因为它是。继承和模板类不能很好地混合。请注意，即使 CRTP 使用继承和模板，它也不使用虚函数。