Iterator to konstrukcja języka komputerowego, która umożliwia programowi odczytywanie grupy wartości danych lub fragmentów informacji w sposób systematyczny. Iteratory umożliwiają również indywidualny dostęp każdemu członkowi grupy, bez wpływu na resztę grupy. Są używane w wielu językach skryptowych i programowania, w tym C++, Java, PHP i Perl. Ich implementacja jest niezależna od skanowanych obiektów, dzięki czemu mogą skanować dowolny typ grupy obiektów.
Podróżowanie przez grupę obiektów za pomocą iteratora jest zwykle nazywane iteracją lub przechodzeniem. W większości języków komputerowych iteratory są używane do przechodzenia przez grupy powiązanych obiektów zwanych kolekcjami. Ich implementacje są bardzo elastyczne i mogą być używane z kolekcjami o dowolnej wielkości. Są one na ogół bezpieczniejsze niż prosty dostęp do elementów w kolekcji, ponieważ ich zakres jest ograniczony do elementów w kolekcji. Chociaż nadal można uzyskać dostęp do indeksu spoza zakresu, jest mało prawdopodobne, jeśli iterator jest używany poprawnie.
Iteratory są definiowane, inicjowane i obsługiwane w pamięci w różny sposób w zależności od języka komputera, w którym są używane. Z kolei ich ogólna składnia jest podobna w większości języków. Istnieją dwa różne typy składni, których można używać w iteratorach, zdefiniowane jako jawne lub niejawne.
Jawne iteratory obejmują utworzenie obiektu iteratora, a następnie ten obiekt jest używany w pętli przechodzenia przez elementy kolekcji. Niejawne iteratory obejmują specjalny typ struktury pętli, która tworzy obiekt iteratora bez wcześniejszego określenia. To, czy iteratory jawne, czy niejawne są używane do konkretnego przechodzenia, zwykle zależy od preferencji programisty, ponieważ różnice w ilości kodu lub wydajności między nimi są znikome. Największa różnica między iteratorami jawnymi i niejawnymi polega na tym, że iteratory jawne pokazują tworzenie iteratora w kodzie źródłowym, podczas gdy iteratory niejawne tego nie pokazują.
Gdy dostępna jest kolekcja obiektów, do ich przeskanowania można użyć iteratora. W zależności od możliwości języka komputerowego iteratory mogą być używane w tablicach, mapach, listach i wielu innych typach kolekcji. Iteratory są stosunkowo wszechobecną cechą języków programowania, a większość popularnych języków ma pewien rodzaj dostępnej funkcjonalności. Niektóre języki komputerowe umożliwiają iteratory z dodatkowymi funkcjami, takimi jak ograniczenia liczby uzyskiwanych dostępu do elementu. Ponieważ te funkcje nie są uniwersalne, istnieją czasami sposoby, w jakie można je zaimplementować niezależnie od samych iteratorów.