条款43：学习处理模板化基类内的名称

问题提出：

template<typename Company> class MsgSender{ public: ... void sendClear(const MsgInfo& info){ std::string msg; ...//根据info产生信息 Company c; c.sendClearText(msg); } void sendSecret(const MsgInfo& info){...} //这里调用的是 c.sendEncrypted. }; template <typename Company> class LoggingMsgSender:public MsgSender<Comany>{ public: ... void sendClearMsg(const MsgInfo& info){ //为避免"名称遮掩"现象的发生,采用了一个不同的名称 ...// record status information before sending message sendClear(info); ...//record status information after sending message. } ... };

这样的代码看起来没用什么可以指责的地方,但编译器却不让其通过编译.此时的编译器抛出了"sendClear不存在"的抱怨.
C++拒绝这个调用的原因:它知道base class template有可能被特化,而那个特化版本可能不提供和一般性template相同的接口.就某种意义而已,当我们从Object Oriented C++跨进Template C++,继承就不像以前那么畅行无阻了。
template<> class MsgSender<CompanyZ>{ public: ... void sendSecret(const MsgInfo& info){...} //只提供sendSecret方法 ... };

解决方法：

//方法一:在base class函数调用动作之前加上"this->": template <typename Company> void LoggingMsgSender<Company>::sendClearMsg(const MsgInfo& info){ ... this->sendClear(info); //ok ... } //方法二:使用using声明式. template <typename Company> class LoggingMsgSender:public MsgSender<Company>{ public: //这里的情况不是base class名称被derived class名称遮掩,而是编译器不进入 base base //作用域查找,于是我们通过using声明式告诉它,请它这么做 using MsgSender<Company>::sendClear;//告诉编译器,请它假设sendClear位于 base class内 ... void sendClearMsg(const MsgInfo& info){ ... sendClear(info);//ok ... } }; //方法三:明明白白指出被调用函数位于base class内: template <typename Company> class LoggingMsgSender:public MsgSender<Company>{ public: ... void sendClearMsg(const MsgInfo& info){ ... MsgSender<Company>::sendClear(info); //ok ... } ... };