C++17 STL Стандартная библиотека шаблонов

Чтобы немного освоиться с итераторами, рассмотрим пример реализации одного из них, который просто генерирует диапазон чисел при переборе. Он не дополняется структурой-контейнером. Числа генерируются непосредственно при переборе.

Как это делается

В этом примере мы реализуем собственный класс итератора, а затем проитерируем по нему.

1. Сначала включим заголовочный файл, который позволит выводить данные на консоль:

#include

2. Наш класс итератора будет называться num_iterator:

class num_iterator {

3. Его единственным членом выступит целое число, которое послужит для счета. Оно будет инициализироваться в конструкторе. Создание явных конструкторов — хороший стиль программирования, поскольку это позволяет избежать случайных неявных преобразований. Обратите внимание: мы предоставляем значение по умолчанию для переменной position, что делает возможным создание экземпляров класса num_iterator с помощью конструктора по умолчанию. Хотя в данном примере мы не будем использовать такой конструктор, эта возможность очень важна, поскольку некоторые алгоритмы STL зависят от того, можно ли создать экземпляры итераторов, применяя конструкторы по умолчанию:

  int i;

public:

  explicit num_iterator(int position = 0) : i{position} {}

4. При разыменовании наш итератор (*it) генерирует целое число:

  int operator*() const { return i; }

5. Инкрементирование итератора (++it) просто увеличит значение его внутреннего счетчика i:

  num_iterator& operator++() {

    ++i;

    return *this;

  }

6. Цикл for будет сравнивать итератор с конечным итератором. Если они не равны, то продолжим перебор:

  bool operator!=(const num_iterator &other) const {

    return i != other.i;

  }

};

7. Это был класс итератора. Нам все еще нужен промежуточный объект для записи for (int i:intermediate(a, b)) {...}, который содержит начальный и конечный итераторы и будет перепрограммирован так, чтобы итерировал от a до b. Мы назовем его num_range:

class num_range {

8. Он содержит два члена, представляющие собой целые числа. Они обозначают число, с которого начнется перебор, а также число, стоящее непосредственно за последним числом. Это значит, что если мы хотим проитерировать по числам от 0 до 9, то a будет иметь значение 0, а b — 10:

  int a;

  int b;

public:

  num_range(int from, int to)

      : a{from}, b{to}

{}

9. Нужно реализовать всего две функции-члена: begin и end. Обе эти функции возвращают итераторы, которые указывают на начало и конец численного диапазона:

  num_iterator begin() const { return num_iterator{a}; }

  num_iterator end() const { return num_iterator{b}; }

};

10. На этом все. Можно использовать полученный объект. Напишем функцию main, в которой просто проитерируем по диапазону значений от 100 до 109

и выведем эти значения:

int main()

{

  for (int i : num_range{100, 110}) {

    std::cout << i << ", ";

  }

  std::cout << '\n';

}

11. Компиляция и запуск программы дадут следующий результат:

100, 101, 102, 103, 104, 105, 106, 107, 108, 109,

Как это работает 

Представьте, что мы написали следующий код:

for (auto x:range) { code_block; }

Компилятор развернет его в такую конструкцию:

{

  auto _begin = std::begin(range);

  auto _end = std::end(range);

  for (; _begin !=  end; ++_begin

) {

    auto x = *_begin;

    code_block

  }

}

При взгляде на этот код становится очевидно, что для создания итератора необходимо реализовать всего три оператора:

□ operator!= — определение равенства;

□ operator++ — префиксный инкремент;

□ operator* — разыменование.

Требования к диапазону данных заключаются в том, что он должен иметь методы begin и end, которые будут возвращать два итератора для обозначения начала и конца диапазона.

  В данной книге мы будем использовать преимущественно std::begin(x) вместо x.begin(). Это хороший вариант, поскольку функция std::begin(x) автоматически вызывает метод x.begin(), при условии, что он доступен. Если x представляет собой массив, не имеющий метода begin(), то функция std::begin(x) автоматически определит, как с этим справиться. То же верно и для std::end(x). Пользовательские типы, не имеющие методов begin()/end(), не смогут работать с методами std::begin/std::end.