上一节我们大致了解了有关存储容器的相关内容。对于所有的容器,最常用的操作就是遍历。本章我们将详细了解有关遍历器的内容。

尽管这个问题不是本章需要考虑的,但是我们还是需要来解释下,为什么要有遍历器。没有遍历器时,如果我们需要向外界提供一个列表,我们通常会将其返回:

  1. QList<int> intlist() const
  2. {
  3. return list;
  4. }

这么做的问题是:向用户暴露了集合的内部实现。用户知道,原来你用的就是一个QList啊~那我就可以向里面增加东西了,或者修改其中的内容。有时这不是我们所期望的。很多时候,我们只是想提供用户一个集合,只允许用户知道这个集合中有什么,而不是对它进行修改。为此,我们希望有这么一种对象:通过它就能够提供一种通用的访问集合元素的方法,不管底层的集合是链表还是散列,都可以通过这种对象实现。这就是遍历器。

Qt 的容器类提供了两种风格的遍历器:Java 风格和 STL 风格。这两种风格的遍历器在通过非 const 函数对集合进行修改时都是不可用的。

Java 风格的遍历器

Java 风格的遍历器是在 Qt4 首先引入的,是 Qt 应用程序首先推荐使用的形式。这种风格比起 STL 风格的遍历器更方便。方便的代价就是不如后者高效。它们的 API 非常类似于 Java 的遍历器类,故名。

每一种容器都有两种 Java 风格的遍历器:一种提供只读访问,一种提供读写访问:

容器只读遍历器读写遍历器
QList<T>,QQueue<T>QListIterator<T>QMutableListIterator<T>
QLinkedList<T>QLinkedListIterator<T>QMutableLinkedListIterator<T>
QVector<T>,QStack<T>QVectorIterator<T>QMutableVectorIterator<T>
QSet<T>QSetIterator<T>QMutableSetIterator<T>
QMap<Key, T>,QMultiMap<Key, T>QMapIterator<T>QMutableMapIterator<T>
QHash<Key, T>,QMultiHash<Key, T>QHashIterator<T>QMutableHashIterator<T>

这里我们只讨论QListQMap的遍历器。QLinkedListQVectorQSet的遍历器接口与QList的是一样的;QHash遍历器的接口则同QMap是一样的。

不同于下面我们将要介绍的 STL 风格的遍历器,Java 风格的遍历器指向的是两个元素之间的位置,而不是指向元素本身。因此,它们可能会指向集合第一个元素之前的位置,也可能指向集合的最后一个元素之后的位置,如下图所示:

Java Style Iterator

我们通过下面的代码看看如何使用这种遍历器:

  1. QList<QString> list;
  2. list << "A" << "B" << "C" << "D";
  3.  
  4. QListIterator<QString> i(list);
  5. while (i.hasNext()) {
  6. qDebug() << i.next();
  7. }

首先,我们使用 list 对象创建一个遍历器。刚刚创建完成时,该遍历器位于第一个元素之前(也就是 A 之前)。我们通过调用hasNext()函数判断遍历器之后的位置上有无元素。如果有,调用next()函数将遍历器跳过其后的元素。next()函数返回刚刚跳过的元素。当然,我们也可以使用hasPrevious()previous()函数来从尾部开始遍历,详细内容可以参考 API 文档。

QListIterator是只读遍历器,不能插入或者删除数据。如果需要这些操作,我们可以使用QMutableListIterator。来看下面的代码:

  1. QMutableListIterator<int> i(list);
  2. while (i.hasNext()) {
  3. if (i.next() % 2 != 0) {
  4. i.remove();
  5. }
  6. }

这段代码使用QMutableListIterator遍历集合,如果其值是奇数则将其删除。在每次循环中都要调用next()函数。正如前面所说,它会跳过其后的一个元素。remove()函数会删除我们刚刚跳过的元素。调用remove()函数并不会将遍历器置位不可用,因此我们可以连续调用这个函数。向前遍历也是类似的,这里不再赘述。

