Un iteratore è un modello di programmazione orientato agli oggetti che consente l'attraversamento attraverso una raccolta, agnostico dell'implementazione effettiva o degli indirizzi degli oggetti nella memoria fisica. È uno dei modelli di design comportamentale di Gang of Four.