条款 45

条款 45

运用成员函数模板接受所有兼容类型

如果你声明 member templates 用于“泛化 copy 构造”或“泛化assignment 操作”，你还是需要声明正常的 copy 构造函数和 copy assignment 操作符。

条款 46

需要类型转换时请为模板定义非成员函数

当我们编写一个class template，而它所提供之“与此template相关的”函数支持“所有参数之隐式类型转换”时，

请将那些函数定义为“class template 内部的 friend 函数”。

条款 47

请使用 traits classes 表现类型信息

Traits classes 使得“类型相关信息”在编译期可用。

它们以 templates 和“templates 特化”完成实现。整合重载技术后，traits classes 有可能在编译期队类型执行 if...else 测试。

条款 48

认识 template 元编程

Template metaprogramming（TMP，模板元编程）可将工作有运行期移往编译期，因而得以实现早起错误侦测和更高的执行效率。

TMP 可被用来生成“基于政策选择组合”（based on combinations of policy choices）的客户定制代码，

也可用来避免生成对某些特殊类型并不合适的代码。