C++基础之迭代器iterator
我们已经知道可以使用下标运算符来访问string
对象的字符或vector
对象的元素,还有另一种更通用的机制也可以实现同样的目的,这就是迭代器(iterator)
。
标准库容器都可以使用迭代器,但是只有少数几种才同时支持下标运算符。
类似于指针类型,迭代器
也提供了对对象
的间接访问。就迭代器而言,其对象是容器中的元素或者string对象中的字符。使用迭代器可以访问某一个元素,迭代器也能从一个元素移动到另外一个元素。迭代器和指针一样,有无效和有效的区别。
有效的迭代器指向元素或者尾元素的下一个位置,其他情况都属于无效的迭代器。
使用迭代器
能够使用迭代器的变量类型拥有返回迭代器的方法。
begin()
方法负责返回指向第一个元素
的迭代器
end()
方法负责返回指向容器尾元素的下一个位置
的迭代器
// b表示v的第一个元素,e表示v尾元素的下一个位置
auto b = v.begin(), e = v.end(); // b和e的类型相同
特殊情况下:
如果容器为空,则
begin
和end
返回的是同一个迭代器。
迭代器运算符
运算符 | 含义 |
---|---|
*iter | 返回迭代器iter所指元素的引用 |
iter->mem | 解引用iter并获取该元素的名为mem的成员,等价于*(iter).mem |
++iter | 令iter指向容器中的下一个元素 |
--iter | 令iter指向元素中的上一个元素 |
iter1 == iter2 | 判断两个迭代器是否相等 |
这使得迭代器就想下标一样的好用,比如:
string s("come thing");
if (s.begin() != s.end()) {
auto it = s.begin();
*it = toupper(*it);
}
迭代器类型
就想不知道string
和vector
的site_type
成员到底是什么类型一样,一般来说我们也不知道迭代器的精确类型。而实际上,那些拥有迭代器的标准库类型都会使用iterator
和const_iterator
来表示迭代器的类型:
vector<int>::iterator it; // it能代表vector<int>的元素
string::iterator it2; // it2能代表string对象中的元素
vector<int>::const_iterator it3; // it3只能代表读元素,不能代表写元素
string::const_iterator it4; // it4只能读字符,不能写字符,即改变字符的值
const_iterator
和常量指针差不多,能读取但不能修改他所指元素的值。
如果vector对象或string对象是一个常量,只能使用
const_iterator
结合解引用和成员访问操作
解引用可以获得迭代器所指的对象,如果该对象的类型恰好是个类,就有可能进一步访问他的成员。例如:
vector<string> strs = {"string", "", "tingyugetc"};
for (auto it = strs.begin(); it != strs.end() ; ++it) {
if (it->empty()) {
cout << "now is in empty string" << endl;
}
}
上述的代码中使用了箭头运算符
, 箭头运算符将解引用和成员访问两个操作结合在一起,他的作用和(*it).empty()
相同。
(*it).empty()
的圆括号必不可少,其含义是先执行括号内的解引用,接着解引用的结果在执行点运算符。如果不加括号,那么点运算符将由it执行,而不是it解引用的结果。
迭代器失效
某些对vector对象的操作会使迭代器失效.
谨记,但凡使用了迭代器的循环体,都不要想迭代器所属的容器添加元素
迭代器的运算
迭代器的递增运算令迭代器每次移动一个元素,所有的标准库都有支持递增运算符的迭代器。类似的,也能用==
和!=
对任意标准库类型的两个有效迭代器进行比较。
同样的,可以令迭代器和一个整数值相加或相减,其返回值是向前或向后移动了若干个位置的迭代器,执行这样的操作时,结果迭代器要么指向原vector对象内的一个元素要么指向尾元素的下一个位置。
比如,可以这样:
// 计算得到最接近vi中间元素的一个迭代器
auto mid = vi.begin() + vi.size() / 2;
使用迭代器运算的一个经典算法是二分搜索。
auto beg = text.begin(), end = text.end();
auto mid = beg + (end - beg) / 2;
while (mid != end && *mid != found) {
if (found < *mid) {
end = mid;
} else {
beg = mid + 1;
}
mid = beg + (end - beg) / 2;
}