Поясните код Java?

Question

[Артур Бравер]

Есть следующий код:

int a = 1, b = 2;
b=a + 0*(a=b);
System.out.println(b+" " +a);

В результате значения a и b меняются местами. Не могу понять в какой момент это происходит и почему a и b не становятся равными друг другу?

Answer 1

[Dmitry Roo]

Вот что происходит после компиляции:

//
// Source code recreated from a .class file by IntelliJ IDEA
// (powered by Fernflower decompiler)
//

public class test {
    public test() {
    }

    public static void main(String[] args) {
        byte a = 1;
        byte b = 2;
        byte var10000 = a;
        a = b;
        int b1 = var10000 + 0 * b;
        System.out.println(b1 + " " + a);
    }
}

Как можно заметить, никакой магии здесь нет.

В общем и целом я не рекомендую использовать такую "магию". Гораздо лучше писать понятный и очевидный код.

Answer 2

[bromzh]

Сперва вычисляется выражение справа от присваивания, потом оно записывается в переменную, указанную слева. При этом, так как эти переменные - числа, то они неизменяемы. Т.е. сами значения таких переменных изменить нельзя, можно лишь присвоить им новые. Вычисление выражений использует старое значение идентификатора. Новое значение присвоится только после всех вычислений.
Тут сначала вычислится выражение b (оно будет равно первоначальному значению b, т.е. 2) и его значение сохранится в переменной a (которая вторая по-счёту). Но так как это тоже часть выражения, то в первой a будет ещё старое значение. Оно складывается с результатом выражения 0*(a=b), получается снова старое значение a, которое и присвоится идентификатору b.

Answer 3

[aol-nnov]

надо полагать, это пример undefined behaviour.

страшная магия, которая, будучи примененной в продакшене, испортит здоровый сон разработчику.
компилятор джавы, как показано в одном из ответов, добавил временную переменную, чем и обеспечил такое поведение.
Например, если изобразить этот пример на си (gcc), там такой магии не будет. Опять же, полагаю, другой компилятор может поступить иначе.

Comments

[bromzh]

Нет, оно вполне defined для языков с управляемой памятью где примитивы иммутабельны (и где присваивание возвращает результат). Мне кажется. это сделано сознательно (и в принципе, очень продуманно), во избежании побочных эффектов. В том же питоне при присвоении идентификатору нового значения, у него меняется id (т.е. адрес). В си же, если объявить переменную, её адрес не будет меняться при присвоении других значений. Т.е. в сях при присвоении берётся адрес и по нему записывается новое значение. В яве при присваивании будет выделен новый адрес и идентификатор будет смотреть на него.

[aol-nnov]

bromzh: спасибо за познавательное "окунание в дебри" ;)
ваш ответ, наверное, должен был быть единственным принятым, но, к сожалению, он всего лишь комментарий..