条款43:学习处理模板化基类内的名称(调用模板基类内函数的方法)

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内的成员。

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值