Traits特性

在STL源码中，学会了一个重要的特性–traits编程特性，本人的理解如下：首先，由于使用函数模板推导机制只能推导出传给模板函数的参数类型，如果是通过函数返回值得类型，推导机制就不能推导出参数的类型，这就局限了迭代器的应用。而STL就想了一个办法，由于迭代器实际上就是一个class,迭代器就把其所需要的模板类型内嵌到自己的类中，这样，迭代器中的各个函数就可以使用这些模板类型。
说白了，traits编程就是利用偏特化技术，将迭代器所需要使用的模板类型通过建立一个iterator_traits结构体全部提取出来，对于其算法中函数所使用的参数都从这个结构体中提取，函数返回类型也从这个结构体中提取，通过traits，就使得STL能够得到广泛的应用，什么类型都可以，自己定义的类型也可以使用迭代器里面的所有算法。这就是traits的牛逼之处。