Effective C++(16)

条款47 Use traits classes for information about types

请使用traits classes 表现类型信息

iterator_traits

如图，iterator_traits可以对不同的iterator进行萃取，对于指针或者class实现的iterator进行不同操作。这其中的iterator_category就是用来确认iterator的分类

例如:deque和list采用的不同类型的iterator

根据上面的内容，下面分析如何设计一个traits

1. 确认若干你希望将来可取得的类型相关信息
2. 为该信息选择一个名称
3. 提供一个template 和一组特化版本，内含你希望支持的类型相关信息

如何使用一个traits class 

1. 建立一组重载函数或函数模板，彼此间的差异只在于各自的traits参数。令每个函数实现码与其接受之traits信息相应和。
2. 建立一个控制函数或函数模板，它调用上述那些"劳工函数"并传递traits class 所提供的信息。

条款48 Be aware of template metaprogramming

认识template元编程

TMP(template metaprogramming)执行于C++编译期，编译时间会变长，但是原本在运行期暴露的问题可以在编译期暴露

TMP 可被用来生成 “ 基于政策选择组合 ” 的客户定制代码，也可用来避免生成对某些特殊类型并不适合的代码