如果我们需要修改已经存在的元素,使用setValue()函数。例如:

  1. QMutableListIterator<int> i(list);
  2. while (i.hasNext()) {
  3. if (i.next() > 128) {
  4. i.setValue(128);
  5. }
  6. }

如同remove()函数,setValue()也是对刚刚跳过的元素进行操作。实际上,next()函数返回的是集合元素的非 const 引用,因此我们根本不需要调用setValue()函数:

  1. QMutableListIterator<int> i(list);
  2. while (i.hasNext()) {
  3. i.next() *= 2;
  4. }

QMapItrator也是类似的。例如,使用QMapItrator我们可以将数据从QMap复制到QHash

  1. QMap<int, QWidget *> map;
  2. QHash<int, QWidget *> hash;
  3.  
  4. QMapIterator<int, QWidget *> i(map);
  5. while (i.hasNext()) {
  6. i.next();
  7. hash.insert(i.key(), i.value());
  8. }

STL 风格的遍历器

STL 风格的遍历器从 Qt 2.0 就开始提供。这种遍历器能够兼容 Qt 和 STL 的通用算法,并且为速度进行了优化。同 Java 风格遍历器类似,Qt 也提供了两种 STL 风格的遍历器:一种是只读访问,一种是读写访问。我们推荐尽可能使用只读访问,因为它们要比读写访问的遍历器快一些。

容器只读遍历器读写遍历器
QList<T>,QQueue<T>QList<T>::const_iteratorQList<T>::iterator
QLinkedList<T>QLinkedList<T>::const_iteratorQLinkedList<T>::iterator
QVector<T>,QStack<T>QVector<T>::const_iteratorQVector<T>::iterator
QSet<T>QSet<T>::const_iteratorQSet<T>::iterator
QMap<Key, T>,QMultiMap<Key, T>QMap<Key, T>::const_iteratorQMap<Key, T>::iterator
QHash<Key, T>,QMultiHash<Key, T>QHash<Key, T>::const_iteratorQHash<Key, T>::iterator

STL 风格的遍历器具有类似数组指针的行为。例如,我们可以使用 ++ 运算符让遍历器移动到下一个元素,使用 运算符获取遍历器所指的元素。对于QVectorQStack,虽然它们是在连续内存区存储元素,遍历器类型是typedef T const_iterator类型则是typedef const T *

我们还是以QListQMap为例,理由如上。下面是有关QList的相关代码:

  1. QList<QString> list;
  2. list << "A" << "B" << "C" << "D";
  3.  
  4. QList<QString>::iterator i;
  5. for (i = list.begin(); i != list.end(); ++i) {
  6. *i = (*i).toLower();
  7. }

不同于 Java 风格遍历器,STL 风格遍历器直接指向元素本身。容器的begin()函数返回指向该容器第一个元素的遍历器;end()函数返回指向该容器最后一个元素之后的元素的遍历器。end()实际是一个非法位置,永远不可达。这是为跳出循环做的一个虚元素。如果集合是空的,begin()等于end(),我们就不能执行循环。

下图是 STL 风格遍历器的示意图:

STL 风格遍历器

我们使用const_iterator进行只读访问,例如:

  1. QList<QString>::const_iterator i;
  2. for (i = list.constBegin(); i != list.constEnd(); ++i) {
  3. qDebug() << *i;
  4. }

QMapQHash的遍历器,* 运算符返回集合键值对。下面的代码,我们打印出QMap的所有元素:

  1. QMap<int, int> map;
  2.  
  3. QMap<int, int>::const_iterator i;
  4. for (i = map.constBegin(); i != map.constEnd(); ++i) {
  5. qDebug() << i.key() << ":" << i.value();
  6. }

