Чому масив не призначається Iterable?

з Java5 ми можемо написати:

Foo[] foos = ...
for (Foo foo : foos) 

або просто за допомогою Iterable в циклі for. Це дуже зручно.

Однак ви не можете записати загальний метод для такого вибору:

public void bar(Iterable<Foo> foos) { .. }

і викликає його масивом, оскільки він не є взаємодіючим:

Foo[] foos = { .. };
bar(foos);  // compile time error 

Мені цікаво з причин цього дизайнерського рішення.

Масиви можуть реалізовувати інтерфейси ( Cloneableта java.io.Serializable). То чому б і ні Iterable? Я думаю, що Iterableсили додають iteratorметод, а масиви не реалізують методи. char[]навіть не перекриває toString. У будь-якому випадку масиви посилань слід вважати менш ідеальними - використовувати Lists. Як зауважує dfa, Arrays.asListконверсія зробить для вас явно.

(Сказавши це, ви можете зателефонувати cloneна масиви.)

Масив - це Об'єкт, але його елементів може бути не так. Масив може містити примітивний тип типу int, з яким Iterable не може впоратися. Принаймні, це я вважаю.

Масиви повинні підтримувати Iterable, вони просто ні, з тієї ж причини, що .NET-масиви не підтримують інтерфейс, який дозволяє лише випадковий доступ за позицією (немає такого інтерфейсу, який визначений як стандартний). В основному, рамки часто мають набридливі невеликі прогалини в них, які не варто нікому виправляти. Не має значення, чи могли ми самі їх виправити якимсь оптимальним способом, але часто ми не можемо.

ОНОВЛЕННЯ: Щоб бути рівномірним, я згадав масиви .NET, які не підтримують інтерфейс, який підтримує випадковий доступ за позицією (див. Також мій коментар). Але в .NET 4.5 цей точний інтерфейс був визначений і підтримується масивами та List<T>класом:

IReadOnlyList<int> a = new[] {1, 2, 3, 4};
IReadOnlyList<int> b = new List<int> { 1, 2, 3, 4 };

Все ще не зовсім ідеально, оскільки інтерфейс змінного списку IList<T>не успадковує IReadOnlyList<T>:

IList<int> c = new List<int> { 1, 2, 3, 4 };
IReadOnlyList<int> d = c; // error

Можливо, є можлива зворотна сумісність із такою зміною.

Якщо в нових версіях Java є якийсь прогрес щодо подібних речей, мені було б цікаво дізнатись у коментарях! :)

На жаль, масиви не є « classнедостатньо». Вони не реалізують Iterableінтерфейс.

У той час як масиви тепер є об'єктами, які реалізують Clonable і Serializable, я вважаю, що масив не є об'єктом у нормальному розумінні та не реалізує інтерфейс.

Причина, по якій ви можете використовувати їх для кожної петлі, полягає в тому, що Sun додає в якийсь синтатичний цукор для масивів (це особливий випадок).

Оскільки масиви почалися як «майже об’єкти» з Java 1, змінити їх було б занадто різко, щоб зробити їх справжніми об’єктами на Java.

Компілятор фактично переводить for eachмасив на простий forцикл із змінною лічильника.

Складання наступного

public void doArrayForEach() {
    int[] ints = new int[5];

    for(int i : ints) {
        System.out.println(i);
    }
}

а потім декомпілювати вихід файлів .class

public void doArrayForEach() {
    int[] ints = new int[5];
    int[] var2 = ints;
    int var3 = ints.length;

    for(int var4 = 0; var4 < var3; ++var4) {
        int i = var2[var4];
        System.out.println(i);
    }
}