首页 > 编程笔记 > C++笔记 阅读：11

迭代器模式详解（附带C++实例）

在现代软件设计中，有效管理和操作数据结构是至关重要的，尤其在处理集合数据时。迭代器模式提供了一种优雅的解决方案，允许我们在不暴露集合内部结构的情况下，顺序访问聚合对象中的元素。

在 C++ 中，迭代器不只是简单的遍历机制，它是迭代器设计模式的一个典型应用，是标准模板库的核心组成部分。本节将探索迭代器模式的核心概念和应用实例，深入了解它如何协助开发者更加高效地控制数据遍历和操作，以及如何在多种场景下灵活运用。

迭代器模式基础

迭代器模式的核心目的是提供一种方法去顺序访问一个集合对象中的各个元素，同时不需要暴露该对象的内部表示。

在 C++ 中，迭代器模式可以帮助我们分离集合的遍历行为与集合本身的结构，提高代码的可扩展性和可复用性。

迭代器执行机制如下图所示：


图 1 迭代器执行机制

具体说明如下：

迭代器模式C++实例

有一个表示书籍集合的类，我们希望能够遍历这个集合中的每本书。 
#include <vector>
#include <string>
#include <iostream>

// 抽象迭代器
class Iterator {
public:
    virtual ~Iterator() {}
    virtual void first() = 0;                // 将迭代器移动到第一个元素
    virtual void next() = 0;                 // 移动到下一个元素
    virtual bool isDone() const = 0;         // 检查迭代器是否已经遍历完所有元素
    virtual std::string currentItem() const = 0; // 获取当前元素
};

// 具体迭代器实现
class BookIterator : public Iterator {
private:
    const std::vector<std::string>& books;    // 图书集合的引用
    size_t current;                          // 当前元素的索引
public:
    BookIterator(const std::vector<std::string>& books) : books(books), current(0) {}

    void first() override {
        current = 0;
    }

    void next() override {
        if (!isDone()) {
            current++;
        }
    }

    bool isDone() const override {
        return current >= books.size();
    }

    std::string currentItem() const override {
        if (isDone()) {
            throw std::out_of_range("Iterator out of range");
        }
        return books[current];
    }
};

// 抽象聚合类
class Aggregate {
public:
    virtual ~Aggregate() {}
    virtual Iterator* createIterator() const = 0; // 创建迭代器的抽象方法
};

// 具体聚合实现
class BookCollection : public Aggregate {
private:
    std::vector<std::string> books;           // 存储图书的容器
public:
    void addBook(const std::string& book) {    // 添加图书到集合
        books.push_back(book);
    }

    Iterator* createIterator() const override { // 实现创建迭代器的方法
        return new BookIterator(books);
    }
};

// 主函数，演示迭代器的使用
int main() {
    BookCollection collection;
    collection.addBook("Design Patterns");
    collection.addBook("Design C++");

    Iterator* it = collection.createIterator();
    for (it->first(); !it->isDone(); it->next()) {
        std::cout << it->currentItem() << std::endl;
    }
    delete it; // 不要忘记释放迭代器
    return 0;
}
在这个例子中，BookCollection 作为一个具体的聚合类，提供了创建迭代器的方法；BookIterator 则是一个具体的迭代器实现，用于遍历书籍集合。这样的设计允许我们在不暴露集合内部结构的情况下，进行灵活的遍历操作，同时也方便了未来集合类型的变更或扩展，因为迭代器提供了一种统一的接口来处理遍历。

迭代器模式适用场景

在 C++ 中，标准迭代器通常是针对特定容器直接实现的，并且与容器的内部结构紧密关联。这种实现方式确保了性能的优化，因为迭代器可以直接操作容器内部的数据结构，如数组或链表。而设计模式中描述的迭代器模式更强调通过提供统一的接口来分离集合对象的遍历行为与其内部表示，从而增强代码的通用性和可维护性。因此，C++ 的迭代器实践虽然遵循迭代器模式的基本理念，但更多地考虑了语言特性和性能需求。

在实际的 C++ 应用中，通过编写自定义迭代器就可以满足大部分需求。传统的迭代器模式在 C++ 中并不常用，主要是因为标准库已经提供了非常强大的迭代器和容器支持。但迭代器模式的优势在于它提供了更高级别的抽象和灵活性，尤其在需要与外部系统集成或当数据结构变得复杂时。

下面详细比较一下自定义迭代器和迭代器模式的不同点和适用场景，并通过具体例子说明如何选择适当的迭代器实现策略。

1) 自定义迭代器

自定义迭代器通常是针对具体的数据结构设计的，它们可以直接访问数据结构的内部成员。例如，可以为一个特定类型的树或图写一个自定义迭代器来执行深度优先或广度优先遍历。

这种方法在以下情况非常有效：

2) 迭代器模式

迭代器模式在设计上提供了一层抽象，允许遍历机制独立于数据结构。这种方式在以下情况更有优势：

3) 与外部库或框架的集成

在需要与外部库或框架集成，且这些工具或框架期望使用迭代器模式时，使用标准的迭代器模式可能更为合适。在这种情况下，迭代器模式可以提供必要的接口兼容性，使得集成更为顺畅。

例如，在与某个需要通过迭代器接口遍历数据的第三方库集成时，如果数据结构不支持标准迭代器，则使用迭代器模式可以实现一个兼容的接口，从而与该库无缝对接。

总的来说，在设计系统时，选择使用自定义迭代器还是迭代器模式，应根据具体的需求、预期的系统复杂度以及未来可能的扩展进行权衡。对于简单且性能要求高的场景，自定义迭代器更为合适；对于数据结构复杂、具有多种遍历策略或需要与外部系统集成的情况，迭代器模式提供了更高的灵活性和可扩展性。

相关文章