类模板的继承
类模板可以继承也可以被继承。
1.在一个类模板中，一个非依赖型基类是指：无须知道模板实参就可以完全确定类型的
基类。
例如：
template<typename X>
class Base{
public:
int basefield;
typedef int T;
};
class D1:public Base<Base<void> >{//实际上不是模板
public:
void f(){basefield = 3; }
};
template<typename T>
class D2:public Base<double>{
public:
void f() { basefield = 7; }//正常访问继承成员
T strange;//T是Base<double>::T,而不是模板参数
};
注意事项：对于模板中的非依赖类型而言，如果在他的派生类中查找一个非受限名称，
那就会先查找这个非依赖型基类，然后才会查找模板参数列表。
2.非依赖性名称不会在依赖基类中查找
template<typename X>
class Base{
public:
int basefield;
typedef int T;
};
template <typename T>
class DD:Base<T>{
public:
void f(){
basefield = 0;//problem
}
};
template<>
class Base<bool>{
public:
enum { basefield = 42 };//tricky
};
void g(DD<bool>& d){
d.f();//opps
}
//修改方案一
template <typename T>
class DD1:Base<T>{
public:
void f(){
this->basefield=0;//查找被延迟了
}
};
//修改方案二
template <typename T>
class DD2:Base<T>{
public:
void f(){
Base<T>::basefield=0;//查找被延迟了
}
};
如果使用修改方案二，如果原来的非受限非依赖型名称是被用于虚函数调用的话，
那么引入依赖性的限定的话，那么这种引入依赖性的限定将会近之虚函数调用，
从而也会改变程序的含义，当遇到第二种情况不适合的情况，可以采用方案一