《Effective C++》第七章：模板与泛型编程

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

这个隐式接口....我也没搞懂。编译期多态到是容易理解，函数重载和template的具现化

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

这个在STL中用的比较多，特别是traits技术中。嵌套一个类型，使用的时候必须用typename来进行声明，这是一个类型：

template<typename T>struct myTraits{    typedef T value_type;};template<typename T>typename T::value_typefunc(){}

大概就是这种个用法。但是记住不允许在base class lists（继承列表）和成员初始化列表中使用typename修饰符。

条款47：请用traits classes表现类型信息
首先介绍的是STL的五种迭代器分类：input_iterator_tag output_iterator_tag forward_iterator_tag bidirectional_iterator random_access_iterator_tag，五种迭代器层层public 继承，都是is-a关系。对于很多算法我们需要根据迭代器种类，提供相应的代码。这时候traits就派上用场。iterator_traits的运作方式是针对每一个类型的迭代器，在struct iterator_traits内一定声明某个typedef名为iterator_category。这个typedef用来确认迭代器的类型。比如：

template<...>class deque{public:    class iterator    {     public:         typedef random_access_iterator_tag iterator_category;    };};

至于iterator_traits定义如下：

template<typename IterT>struct iterator_traits{    typedef typename IterT::iterator_category iterator_category;};

对于非class类型，需要进行偏特化，比如指针类型。

书上所提的另一个比较好的思想是在函数内不用if来判断迭代器的类型（因为这会导致在执行期才做），而采用函数重载的方式，将判断提前到编译期，格式如下：

template<typename IterT>void func(IterT &iter, std::random_access_iterator_tag){};template<typename IterT>void func(IterT &iter, std::bidirectional_iterator_tag){};....

OVER...