Тождествен ли в Java цикл «for each» циклу «for»?

Question

[Игорь]

Имеем массив строк:

String[] fruits = new String[] { "Orange", "Apple", "Pear", "Strawberry" };

Ппопробуем вывести его так:

for (String fruit : fruits) {
    // выводим fruit
}

И так:

for (int i = 0; i < fruits.length; i++) {
    String fruit = fruits[i];
    // выводим fruit
}

Вопрос заключается в следующем:
Существует ли гарантия (зафиксированная в документации Java или где-то еще), что порядок вывода элементов массива будет идентичным - то есть цикл for each будет гарантированно идти по порядку?

Насколько я помню, в Python это совсем не обязательно и пользоваться таким способом не рекомендуется, так как Python может брать элементы в том порядке, в каком ему удобно, наплевав на очередность.

А как в Java обстоит с этим дело? Есть ли какие-нибудь рекомендации на этот счет?

Comments

[NaName]

цикл по элементам словаря и множества "беспорядочный". элементы списка и ordereddict будут идти по порядку. надо знать, ordered или не ordered тип данных используется в цикле. это про python

[Станислав Некрасов]

for в Python всегда одинаково работает, если входные данные одни и те же. А в Python 3.6+ словари сохраняют последовательность ключей.

Answer 1

[Сергей Горностаев]

Во-первых, вы плохо помните. В Python списки - это упорядоченная коллекция и соответственно итерация по ним проходит последовательно с сохранение порядка.

Во-вторых, цикл foreach в Java - это синтаксический сахар, который при компиляции будет развёрнут в

for (Iterator i = fruits.iterator(); i.hasNext();)  {
       String fruit = i.next();
      ...
}

Comments

[Игорь]

Спасибо. До итераторов я не дошел пока.
А они (итераторы) точно по порядку возвращают, да?
Ведь об этом нет обязательного условия, насколько я понимаю.

[Сергей Горностаев]

Иннокентий, порядок зависит от итерируемой коллекции. Массивы упорядочены.

[Александр Момот]

Скорее всего автор вопроса перепутал с dict, который если не OrderedDict то может иметь случайный порядок получения элементов в момент чтения. Но на самом деле с Python 3.7 это уже фича языка и явный класс для этого не нужен. Раньше было разделение, теперь нет. И все dict-ы, по соглашению, должны хранить порядок добавления элементов.
https://stackoverflow.com/questions/39980323/are-d...

Answer 2

[Iloveski]

Порядок элементов при итерировании определяется контрактом реализации коллекции. Что касается циклов for, то порядок для одной и той же коллекции в for и foreach отличаться не будет