福田网站设计,特色专业建设网站,外贸公司网站制作公司,北京公司注册网址条款41#xff1a; 了解隐式接口和编译期多态
隐式接口#xff1a;
仅仅由一组有效表达式构成#xff0c;表达式自身可能看起来很复杂#xff0c;但它们要求的约束条件一般而言相当直接而明确。
显式接口#xff1a;
通常由函数的签名式#xff08;也就是函数名…条款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();
}templatetypename 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 MsgSenderCompany
{
public:LoggingMsgSender() {}~LoggingMsgSender() default;// 解决方案3使用using声明式假设sendClear在基类// using MsgSenderCompany::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 绑定行为”// MsgSenderCompany::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 MsgSenderCompanyZ
{
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[])
{LoggingMsgSenderCompanyA mca;mca.sendClear(std::string(hello));mca.sendSecret(std::string(hello));LoggingMsgSenderCompanyB mcb;mcb.sendClear(std::string(hello));mcb.sendSecret(std::string(hello));// 模板全特化针对某一个类型的全面特化。LoggingMsgSenderCompanyZ mcz;// 特化版的MsgSender template中没有提供sendClear// mcz.sendClear(std::string(hello)); // 编译报错mcz.sendSecret(std::string(world));return 0;
}条款44 将与参数无关的代码抽离templates
请记住
template生成多个 classes和多个函数所以任何template代码都不应该于某个造成膨胀的template参数产生相依关系。
因非模板参数而造成的代码膨胀往往可以消除。做法是以函数参数或class成员变量替换template参数。
因类型参数type parameters造成的代码膨胀往往可以降低做法是让带有完全相同二进制表述的具象类型实现共享代码。
条款45运用成员模板函数接受所有兼容类型
请记住
请使用member function templates 生成“可接受所有兼容类型”的函数
如果你声明member templates 用于“泛化构造”或“泛化assignment”你还需要声明正常的copy构造函数和copy assignment函数。
条款46需要类型转换时请为模板定义非成员函数
请记住
当我们编写一个class template,而它所提供的“与此template相关”函数支持“所有参数之隐式转换”时请将那些函数定义为“class template内部的friend函数”。
条款47请使用traits class 表现类型信息
请记住
Traits classes使得“类型相关信息”在编译期可用。它们以templates和“”完成实现
整合重载技术后traits classes有可能在编译期对类型执行if…else测试。
条款48认识template元编程
这个可能太高阶了目前知道有这么个东西就行。光靠这里去理解可能有点难。
什么是模板元编程Template metaprogramming- TMP
编写template-base C程序并执行于编译期的过程
TMP是被发现而不是发明出来的。
使用TMP的好处
1.它让事情更容易
2.某些错误可以在编译期就找出来
3.可能在每一个方面都高效较小的可执行文件、较短的运行期、较少的内存需求
缺点
编译时间变长了
难点
语法不直观支持工具不充分。
请记住
TMP可将工作由运行期迁移到编译期从而实现早期错误侦测和更高的执行效率
TMP可被用来生成“基于政策选择组合”based on combinations of policy choices的客户定制代码也可用来避免生成对某些特殊类型并不适合的代码。
