C++ Templates 中的一个例子

C++ Templates <The complete guide> 中的一个例子:

一个模板基类
template<class T>
class Base
{
public:
   int field;       // #1
};

派生类, 从上面的模板基类继承
注意, 在此, 基类并不能确定就是上面的Base<T>,
因为 下面#3 处可以看到, 程序对Base<int>进行了特化

template<class T>
class Derived : public Base<T>
{
public:
 void f()
 {
  field++;          //#2 哪个field? #1处还是#3处,
 }
};

#2处的field到底是char还是int类型? 即#1处还是#3处 ? 显然无法确定, 只有当
Derived被某个特定的T类型实例化的时候才知道.

template<>
class Base<int>
{
public:
 char field;           //#3
};

#2处的field是一个non-dependent name, 而基类Base<T>是一个dependent name, 因此不去其中查找.

正确的编译器做法是: 在#1处报错.  VC7.1就是如此.

因此在Derived<T>模板类中, 如果确实需要指定Base<T>中的field, 应该使用 this->field 或者 Base<T>::field.