Для решения проблемы товарищ по гольфу написал следующий код :
import java.util.*;
public class Main {
public static void main(String[] args) {
int size = 3;
String[] array = new String[size];
Arrays.fill(array, "");
for(int i = 0; i <= 100; ) {
array[i++%size] += i + " ";
}
for(String element: array) {
System.out.println(element);
}
}
}
При выполнении этого кода в Java 8 мы получаем следующий результат:
1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49 52 55 58 61 64 67 70 73 76 79 82 85 88 91 94 97 100
2 5 8 11 14 17 20 23 26 29 32 35 38 41 44 47 50 53 56 59 62 65 68 71 74 77 80 83 86 89 92 95 98 101
3 6 9 12 15 18 21 24 27 30 33 36 39 42 45 48 51 54 57 60 63 66 69 72 75 78 81 84 87 90 93 96 99
При выполнении этого кода в Java 10 мы получаем следующий результат:
2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98
2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100 102
2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100
При использовании Java 10 нумерация полностью отключена. Так что же здесь происходит? Это ошибка в Java 10?
Следите за комментариями:
- Эта проблема возникает при компиляции с Java 9 или более поздней версии (мы нашли ее в Java 10). Компиляция этого кода на Java 8, затем запуск на Java 9 или более поздней версии, включая ранний доступ Java 11, дает ожидаемый результат.
- Этот вид кода не является стандартным, но действителен в соответствии со спецификацией. Он был найден Кевином Круйссеном в ходе дискуссии о гольфе , поэтому возник странный случай использования.
Дидье Л обнаружил, что проблему можно воспроизвести с помощью гораздо меньшего и более понятного кода:
class Main { public static void main(String[] args) { String[] array = { "" }; array[test()] += "a"; } static int test() { System.out.println("evaluated"); return 0; } }
Результат при компиляции в Java 8:
evaluated
Результат при компиляции в Java 9 и 10:
evaluated evaluated
Проблема , как представляется, ограничивается конкатенацией и оператор присваивания (
+=
) с выражением с побочным эффектом (ы) в качестве левого операнда, как и вarray[test()]+="a"
,array[ix++]+="a"
,test()[index]+="a"
, илиtest().field+="a"
. Чтобы включить конкатенацию строк, по крайней мере одна из сторон должна иметь типString
. Попытка воспроизвести это на других типах или конструкциях не удалась.
+=
применением косвенныхString
ссылок. Итак, во-первых, ваш массив должен бытьString[]
. Проблема не возникает сint[]
,long[]
и друзьями. Но да, ты в принципе прав!String[]
. Если это так,Object[]
и вы делаетеarray[expression] += "foo";
, это то же самое. Но да, это не относится к примитивным массивам, так как он должен быть в состоянии хранить ссылки типаString
(Object[]
,CharSequence[]
,Comparable[]
...), чтобы сохранить результат конкатенации.Ответы:
Это ошибка при
javac
запуске из JDK 9 (которая внесла некоторые изменения в отношении конкатенации строк, что, как я подозреваю, является частью проблемы), что было подтвержденоjavac
командой под идентификатором ошибки JDK-8204322 . Если вы посмотрите на соответствующий байт-код для строки:Это:
Где последний
aaload
фактическая загрузка из массива. Тем не менее, частьЧто примерно соответствует выражению
array[i++%size]
(минус фактическая загрузка и сохранение), там дважды. Это неверно, как сказано в спецификации в jls-15.26.2 :Таким образом, для выражения
array[i++%size] += i + " ";
частьarray[i++%size]
должна оцениваться только один раз. Но это оценивается дважды (один раз для загрузки и один раз для магазина).Так что да, это ошибка.
Некоторые обновления:
Ошибка исправлена в JDK 11, и будет обратный порт для JDK 10 (но не JDK 9, поскольку он больше не получает публичные обновления ).
Алексей Шипилев упоминает на странице JBS (и @DidierL в комментариях здесь):
Это вернется к использованию,
StringBuilder
чтобы сделать конкатенацию, и не имеет ошибки.источник
IntStream.range(0, 10) .peek(System.out::println).boxed().toArray()[0] += "";
...test().field += "sth"
.array[index++] += "x";
будем читатьarray[index+1]
и писать вarray[index]
…-XDstringConcat=inline
в качестве обходного пути для тех, кому это нужно.