C++ Primer：3.4 迭代器

其他章节：C++ Primer 学习心得

迭代器同样可以访问string对象的字符或vector对象的元素。
除vector外，标准库还定义了其他几种容器，所有的标准库容器都支持迭代器，只有少数几种支持下标运算符。string对象不属于容器类型，但支持很多与容器类型类似的操作。
迭代器类似于指针：

• 提供了对对象的间接访问
• 可以访问某个元素，也能从一个元素移动到另外一个元素。
• 有有效和无效之分：有效的迭代器指向某个元素或指向容器中为元素的下一位置；其他情况都属于无效。

使用迭代器

获取迭代器不是使用取地址符，支持迭代器的类型同时返回迭代器的成员，都有名为begin和end的成员。

• begin返回指向第一个元素（或字符）的迭代器
• end返回指向容器（或string对象）尾元素的下一个位置的迭代器
  end返回的迭代器没有实际含义，仅是个标记表示处理完了容器的所有元素，称作尾迭代器。
  如果容器为空，则begin和end返回同一个迭代器，都是尾迭代器。

// b表示v的第一个元素，e表示v尾元素的下一位置
auto b = v.begin(), e = v.end(); // b和e的类型相同

一般来说并不在意迭代器准确的类型是什么。

迭代器运算符

标准容器迭代器的运算符

*iter       // 返回迭代器iter所指元素的引用
iter->mem   // 解引用iter并获取该元素的名为mem的成员，等价于(*iter).mem
++iter      // 令iter指示容器中的下一个元素
--iter      // 令iter指示容器中的上一个元素
iter1 == iter2
iter1 != iter2 // 判断两个迭代器是否相等（不相等），如果两个迭代器指示的是同一个元素或者它们是同一个容器的尾后迭代器，则相等；反之，不相等

• 与指针类似，通过解引用迭代器开获取它所指的元素，执行解引用的迭代器必须合法并确实指示着某个元素。试图解引用一个非法迭代器后者尾后迭代器都是未被定义的行为。

if (s.begin() != s.end()) // 确保s非空
	auto it = s.begin()   // it表示s的第一个字符

将迭代器从一个元素移动到另一个元素

迭代器使用递增运算符来从一个元素移动到下一个元素。
end返回的迭代器并不实际指示某个元素，所以不能对其进行递增或解引用的操作。

for (auto it = s.begin(); it != s.end(); ++it)

迭代器类型

一般来说无须知道迭代器的精确类型，拥有迭代器的标准库类型使用iterator和const_itetator来表示迭代器的类型。
const_iterator和指向常量的指针差不多，能读取但不能修改它所指的元素值。iterator的对象可读可写。
如果vector对象或string对象是一个常量，只能使用const_iterator；如果vector对象或string对象不是常量，既可以使用iterator也能使用const_iterator。

begin和end运算符

begin和end返回的具体类型由对象是否是常量决定

• 如果对象是常量，返回const_iterator
• 如果对象不是常量，返回iterator
  如果对象只需读而无需写操作的话最好使用常量类型。
  便于得到const_iterator类型的返回值，C++11引入两个函数cbegin和cend，返回指示容器第一个元素或最后元素下一个位置的迭代器。不论文vector对象或string对象本身是否是常量，返回值都是const_iterator。

vector<int> v;
auto it = v.cbegin(); // it的类型是vector<int>::const_iterator

结合解引用和成员访问操作

解引用迭代器可获得迭代器所指的对象，如果该对象是类，可以进一步访问它的成员。

(*it).men

圆括号必不可少，先对it解引用，对解引用的结果执行点运算符（.）。
C++也定义了箭头运算符（->），把解引用和成员访问结合到一起。it->mem和(*it).mem作用相同。

某些对vector对象的操作会使迭代器失效

任何一种可能改变vector对象的操作，比如push_back，都会使该vector对象的迭代器失效。
使用了迭代器的循环体，都不要向迭代器所属的容器添加元素。

迭代器运算

vector和string迭代器支持的运算：

iter + n // 迭代器加上一个整数值仍得一个迭代器，迭代器指示的新位置与原来相比向前移动了若干个元素。结果迭代器或者指示容器内的一个元素，或者指示容器尾元素的下一位置
iter - n // 迭代器减去一个整数值仍得一个迭代器，迭代器指示的新位置与原来相比向后移动了若干个元素。结果迭代器或者指示容器内的一个元素，或者指示容器尾元素的下一位置
iter1 += n // 迭代器加法的复合赋值语句，将iter1加n的结果赋给iter1
iterl -= n // 迭代器减法的复合赋值语句，将iter1减n的结果赋给iter1
iterl - iter2 // 两个迭代器相减的结果是它们之间的距离，也就是说，将运算符右侧的迭代器向前移动差值个元素后将得到左侧的迭代器。参与运算的两个迭代器必须指向的是同一个容器中的元素或者尾元素的下一位置
>,>=,<,<= // 迭代器的关系运算符，如果某迭代器指向的容器位置在另一个迭代器所指位置之前，则说前者小于后者。参与运算的两个迭代器必须指向的是同个容器中的元素或者尾元素的下一位置

迭代器的算术运算

令迭代器和一个整数值相加或相减，其返回值是向前或向后移动若干个位置的迭代器。结果迭代器指示容器内的一个元素，或者指示容器尾元素的下一位置。
迭代器使用关系运算符进行比较，参与比较的两个迭代器必须合法而且指向的是同一个容器的元素或尾元素的下一位置。
将两个指向的是同一个容器中的元素或者尾元素的下一位置的迭代器相减，结果是它们之间的距离，即将运算符右侧的迭代器向前移动差值个元素后将得到左侧的迭代器。

• 距离的类型是difference_type的带符号整型，可正可负。

使用迭代器运算

使用迭代器运算的经典算法是二分搜索。

//text必须是有序的
//beg 和 end表示我们搜索的范围
auto beg = text.begin(), end = text.end();
auto mid = text.begin() + (end - beg)/2;//初始状态下的中间点
//当还有元素尚未检查并且我们还没有找到sought时执行循环
while (mid != end && *mid != sought){
	if (sought < *mid) // 我们要找的元素在前半部分吗?
		end = mid; //如果是，调整搜索范围使得忽略掉后半部分
	else               // 我们要找的元素在后半部分
		beg = mid + 1; // 在mid 之后寻找
	mid = beg + (end - beg) /2;  //新的中间点