模板和继承的“未在此范围内声明”错误[重复]

Question

这是重现我的问题的代码示例：

template <typename myType>
class Base {
public:
    Base() {}
    virtual ~Base() {}
protected:
    int myOption;
    virtual void set() = 0;
};

template <typename InterfaceType>
class ChildClass : public Base < std::vector<InterfaceType> >
{
public:
    ChildClass() {}
    virtual ~ChildClass() {}
 protected:
    virtual void set();
};

template <typename InterfaceType>
void ChildClass<InterfaceType>::set()
{
     myOption = 10;
}

我在main()的用法：

ChildClass<int> myObject;

我收到以下错误（ubuntu 上的 gcc 4.4.3）：

‘myOption’没有在这个范围内声明

如果我的 ChildClass 没有新的模板参数，这将正常工作，即：

class ChildClass : public Base < std::vector<SomeConcreteType> >

---

编辑

如果我的 set 方法如下所示，我已经设法解决了：

Base<std::vector<InterfaceType> >::myOption = 10;

它工作正常。仍然不知道为什么我需要指定所有模板参数。

Answer 1

myOption 不是依赖名称，即它不显式依赖模板参数，因此编译器会尝试及早查找它。您必须将其设为从属名称：

template <typename InterfaceType>
void ChildClass<InterfaceType>::set()
{
     this->myOption = 10;
}

现在它取决于this 的类型，因此取决于模板参数。因此编译器会在实例化的时候绑定它。

这叫Two-phase name lookup。

Answer 2

C++03 14.6.2 从属名称

在类模板或类模板成员的定义中， 如果类模板的基类依赖于模板参数， 在非限定名称期间，基类范围未检查 在类模板的定义点查找或 成员或在类模板或成员的实例化期间。

以下代码应该可以工作。

template <typename InterfaceType>
void ChildClass<InterfaceType>::set()
{
   Base<std::vector<InterfaceType> >::myOption = 10;
}