STL源碼：iterator

##1.type_traits ###1.1判斷類型中是否有iterator_category（stl_iterator_base_types.h） _GLIBCXX_HAS_NESTED_TYPE(iterator_category) //宏定義，生成對應的類 template<typename _Iterator, //實現見type_traits bool = __has_iterator_category<_Iterator>::value> struct __iterator_traits { }; 這裏使用了template編程的SFINAE技術來肯定類型中是否存在對應的member type.