迭代器(iterators)
1． 迭代器通常和容器绑定，因为迭代器必须对所属的容器有充分的了解。因此每一种STL容器都提供有专属的迭代器。
2． Traits编程方法
STL提供了一个iterators 的基类，如果每个新设计的迭代器继承于它就可以保证符合STL规范：
template<class Category,
class T,
class Distance = ptrdiff_t,
class Pointer = *T,
class Reference = T&>
struct iterator
{
typedef Category iterator_category;
typedef T value_type;
typedef Distance difference_type;
typedef Pointer pointer;
typedef Reference reference;
};
算法中不可避免的会使用iterator所指对象类型，这个类型可通过iterator_traits<IteratorType>::value_type来表示。
iterator_category用来辨别迭代器的类型，分为以下五种
Input Iterator、OutPut Iterator
Forward Iterator
Bidirectional Iterator
Random Assess Iterator
通过iterator_category来获得迭代器所支持的类型可以根据不同情况设置不同算法，让其更加高效。
最初的想法是：
template<class InputIterator, class Distance>
void advance(InputIterator& i, Distance n)
{
if (is_random_assess_iterator(i))
{
Addvance_RAI(I, n);
}
else if (is_bidirectional_iterator(i))
{
Addvance_BI(I, n);
}
else
{
Addvance_II(I, n);
}
}
但是在执行期才决定使用哪个版本会影响效率，因此通过重载机制在编译器就选择正确的版本。因此上面的版本改为：
template<class InputIterator, class Distance>
void advance(InputIterator& i, Distance n)
{
__advance(i, n, iterator_traits<InputIterator>::iterator_category());
}
template<class InputIterator, class Distance>
void __advance(InputIterator& i, Distance n, input_iterator_tag)
{
while (n--) ++i;
}
template<class InputIterator, class Distance>
void __advance(InputIterator& i, Distance n, forward_iterator_tag)
{
__advance(i, n, input_iterator_tag());
}
template<class InputIterator, class Distance>
void __advance(InputIterator& i, Distance n, bidirectional_iterator_tag)
{
if (n >= 0)
while (n--) ++i;
else
while (n++) --i;
}
template<class InputIterator, class Distance>
void __advance(InputIterator& i, Distance n, random_access_iterator_tag)
{
i+= n;
}
通过iterator_traits<InputIterator>::iterator_category()萃取出来的5种迭代器类型有继承关系，使得能使用基类的算法，一定可以使用于其子类。
它们只作为标记用，不具有任何成员。
3． Traits编程方法还扩展到迭代器之外的领域比如__type_traits，
__type_traits<T>::has_trivial_default_constructor;
__type_traits<T>::has_trivial_copy_constructor;
__type_traits<T>::has_trivial_assignment_operator;
__type_traits<T>::has_trivial_destructor;
__type_traits<T>::is_POD_type;
上述式子不仅仅是返回true或false而是返回类型
struct __true_type{};
struct __false_type{};
根据以上信息可以根据实际情况让我们的算法达到最优化。
总的来说Traits就是萃取某个模板参数的信息，以便我们更方便的编程或者编出更有效的程序。