c ++从专门的模板类继承

Question

template<typename T1, typename T2, typename T3>
class A: public A<T1, T2, void> {
public:
    T1 a;
    T2 b;
    T3 c;

    void set() { a = aa; } // Cannot find variable `aa' here!
};

template<typename T1, typename T2>
class A<T1, T2, void> {
public:
    T1 aa;
    T2 bb;
};

如上所述，我有一个模板类A及其部分专用形式A' 。 那么A可以从A'继承吗？ 根据g ++，看来还可以。 但是，当我尝试访问A'中的成员时，g ++开始抱怨：找不到该符号。 有人知道为什么吗？

Answer 1

据我记得，您必须使用“ using”将aa引入派生类。 将以下内容（我不记得确切的语法，因此请原谅任何编译问题）添加到您的通用模板中：

using A<T1, T2, void>::aa;

编辑：正如Mehrdad指出，this-> aa也应该起作用。

Answer 2

使用C ++模板的名称查找规则似乎有点不直观。 编译器首次解析模板定义时，它将解析不依赖模板参数的所有名称。 当涉及模板实例化时，它将解决其余问题。

如果仅查看类A的定义，则符号aa对类型参数T1，T2或T3的依赖性不明显。 因此，编译器将尝试解析该名称，但无法解析，因为该名称在该环境中未定义。

因此，要说服编译器执行您想要的操作，必须使用以下技巧：

• 最简单的方法可能是this-> aa 。 由于它具有依赖模板参数的超类，因此只能在模板实例化时查找其成员，因此一切都很好。

• 使用超类来限定成员，即使用A <T1，T2，void> :: aa 。 这使得依赖性非常明显。 您也可以使用using指令，这样就不必每次都键入此指令。