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.
