当前位置：首页 > news >正文

《Effective C++中文版，第三版》读书笔记7

news 2025/8/5 7:06:20

条款41：了解隐式接口和编译期多态

隐式接口：

仅仅由一组有效表达式构成，表达式自身可能看起来很复杂，但它们要求的约束条件一般而言相当直接而明确。

显式接口：

通常由函数的签名式（也就是函数名称、参数类型、返回类型）构成

在源码中明确可见。

#include <iostream>// 个人感觉隐式和显式接口只是站在了不同的角度看一个类的接口。
// 站在类的角度:
// 类中定义的接口是显示的// 站在template 参数的这个角色的角度而言：接口是隐式的，就是个表达式。
// （换个说法：这个隐式接口其实就是隐藏条件的说法，如果某个类想要作为template的参数，它必须有满足template 表达式要求的接口）
class Base
{public:~Base() = default;virtual void myPrint() = 0;int size() {return 111;}
};class Derived: public Base
{public:Derived() {}~Derived() = default;virtual void myPrint(){std::cout << "Derived cout!!!" <<std::endl;}
};void myPrint1(Derived &dd)
{dd.myPrint();
}template<typename T>
void myPrint2(T t)
{t.myPrint();t.size();
}int main(int argc, char const *argv[])
{Derived dd;myPrint1(dd);myPrint2(dd);return 0;
}

编译期多态：

在编译时才能确定具体调用哪个函数

#include <iostream>
#include <string>// 编译期多态，个人理解就是：在编译时存在多个选择，根据参数类型的不同调用不同的函数。
// 对于重载: 在编译时根据参数的不同，选择不同的函数。（这些个函数已经存在，选一个心仪的）
// 对于function templates: 在编译期，根据不同的template参数具现出不同的函数（函数还没有，根据参数不同，现生成一个心仪的）
template <typename T>
T max1(const T &a, const T &b)
{return a > b ? a : b;
}int min1(const int &a, const int &b)
{std::cout << "int min" << std::endl;return a < b ? a : b;
}std::string min1(const std::string &a, const std::string &b)
{std::cout << "string min" << std::endl;return a < b ? a : b;
}int main(int argc, char const *argv[])
{int a = 11, b = 12;std::string a1("hello world"), b1("hello");std::cout << max1(a, b) << std::endl;std::cout << max1(a1, b1) << std::endl;std::cout << min1(a, b) << std::endl;std::cout << min1(a1, b1) << std::endl;return 0;
}

运行期多态：

在运行时才知道待用哪个函数。

#include <iostream>// 运行时多态演示代码
class Base
{public:~Base() = default;virtual void myPrint() = 0;
};class Derived: public Base
{public:Derived() {}~Derived() = default;virtual void myPrint(){std::cout << "Derived cout!!!" <<std::endl;}
};int main(int argc, char const *argv[])
{Base *pb = new Derived;// 程序运行的时候，才能明确调用的时Derived的myPrint()pb->myPrint();delete pb;return 0;
}

请记住：

classes 和template都支持接口和多态

对于classes而言接口是显式的，以函数签名为中心。多态则是通过virtual函数发生于运行期

对于template参数而言，接口是隐式的，基于有效表达式。多态则是通过template具现化和函数重载解析发生于编译器

条款42：了解typename的双重意义

请记住：

声明template参数时，前缀关键字class和typename可互换

请使用关键字表示嵌套从属类型名称；但不得在base class lists(基类列)或member initialization list(成员初值列)内以它作为base class修饰符。

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

请记住：

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

写一段：

#include <iostream>
#include <string>
class CompanyA
{
public:CompanyA() {}~CompanyA() = default;void sendClearText(const std::string &msg){std::cout << "company A sendEncrypted msg = " + msg << std::endl;}void sendEncrypted(const std::string &msg){std::cout << "company A sendEncrypted msg = " + msg << std::endl;}
};class CompanyB
{
public:CompanyB() {}~CompanyB() = default;void sendClearText(const std::string &msg){std::cout << "company B sendEncrypted msg = " + msg << std::endl;}void sendEncrypted(const std::string &msg){std::cout << "company B sendEncrypted msg = " + msg << std::endl;}
};class MsgInfo
{
public:MsgInfo(const std::string &inmsg) : msg(inmsg) {}~MsgInfo() = default;std::string getMsg() const{return msg;}private:std::string msg;
};template <typename Company>
class MsgSender
{
public:MsgSender() {}~MsgSender() = default;void sendClear(const MsgInfo &info){std::string msg = info.getMsg();Company c;c.sendClearText(msg);}void sendSecret(const MsgInfo &info){std::string msg = info.getMsg();Company c;c.sendEncrypted(msg);}
};// 以template为基类定义子类
template <typename Company>
class LoggingMsgSender : public MsgSender<Company>
{
public:LoggingMsgSender() {}~LoggingMsgSender() = default;// 解决方案3：使用using声明式，假设sendClear在基类// using MsgSender<Company>::sendClear;void sendClearMsg(const MsgInfo &info){std::cout << "adasd" << std::endl;// g++报错： there are no arguments to 'sendClear' that depend on a template parameter,// so a declaration of 'sendClear' must be available// 解决方案1：使用编译参数：“-fpermissive”,使用该参数后从报错变成了告警。// 解决方案2：使用this// this->sendClear(info);sendClear(info); //LoggingMsgSender在被实例化之前不知道sendClear在哪里。编译器也不会到base classes内查找。// 解决方案4： 明确指出被调用函数位于基类中(这个方案不推荐使用)，如果sendClear是一个virtual,这样会关闭“virtual 绑定行为”// MsgSender<Company>::sendClear(info);std::cout << "adasdfffff" << std::endl;}
};class CompanyZ
{
public:CompanyZ() {}~CompanyZ() = default;void sendEncrypted(const std::string &msg){std::cout << "company Z sendEncrypted msg = " + msg << std::endl;}
};// template<>这个不是template也不是标准class,而是个特化版的MsgSender template,在template实参是CompanyZ时候使用。
// 这就是模板全特化
template <>
class MsgSender<CompanyZ>
{
public:MsgSender() {}~MsgSender() = default;void sendSecret(const MsgInfo &info){std::string msg = info.getMsg();CompanyZ c;c.sendEncrypted(msg);}
};int main(int argc, char const *argv[])
{LoggingMsgSender<CompanyA> mca;mca.sendClear(std::string("hello"));mca.sendSecret(std::string("hello"));LoggingMsgSender<CompanyB> mcb;mcb.sendClear(std::string("hello"));mcb.sendSecret(std::string("hello"));// 模板全特化：针对某一个类型的全面特化。LoggingMsgSender<CompanyZ> mcz;// 特化版的MsgSender template中没有提供sendClear// mcz.sendClear(std::string("hello")); // 编译报错mcz.sendSecret(std::string("world"));return 0;
}