1、存在的问题:
template<typename T1>
class Class_A{
public:
void send1(T1 var);
};
template <typename T1>
class Class_B:public Class_A< T1 >{
public:
void send2(T1 var) { send1(var); } //编译错误,调用模板基类内函数失败
};
与普通继承的差别:在一般继承体系中,派生类可以调用基类方法,但模板继承中存在问题。
原因:由于base class template可能被特化,而特化版本可能不提供和一般性template模板相同的接口。因此编译器往往拒绝在templated base class(模板基类)内寻找继承而来的名称,例子:
template<>
class Class_A<Type_1>{ //特化模板类,类型为Type_1时的模板类
public:
void send3(Type_1 var); // 该特化类中不存在send1函数
};
知识点:template<>
为特化模板标志
现象:由于特化类中不存在send1
函数,因此派生类调用该函数失败。所以编译器由于知道基类模板可能被特化,使得接口不一致,所以禁止了这样的调用。
2、解决方法:
解决方法的原理:对编译器承诺,base class template的任何版本(包括特化版本)都将支持一般版本所提供的的接口。
a)使用this->
template <typename T1>
class Class_B:public Class_A< T1 >{
public:
void send2(T1 var) { this->send1(var); } // 告诉编译器,假设send1被继承
};
b) 使用using声明
template <typename T1>
class Class_B:public Class_A< T1 >{
public:
using Class_A< T1 >::send1; // 告诉编译器,send1在基类中
void send2(T1 var) { send1(var); }
};
b) 指明被调函数所在类:基类资格修饰符
template <typename T1>
class Class_B:public Class_A< T1 >{
public:
void send2(T1 var) { Class_A< T1 >::send1(var); } // 告诉编译器,send1在基类中
// 此方法不好若send1为虚函数,则Class_A< T1 >::修饰会关闭virtual绑定行为
};
参考资料:Effective C++ 条款43:学习处理模板化基类内的名称
总结:
1、可在derived class template中通过this->,using声明,基类作用域修饰符调用base class template内的成员。