Почему javac иногда создает ненужные копии переменных?

Question

Почему javac иногда создает ненужные копии переменных?

1

У меня код выглядит следующим образом:

boolean[] array = new boolean[200];
int[] indexes = {10, 42, 62, 74};
while(true) {
    //some code here
    StringBuilder sb = new StringBuilder();
    for (int j : indexes) {
        sb.append(array[j] ? '1' : '0');
    }
}

Байт-код для этого:

ASTORE 3 //"indexes" array
...
ALOAD 3
ASTORE 8
ALOAD 8
ARRAYLENGTH
...

Я не уверен, почему javac copy ref для массива в другой локальный var.

saroff 10 апр. 2015, в 02:30

Источник

0

Какая часть этого байт-кода "скопировать ref в массив в другой локальный var" ?
Jean-François Savard 10 апр. 2015, в 00:17
0

@ Jean-FrançoisSavard ALOAD 3 а затем ASTORE 8 .
immibis 10 апр. 2015, в 00:21

Теги:

java

bytecode

javac

1 ответ

Ещё вопросы

Какая часть этого байт-кода "скопировать ref в массив в другой локальный var" ?

immibis · Accepted Answer · 2015-04-09T22-48-00.000Z

Цикл for-each преобразуется в нечто вроде этого:

{
    int[] hidden_array_ref = indexes;
    int hidden_length = hidden_array_ref.length;
    for(int hidden_counter = 0; hidden_counter < hidden_length; hidden_counter++) {
        int j = hidden_array_ref[hidden_counter];
        sb.append(array[j] ? '1' : '0');
    }
}

В частности, обратите внимание на int[] hidden_array_ref = indexes; , Это копия, о которой вы спрашиваете.

Компилятор делает это так, чтобы, если вы пишете что-то вроде:

for(int j : indexes) {
    indexes = new int[0];
    sb.append(array[j] ? '1' : '0');
}

присвоение indexes не влияет на цикл.

Не уверен, как это отвечает "почему javac копирует ref в массив в другой локальный var"
@ Jean-FrançoisSavard это ссылка на indexes , которые копируются (в другую скрытую локальную переменную, которую я назвал hidden_array_ref )
Вау, ты. Я думал, что изменение массива внутри цикла - это проблема программиста или вообще не разрешено. Я пытаюсь это сейчас с нормальным для цикла, как это: int[] array = new int[10]; for (int i = 0; i < array.length; i++) {} И копии не были созданы. Таким образом, мы позволили сделать некоторые непредсказуемые манипуляции с массивом в этом цикле?
@saroff: определение просто в том, что если вы используете for(var : expression) , expression вычисляется только один раз. Это может быть другая локальная переменная, как в вашем случае, но подумайте о for(byte b: Files.readAllBytes(pathToMyFile)) ; в этом случае файл читается только один раз в начале цикла, а не на каждой итерации…