Effective C++笔记_条款43 学习处理模板化基类内的名称

     开篇就来了一个示例代码，整个这个小节就围绕这个示例代码来描述模板化基类内的名称（函数）。主要是因为C++知道base class templates有可能被特化，而那个特化版本肯呢个不提供和一般性template相同的接口。因此它往往拒绝在templatized base classes(模板化基类)内寻找继承而来的名称。

class CompanyA {
 public:
     //...
     void sendCleartext(const std::string& msg);
     void sendEncrypted(const std::string& msg);
     //...
 };

 class CompanyB {
 public:
     //...
     void sendCleartext(const std::string& msg);
     void sendEncrypted(const std::string& msg);
     //...
 };

 //...  针对其他公司设计的类
 
 /*用来保存信息，以备将来产生信息*/
 class MsgInfo {
     //...
 };

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)
    {
        std::string msg;
        // 根据info产生信息
        Company c;
        c.sendEncryptedtext(msg);
    }
};

/* 日志：记录每个信息发送相关记录 */
template<typename Company>
class LoggingMsgSender:public MsgSender<Company> {
    //... 构造函数、析构函数等
    void sendClearMsg(const MsgInfo& info) 
    {

        // 将“传送前”的信息写到log
        sendClear(info);             // 调用base class函数 （error：不同通过编译）
        // 将“传送后”的信息写到log
    }

};

/*调用base class函数 （error：不同通过编译）的原因:
  模板类型在编译前不知道Company是否有sendClear函数，比如下面这个 CompanyZ class
 */
class CompanyZ {
    // 不提供sendClearText函数
    //...
     void sendEncrypted(const std::string& msg);
     //...
};

为了解决上述问题：可以使用为 CompanyZ,搞个绿色通道：
　　1.class 定义式前面加 template<> 表明：它既不是template也不是标准的class，而是一个特化版的MsgSender template，在template实参是CompanyZ时被使用。
　　2.模板全特化(total template specialization):template MsgSender针对类型CompanyZ特化了，而且其特化是全面性的，也就说一旦类型参数被指定为CompanyZ,再没有其他template参数可供变化。

template<>            // 一个全特化的MsgSender,与一般template相同，差别只在于它删掉了sendClear
class MsgSender<CompanyZ> {
    //...
    void sendSecret(const MsgInfo& info)
    {
        sendEncryptedtext(info);
    }
};

/* 再来看，日志：记录每个信息发送相关记录 */
template<typename Company>
class LoggingMsgSender:public MsgSender<Company> {
    //... 构造函数、析构函数等
    void sendClearMsg(const MsgInfo& info) 
    {

        // 将“传送前”的信息写到log
        sendClear(info);             
        /*
            如果Company == CompanyZ, CompanyZ不存在sendClear函数，报错。
            原因：编译器知道base class templates有可能被特化，而那个特化版本肯呢个不提供
            和一般性template相同的接口。因此它往往拒绝在templatized base classes(模板化基类)内寻找继承而来的名称。
        */
        // 将“传送后”的信息写到log
    }

};

---

 

让C++“不进入templatized base classes观察”的行为失效的解决方法如下：

　　1. 在 base class 函数调用动作之前加上 “this->”：

/* 日志：记录每个信息发送相关记录 */
template<typename Company>
class LoggingMsgSender:public MsgSender<Company> {
    //... 构造函数、析构函数等
    void sendClearMsg(const MsgInfo& info) 
    {

        // 将“传送前”的信息写到log
        this->sendClear(info);             
        // 将“传送后”的信息写到log
    }
    //...
};

---

 

2.使用using声明式
　　这里并不是base class名称被derived class名称遮掩，而是编译器不进入base class作用域内查找，于是通过using告诉它，请它那么做。

/* 日志：记录每个信息发送相关记录 */
template<typename Company>
class LoggingMsgSender:public MsgSender<Company> {
    using MsgSender<Company>::sendClear;            // 告诉编译器，清它假设sendClear位于base class内
    //... 构造函数、析构函数等
    void sendClearMsg(const MsgInfo& info) 
    {

        // 将“传送前”的信息写到log
        sendClear(info);             
        // 将“传送后”的信息写到log
    }
    //...
};

---

 

3.明确指出被调用的函数位于base class内
　　缺点：如果被调用的是virtual函数，明确自个修饰(explicit qualification) 会关闭"virtual绑定行为"

/* 日志：记录每个信息发送相关记录 */
template<typename Company>
class LoggingMsgSender:public MsgSender<Company> {
    //... 构造函数、析构函数等
    void sendClearMsg(const MsgInfo& info) 
    {

        // 将“传送前”的信息写到log
        MsgSender<Company>::sendClear(info);             
        // 将“传送后”的信息写到log
    }
    //...
};

---

 

总结： 

　　1. 三种方法都是从名称可视点(visibility point)的角度出发：

　　对编译器承诺“base class template”的任何特化版本都将支持其一般（泛化）版本所提供的接口。[编译器的早期诊断时间：当解析derived class template的定义式时]；如果这个承诺没有被实践，往后的编译器最终会给事实一个公道。[在编译器晚期诊断时间：当那些templates被特定的template具体化时]。如下面的示例：

 LoggingMsgSender<CompanyZ> zMsgSender;
 MsgInfo msgData;
 //...
 zMsgSender.sendClearMsg(msgData);   // error

　　2.可在derived class templates内通过"this->"指涉base class templates内的成员名称，或藉由一个明白写出的“base class资格修饰符”完成。

---

 

声明：全文文字都是来源《Effective C++》 3th。这里所写都是自己的读书的时候梳理做的笔记罢了。希望对他人有用，那是我的荣幸。