由于有隐式数据共享(我们会在后面的章节介绍该部分内容),即使一个函数返回集合中元素的值也不会有很大的代价。Qt API 包含了很多以值的形式返回QListQStringList的函数(例如QSplitter::sizes())。如果你希望使用 STL 风格的遍历器遍历这样的元素,应该使用遍历器遍历容器的拷贝,例如:

  1. // 正确的方式
  2. const QList<QString> sizes = splitter->sizes();
  3. QList<QString>::const_iterator i;
  4. for (i = sizes.begin(); i != sizes.end(); ++i)
  5. ...
  6.  
  7. // 错误的方式
  8. QList<QString>::const_iterator i;
  9. for (i = splitter->sizes().begin();
  10. i != splitter->sizes().end(); ++i)
  11. ...

对于那些返回集合的 const 或非 const 引用的函数,就不存在这个问题。

另外,隐式数据共享对 STL 风格遍历器造成的另一个影响是,当一个容器正在被一个遍历器遍历的时候,不能对这个容器进行拷贝。如果你必须对其进行拷贝,那么就得万分小心。例如,

  1. QVector<int> a, b;
  2. a.resize(100000); // 使用 0 填充一个非常大的 vector
  3.  
  4. QVector<int>::iterator i = a.begin();
  5. // 使用遍历器 i 的错误方式(注意,此时,a 上面已经有一个正在遍历的遍历器):
  6. b = a;
  7. /*
  8. 现在,我们的万分小心遍历器 i。因为它指向了共享的数据。
  9. 如果我们执行语句 *i = 4,我们就会改变了共享的数据实例(两个 vector 都会被改变)。
  10. 这里的行为与 STL 容器不同,因此这种问题仅出现在 Qt 中;使用 STL 标准容器不存在这个问题。
  11. */
  12.  
  13. a[0] = 5;
  14. /*
  15. 现在,容器 a 被修改了,其实际数据已经与共享数据不同,
  16. 即使 i 就是从容器 a 创建的遍历器,但是它指向的数据与 a 并不一致,其表现就像是 b 的遍历器。
  17. 这里的情形是:(*i) == 0.
  18. */
  19.  
  20. b.clear(); // 现在我们清空 b,此时,遍历器 i 已经不可用了。
  21.  
  22. int j = *i; // 无定义行为!
  23. /*
  24. 来自 b 的数据(也就是 i 指向的那些数据)已经被销毁了。
  25. 这种行为在 STL 容器中是完全可行的(在 STL 容器中,(*i) == 5),
  26. 但是使用 QVector 则很有可能出现崩溃。
  27. */

虽然这个例子只演示了QVector,但实际上,这个问题适用于所有隐式数据共享的容器类。

foreach关键字

如果我们仅仅想要遍历集合所有元素,我们可以使用 Qt 的foreach关键字。这个关键字是 Qt 特有的,通过预处理器进行处理。C++ 11 也提供了自己的foreach关键字,不过与此还是有区别的。

foreach的语法是foreach (variable, container)。例如,我们使用foreachQLinkedList进行遍历:

  1. QLinkedList<QString> list;
  2. ...
  3. QString str;
  4. foreach (str, list) {
  5. qDebug() << str;
  6. }

这段代码与下面是等价的:

  1. QLinkedList<QString> list;
  2. ...
  3. QLinkedListIterator<QString> i(list);
  4. while (i.hasNext()) {
  5. qDebug() << i.next();
  6. }

如果类型名中带有逗号,比如QPair<int, int>,我们只能像上面一样,先创建一个对象,然后使用foreach关键字。如果没有逗号,则可以直接在foreach关键字中使用新的对象,例如:

  1. QLinkedList<QString> list;
  2. ...
  3. foreach (const QString &str, list) {
  4. qDebug() << str;
  5. }

Qt 会在foreach循环时自动拷贝容器。这意味着,如果在遍历时修改集合,对于正在进行的遍历是没有影响的。即使不修改容器,拷贝也是会发生的。但是由于存在隐式数据共享,这种拷贝还是非常迅速的。

因为foreach创建了集合的拷贝,使用集合的非 const 引用也不能实际修改原始集合,所修改的只是这个拷贝。