泛化的指针，容器与算法的桥梁。提供一种方法，按照一定顺序访问一个聚合对象中各个元素，而又不暴露该对象的内部表示。既能对容器进行遍历，又可以对外隐藏容器的底层实现，从而以统一方式向算法传递数据。

作用：访问容器内的元素。

1、迭代器的类型

迭代器的类型

• 前向迭代器：++ == != * -> =
• 双向迭代器：在前向迭代器的基础上，增加--
• 随机访问迭代器：在双向迭代器的基础上，增加+= -= < > <= >=
• 输入流迭代器：可读++ == != * ->
• 输出流迭代器：可写++ * =

不同迭代器对应的操作

2、traits

iterator_traits

萃取迭代器的特性，

• value_type：迭代器所指对象的类型
• difference_type：两个迭代器之间的距离
• pointer：迭代器所指向的型别
• reference：迭代器所引用的型别
• iterator_catagory

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

返回结果是具有真假性质的对象，因为我们希望利用响应结果来进行参数推导，而编译器只有面对 class object 形式的参数才会做参数推导。

struct __true_type{};  // 真
struct __false_type{}; // 假

例：

template <class type> 
struct __type_traits {
	typedef __true_type has_trivial_default_constructor;
	typedef __false_type has_trivial_copy_constructor;
	typedef __false_type has_trivial_assignment_operator;
	typedef __false_type has_trivial_destructor;
	typedef __false_type is_POD_type;
};