模板派生类(下面的D) 从一个 确定性基类(指B)继承,
在D的定义中, 编译器优先查找基类中的名字, 然后才是模板参数placeholder (即Type) .


例如:
struct B
{
   typedef int Type;        //基类中有一个Type名字
};

template<class Type>
class D : public B           //从非依赖基类B派生,
{
public:
  Type i;      //Type既可以是模板参数, 有可能是基类B中被typedef的int, 优先选择后者
};

int  main()
{
   D<char> d;
   d.i = 29;          //d.i 的确切类型应该是 B中定义的 int, 而不是模板实参指定的char.

   return 0;
}

VC7.1 确实如此.

这样, 是否造成一种现象，就是如果一个模板类需要继承一个普通的基类，它在确定模板参数名字的时候还要考虑
到基类中去看看有没有同名冲突？　

或者使用一种防御性的模板参数命名方法，即仅仅将模板参数命名为T, U这样的简单类型？

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是一个unqualified name, 而基类Base<T>是一个dependent name, 因此不去其中查找.

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

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