76.Класс итераторов объектов: внешние и внутренние итераторы.

Существуют два типа итераторов:

относящиеся к внутренней реализации коллекции (например, для приведенного выше класса

SimpleCollection) и открытые внешнему миру. Они называются внутренними (internal iterator) и

внешними (external iterator) итераторами соответственно.

Внутренний итератор обычно представляет собой тупой, ненадежный итератор, который перебирает

объекты коллекции в ее текущем состоянии. Если в коллекции происходит вставка или удаление,

внутренние итераторы начинают выкидывать все те странные фортели, о которых говорилось в начале

раздела. По этой причине их тщательно прячут от шаловливых рук клиента. Как правило, внутренние

итераторы тесно связаны со структурами данных, использованными в реализации коллекции. Как и

любые другие итераторы, они могут возвращать *-указатель или курсор в зависимости от ваших

потребностей.

Внешние итераторы соблюдают принцип затенения. Затенения можно добиться многими способами,

часть из которых рассматривается далее в этой главе и в главе 9. Как всегда, суть кроется не в

конкретном алгоритме или структуре данных, а в том, как спрятать их от публики.

Временные внутренние итераторы

Если внешний итератор создает частную копию коллекции (см. предыдущий раздел) и при этом не

существует оператора преобразования или конструктора, способного превратить исходную коллекцию

в частную, в конструкторе внешнего итератора можно воспользоваться внутренним итератором. В

следующем фрагменте два внутренних итератора объединяются в реализации одного внешнего:

class ExternalIterator {

private:

SimpleCollection collection;

SimpleIterator* my_iter; // Возвращается коллекцией

public:

ExternalIterator(ComplexCollection* c)

{

InternalIterator* iter = c->Iterator();

while (c->More())

collection += *(c->Next());

delete iter;

my_iter = collection->Iterator();

}

bool More() { return my_iter->More(); }

bool Next() { return my_iter->Next(); }

};

ComplexCollection предоставляет внутренний итератор, который существует ровно столько, сколько

необходимо для создания копии. SimpleCollection возвращает итератор, используемый для

реализации функции More() и Next() внешнего итератора. Конечно, все могло бы выглядеть намного

элегантнее, если бы у SimpleCollection был конструктор с аргументом ComplexCollection или у

ComplexCollection — операторная функция преобразования operator SimpleCollection(). Но

даже при их отсутствии класс итератора обеспечивает весь необходимый уровень инкапсуляции.

Устойчивые внутренние итераторы

Термин «устойчивый» (persistent) означает, что внутренний итератор существует до тех пор, пока

существует внешний итератор (my_iter в предыдущем примере). Внутренний итератор может быть

переменной класса внешнего итератора, как было показано, а при достаточной осторожности его

можно создать как производный класс посредством закрытого наследования. Вариант с закрытым

наследованием может выглядеть так:

// В файле .h

class Collection {

public:

class ExternalIterator {

public:

virtual bool More() = 0;

virtual Foo* Next() = 0;

};

ExternalIterator* Iterator();

};

// В файле .cpp

// Настоящий класс, возвращаемый клиентам

class RealExternalIterator

: public ExternalIterator, private InternalIterator

(...);

Collection:ExternalIterator* Collection::Iterator()

{

return new RealExternalIterator(this);

}