New-Style Iterators

Категории итераторов, определенные в C++98, чрезвычайно ограничены, потому что они связывают вместе два ортогональных понятия: проход и доступ к элементам. Например, поскольку итератор случайного доступа должен возвращать ссылку (а не прокси) при удалении, невозможно захватить возможности вектора.с использованием категорий C++98. Это печально известный "векторне является контейнером, и его итераторы не являются итераторами случайного доступа. Саттер написал две статьи для комитета по стандартамn1185иn1211и. Гуру недели. Итераторы нового стиля выходят далеко за рамки исправленияvector, однако, есть много других итераторов, которые не могут быть адекватно представлены существующими понятиями. Подробнее о новых концепциях итератора см. в нашем разделе

Standard Proposal For New-Style Iterators (PDF)

Iterator Facade and Adaptor

Написание стандартных итераторов сложно, но потребность часто возникает. Чтобы облегчить реализацию новых итераторов, Boost. Библиотека итераторов предоставляет шаблон классаiterator_facade, который реализует множество полезных по умолчанию и проверок времени компиляции, предназначенных для того, чтобы помочь автору итератора убедиться, что его итератор верен.

Также принято определять новый итератор, который похож на какой-то базовый итератор или тип, похожий на итератор, но который изменяет некоторые аспекты поведения основного типа. Для этой цели библиотека предоставляет шаблон классаiterator_adaptor, который специально разработан, чтобы использовать как можно больше поведения основного типа.

Документацию по этим двум классам можно найти на следующих веб-страницах:

• iterator_facadePDF
• iterator_adaptorPDF

Какiterator_facade, так иiterator_adaptor, а также многие изспециализированных адаптеров, упомянутых ниже, были предложены для стандартизации и приняты в первый технический отчет C++; см.

Standard Proposal For Iterator Facade and Adaptor (PDF)

для более подробной информации.

Specialized Adaptors

Библиотека итераторов предоставляет полезный набор стандартных шаблонов итераторов на основе фасада и адаптера итератора Boost.

• Counting_iteratorPDF: итератор по последовательности последовательных значений. Реализует последовательность "lazy"
• filter_iteratorPDF: итератор над подмножеством элементов некоторой последовательности, удовлетворяющих данному предикату
• function_input_iteratorPDF: входной итератор, обертывающий генератор (объект нулевой функции); каждый раз, когда итератор отменяется, объект функции вызывается, чтобы получить значение для возврата.
• function_output_iteratorPDF: выходной итератор, обертывающий унарный функциональный объект; каждый раз, когда элемент записывается в отнесенный итератор, он передается в качестве параметра объекту функции.
• direct_iteratorPDF: итератор над объектами, заостренный наэлементами некоторой последовательности.
• permutation_iteratorPDF: итератор над элементами некоторой последовательности случайного доступа, перегруппированный по некоторой последовательности целых индексов.
• reverse_iteratorPDF: итератор, который пересекает элементы некоторой двунаправленной последовательности в обратном направлении. Исправляет многие недостатки C++98'sstd::reverse_iterator.
• shared_container_iterator: Итератор над элементами контейнера, срок службы которого поддерживаетсяshared_ptr, хранящимся в итераторе.
• Transform_iteratorPDF: итератор над элементами, являющийся результатом применения некоторого функционального преобразования к элементам базовой последовательности. Этот компонент также заменяет старыйprojection_iterator_adaptor.
• zip_iteratorPDF: итератор над кортежами элементов в соответствующих положениях гетерогенных базовых итераторов.

Iterator Utilities

Upgrading from the old Boost Iterator Adaptor Library

If you have been using the old Boost Iterator Adaptor library to implement iterators, you probably wrote a Policies class which captures the core operations of your iterator. In the new library design, you'll move those same core operations into the body of the iterator class itself. If you were writing a family of iterators, you probably wrote a type generator to build the iterator_adaptor specialization you needed; in the new library design you don't need a type generator (though may want to keep it around as a compatibility aid for older code) because, due to the use of the Curiously Recurring Template Pattern (CRTP) [Cop95], you can now define the iterator class yourself and acquire functionality through inheritance from iterator_facade or iterator_adaptor. As a result, you also get much finer control over how your iterator works: you can add additional constructors, or even override the iterator functionality provided by the library.

Если вы ищете старый компонентprojection_iterator, его функциональность была объединена вtransform_iterator: до тех пор, пока объект функцииresult_type(илиСсылкааргумент шаблона, если явно указан) является истинным типом ссылки,Transform_iteratorбудет вести себя какProjection_iterator, к которому привыкли.

History

В 2000 году Дэйв Абрахамс писал итератор для контейнера указателей, который имел бы доступ к заостренным элементам. Естественно, будучи библиотечным писателем, он решил обобщить идею и родилась библиотека адаптеров Boost Iterator. Дэйв был вдохновлен некоторыми работами Андрея Александреску и выбрал дизайн, основанный на политике (хотя он, вероятно, не очень хорошо уловил идею Андрея - был только один класс политики для всех ортогональных свойств итератора). Вскоре Джереми Сик понял, что ему понадобится библиотека, и они вместе работали над созданием версии, которая была рассмотрена и принята в библиотеку. Они написали статью и внесли несколько важных изменений в кодекс.

В конце концов, несколько недостатков старой библиотеки стали делать необходимость переписывания очевидной. Дэйв и Джереми начали работать на заседании комитета по C++ в Санта-Крусе в 2002 году и быстро создали рабочий прототип. По настоянию Мата Маркуса они решили использовать подход GenVoca/CRTP и перенесли политику в класс итераторов. Томас Витт выразил заинтересованность и стал голосом строгой проверки времени компиляции для проекта, добавив использование техники SFINAE для устранения ложного преобразования конструкторов и операторов из набора перегрузок. Он также признал необходимость отдельногоитератора_фасадаи выделил его изитератора_адаптора. Наконец, после почти полного переписывания прототипа, они придумали библиотеку, которую вы видите сегодня.