Почему для интерфейса Iterator не предусмотрены конкретные реализации?

Интерфейс Iterator определяет контракт для обхода коллекций. Конкретные реализации зависят от внутренней структуры коллекций (например, ArrayList, LinkedList, HashSet). Предоставление универсальной реализации было бы неэффективным или невозможным, так как она должна учитывать особенности каждого типа коллекции.

Например:

• ArrayList.iterator() обходит элементы по индексу.
• LinkedList.iterator() обходит элементы, следуя указателям между узлами.
• HashSet.iterator() обходит элементы, используя внутренний массив корзин и связанные списки/красно-черные деревья.

Только сама коллекция знает, как наиболее эффективно предоставить итератор для своей структуры данных.