迭代器是一种检查容器内元素并遍历元素的数据类型。能够替代下标訪问vector对象的元素。
每种容器类型都定义了自己的迭代器类型，如 vector：
vector<int>::iterator iter;
这符语句定义了一个名为 iter 的变量。它的数据类型是 vector<int> 定义的 iterator 类型。每一个标准库容器类型都定义了一个名为 iterator 的成员，这里的 iterator 与迭代器实际类型的含义同样。
begin 和 end 操作
每种容器都定义了一对命名为 begin 和 end 的函数，用于返回迭代器。假设容器中有元素的话。由 begin 返回的迭代器指向第一个元素：
vector<int>::iterator iter = ivec.begin();
上述语句把 iter 初始化为由名为 vector 操作返回的值。如果 vector 不空，初始化后，iter 即指该元素为 ivec[0]。
由 end 操作返回的迭代器指向 vector 的“末端元素的下一个”。表明它指向了一个不存在的元素。如果 vector 为空。begin 返回的迭代器与 end 返回的迭代器同样。由 end 操作返回的迭代器并不指向 vector 中不论什么实际的元素，相反，它仅仅是起一个哨兵（sentinel）的作用。表示我们已处理完 vector 中全部元素。
【备注：不用操心begin和end在循环中的条件推断。大胆使用吧！
】
vector 迭代器的自增和解引用运算
迭代器类型可使用解引用操作符（dereference operator）（*）来訪问迭代器所指向的元素：
*iter = 0;
解引用操作符返回迭代器当前所指向的元素。如果 iter 指向 vector 对象 ivec 的第一元素，那么 *iter 和 ivec[0] 就是指向同一个元素。上面这个语句的效果就是把这个元素的值赋为 0。
迭代器使用自增操作符向前移动迭代器指向容器中下一个元素。从逻辑上说。迭代器的自增操作和 int 型对象的自增操作类似。对 int 对象来说。操作结果就是把 int 型值“加 1”，而对迭代器对象则是把容器中的迭代器“向前移动一个位置”。因此，假设 iter 指向第一个元素，则 ++iter 指向第二个元素。
因为 end 操作返回的迭代器不指向不论什么元素。因此不能对它进行解引用或自增操作。
迭代器的其它操作
还有一对可运行于迭代器的操作就是比較：用 == 或 != 操作符来比較两个迭代器，假设两个迭代器对象指向同一个元素。则它们相等，否则就不相等。
迭代器应用的程序演示样例
1、使用迭代器和下标改变vector的内容
这个非常easy，请看代码。
#include <iostream> #include <string> #include <vector> int print_int_vector(std::vector<int> ivec) { for(std::vector<int>::size_type ix =0, j = 0; ix != ivec.size(); ++ix, ++j) { std::cout<<ivec[ix]<<" "; //加空格！ } std::cout<<std::endl; return 0; } int main() { std::vector<int> ivec(10, 68); // empty vector print_int_vector(ivec); // reset all the elements in ivec to 0 /* // 使用下标 for (std::vector<int>::size_type ix = 0; ix != ivec.size(); ++ix) { ivec[ix] = 0; } */ // equivalent loop using iterators to reset all the elements in ivec to 0 for (std::vector<int>::iterator iter = ivec.begin(); iter != ivec.end(); ++iter) *iter = 0; // set element to which iter refers to 0 print_int_vector(ivec); return 0; } |
2、tuple功能的实现【不可变性】
const_iterator类型仅仅能用于读取容器内元素。但不能改变其值。
当我们对普通 iterator 类型解引用时，得到对某个元素的非 const。而假设我们对 const_iterator 类型解引用时。则能够得到一个指向 const 对象的引用），如同不论什么常量一样，该对象不能进行重写。
假设使用const_itreator进行重写，编译时会报错！
使用 const_iterator 类型时，我们能够得到一个迭代器，它自身的值能够改变。但不能用来改变其所指向的元素的值。
能够对迭代器进行自增以及使用解引用操作符来读取值，但不能对该元素赋值。
【注意：不要把 const_iterator 对象与 const 的 iterator 对象混淆起来。声明一个 const 迭代器时，必须初始化迭代器。一旦被初始化后。就不能改变它的值。】
vector<int> nums(10); // nums is nonconst
const vector<int>::iterator cit = nums.begin();
*cit = 1; // ok: cit can change its underlying element
++cit; // error: can't change the value of cit
【注意：const_iterator 对象能够用于 const vector 或非 const vector，由于不能改写元素值。
const 迭代器这样的类型差点儿没什么用处：一旦它被初始化后，仅仅能用它来改写其指向的元素，但不能使它指向不论什么其它元素。】
tuple不可变的实现须要使用const声明。const vector<int> nums(10, 9);
总结
1、const_iterator须要注意：这个vector本身还是可变的，仅仅只是对const_iterator类型解引用的对象不可变。
2、const迭代器也就是仅仅能指向其所指向的元素。不能通过++等操作去指向其它元素。可是，所指向这个元素能够改变。
3、须要定义真正tuple，那就用const vector<int> nums(10, 9);来定义！
此时。必须使用const_iterator 来获取每一个元素的值。
