STL源代码剖析个人总结2--STL的迭代器

一.  STL的中心思想： 先将数据容器与算法分割，彼此独立设计，然后再通过一种工具将两者结合起来。容器和算法的泛化可通过class templates和function templates分别完成，而将其粘合起来的工具即为迭代器。从中可以看看出迭代器在泛化的过程中起着举足轻重的作用。

        迭代器是一种行为类似指针的对象，其本质是一种智能指针。

二.  迭代器编程traits(技法)

       迭代器至少包含如下五种型别特称：

        iterator_category: 此处指迭代器的类型共五种--Output，Input，Forward，Birdrectional，Random Access

        value_type

        difference_type

        pointer

        reference

        编译期间可通过迭代器traits提取迭代器的类型作为参数对函数进行重载，以便提升函数的执行效率。

       STL算法的一个命名规则：以算法能够接受之最低阶得带起的类型来作为其迭代器的参数命名。

        设计适当的相应型别是迭代器的责任，但是设计适当的迭代器是容器的责任.

三 .  _type_traits (并非STL规范，只是SGI STL内部所用的东西)

        traits编程技法适度弥补了C++语言本身的不足，STL只对迭代器进行规范并制定除了iterator_traits这样的东西，SGI将其进一步扩大到了迭代器以外的世界。

        类比于迭代器traits，其也（至少）包含五种内置型别

        has_trivial_default_constructor

        has_trivial_copy_constructor

        has_trivail_assignment_operator

         has_trivial_destructor

        is_POD_type

        其中：POD指Plain Old Data，只能够像C语言中的结构体那样进行处理的一种数据结构，比如能够使用memove来快速复制内存，能够用memset来进行快速初始化等。