Как работает объявление итератора?

@Alrond2198 · Регистрация: 12.07.2020

Студворк — интернет-сервис помощи студентам

Есть такой код

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
#include <iterator>
#include <iostream>
#include <algorithm>
#include <cstddef>
 
template<class T>
class Iterator;
 
template<class T>
class array
{
public:
   typedef Iterator<T> iterator;
   typedef size_t size_type;
   typedef T* pointer;
   typedef const T* const_pointer;
   typedef T& reference;
   typedef const T& const_reference;
   typedef T value_type;
   
   array():arr_(new T[0]), sz_(0)
   {
   }
   array(size_t sz):sz_(sz), arr_(new T[sz])
   {
      std::fill(arr_, arr_ + sz_, T());
   }
   array(const array& arr)
   {
      delete arr_;
      sz_ = arr.sz;
      arr_ = new T[sz_];
      std::copy(arr.arr_, arr.arr_ + sz_, arr_);
   }
   array& operator =(const array& arr)
   {
      array tmp(arr);
      swap(tmp);
      return *this;
   }
   ~array()
   {
      delete[] arr_;
   }
   Iterator<T> begin()
   {
      return Iterator<T>(arr_);
   }
   Iterator<T> end()
   {
      return Iterator<T>(arr_ + sz_);
   }
   T& operator [](size_t idx)
   {
      return arr_[idx];
   }
   const T& operator [](size_t idx) const
   {
      return arr_[idx];
   }
   size_t size() const
   {
      return sz_;
   }
private:
   void swap(array& first, array& second)
   {
      std::swap(first.arr_, second.arr_);
      std::swap(first.sz_, second.sz_);
   }
   T* arr_;
   size_t sz_;
};
 
template<class T>
class Iterator
{
public:
   typedef T value_type;
   typedef T* pointer;
   typedef T& reference;
   typedef std::forward_iterator_tag iterator_category;
   typedef ptrdiff_t difference_type;
   
   Iterator(T* curr):current(curr)
   {
   }
   Iterator& operator =(const Iterator& other)
   {
       if (this != &other)
       {
           current = other.current;
       }
       return *this;
   }
   Iterator& operator ++()
   {
       ++current;
       return *this;
   }
   Iterator operator ++(int i)
   {
       Iterator tmp(current);
       ++current;
       return tmp;
   }
   T& operator *()
   {
      return *current;
   }
   T* operator ->()
   {
      return current;
   }
   bool operator ==(const Iterator& other)
   {
      return current == other.current;
   }
   bool operator !=(const Iterator& other)
   {
      return !(*this == other);
   }
private:
   T* current;
};
 
int main()
{
   array<int> arr(5);
   for (array<int>::iterator iter = arr.begin(); iter != arr.end(); ++iter)
   {
      std::cout << *iter << std::endl;
   }
   for (array<int>::iterator iter = arr.begin(); iter != arr.end(); ++iter)
   {
      *iter = 5;
   }
   for (array<int>::iterator iter = arr.begin(); iter != arr.end(); ++iter)
   {
      std::cout << *iter << std::endl;
   }
   std::copy(arr.begin(), arr.end(), std::ostream_iterator<int>(std::cout, "\n"));
}

Мне непонятно, как работает эта запись

C++
1
array<int>::iterator iter

Я же могу просто написать Iterator<int> iter, и результат будет тем же

@JeyCi · 13.12.2020, 19:40

Об итераторе можно думать, как об указателе на определенный элемент контейнерного класса

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

@eva2326 · 13.12.2020, 20:15

Сообщение от Alrond2198

Я же могу просто написать Iterator<int> iter, и результат будет тем же

Можете)

А теперь напишите тоже самое, только для std::vector<int> ?
А теперь тоже самое, только для std::map<int, int> ?

Как вообще вы узнаете какие типы итераторов использует тот или иной контейнер?

Тип итератора, с которым работает конкретный контейнер, можно запросить у самого контейнера:

C++
1
std::vector<int>::iterator iter; // итератор вектора

C++
1
std::map<int,int>::iterator iter; // итератор карты

соответственно:

Сообщение от Alrond2198

array<int>::iterator iter

итератор array.

@Alrond2198 · 13.12.2020, 21:40 **[ТС]**

А откуда в array взялся итератор? Ведь оператор разрешения области видимости явно указывает, что он внутри валяется. Но его там нет
Причем если вместо array<int>::iterator iter написать array<int>::Iterator<int> iter, что вроде следует из typedef, то это работать не будет

@eva2326 · 13.12.2020, 21:59

Сообщение от Alrond2198

А откуда в array взялся итератор?

Он явным образом прописан в описании класса:

Сообщение от Alrond2198

typedef Iterator<T> iterator;

Сообщение от Alrond2198

Причем если вместо array<int>::iterator iter написать array<int>::Iterator<int> iter, что вроде следует из typedef, то это работать не будет

Внутри класс нету array<int>::Iterator<int>
Там есть:

Сообщение от Alrond2198

array<int>::iterator

Который для array<int> является Iterator<int>
Именно это следует из typedef, кстати.

Вам нужно понять: внутри array<int> содержится уже готовый iterator, который определён конкретно для int

@Alrond2198 · 13.12.2020, 23:17 **[ТС]**

То есть функционал итераторов и совместимость с STL функциями мы получаем, просто обзывая тип Iterator<T> псевдонимом iterator?

@JeyCi · 14.12.2020, 08:33

Сообщение от Alrond2198

просто обзывая тип Iterator<T> псевдонимом iterator?

не просто... внимательно прочитайте шаблон класса array... ваш шаблон класса итератор там создаёт итератор того (array) контейнера... вот его вы и используете, как поле класса array

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Сборка библиотек SDL3 и Box2D из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия SDL 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual. . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .

@Alrond2198 0 / 0 / 0 Регистрация: 12.07.2020 Сообщений: 12
	13.12.2020, 21:40 [ТС]
	А откуда в array взялся итератор? Ведь оператор разрешения области видимости явно указывает, что он внутри валяется. Но его там нет Причем если вместо array<int>::iterator iter написать array<int>::Iterator<int> iter, что вроде следует из typedef, то это работать не будет 0

@Alrond2198 0 / 0 / 0 Регистрация: 12.07.2020 Сообщений: 12
	13.12.2020, 23:17 [ТС]
	То есть функционал итераторов и совместимость с STL функциями мы получаем, просто обзывая тип Iterator<T> псевдонимом iterator? 0

Как работает объявление итератора?

Решение