Примеры использования тегов итераторов
Для всех типов обычных указателей мы можем определить value_type и distance_type с помощью следующего:
template inline T* value_type(const T*) { return (T*) (0); } template inline ptrdiff_t* distance_type(const T*) { return (ptrdiff_t*) (0); }Тогда, если мы хотим осуществить обобщённую функцию reverse, мы пишем следующее: template inline void reverse(BidirectionalIterator first, BidirectionalIterator last) { _reverse(first, last, value_type(first), distance_type(first)); } где _reverse определена следующим образом: template void _reverse(BidirectionalIterator first, BidirectionalIterator last, T*, Distance*) { Distance n; distance(first, last, n); // смотри раздел "Операции с итераторами" --n; while (n > 0) { T tmp = *first; *first++ = *--last; *last = tmp; n -= 2; } }
Если имеется дополнительный тип указателя _huge такой, что разность двух указателей _huge имеет тип long long, мы определяем:
template inline T* value_type(const T _huge *) { return (T*) (0); } template inline long long* distance_type(const T _huge *) { return (long long*)(0); }Часто желательно для шаблонной функции выяснить, какова наиболее специфичная категория её итераторного аргумента, так чтобы функция могла выбирать наиболее эффективный алгоритм во время компиляции. Чтобы облегчить это, библиотека вводит классы тегов категорий (category tag), которые используются как теги времени компиляции для выбора алгоритма. Это следущие теги: input_iterator_tag, output_iterator_tag, forward_iterator_tag, bidirectional_iterator_tag и random_access_iterator_tag. Каждый итератор i должен иметь выражение iterator_category(i), определённое для него, которое возвращает тег наиболее специфичной категории, который описывает его поведение. Например, мы определяем, что все типы указателей находятся в категории итераторов произвольного доступа:
template inline random_access_iterator_tag iterator_category(const T*) { return random_access_iterator_tag(); }Определяемый пользователем итератор BinaryTreeIterator может быть включен в категорию двунаправленных итераторов следующим образом: template inline bidirectional_iterator_tag iterator_category( const BinaryTreeIterator&) { return bidirectional_iterator_tag(); }
Если шаблонная функция evolve хорошо определена для двунаправленных итераторов, но может быть осуществлена более эффективно для итераторов произвольного доступа, тогда реализация выглядит так:
template inline void evolve(BidirectionalIterator first, BidirectionalIterator last) { evolve(first, last, iterator_category(first)); } template void evolve(BidirectionalIterator first, BidirectionalIterator last, bidirectional_iterator_tag) { // ... более универсальный, но менее эффективный алгоритм } template void evolve(RandomAccessIterator first, RandomAccessIterator last, random_access_iterator_tag) { // ... более эффективный, но менее универсальный алгоритм }