Как работают Логические выражение?

Question

[Novice23]

int x = 1984;
int y = 2001;
x ^= y ^= x = y;
Console.WriteLine("x = " + x + "; y = " + y);

Как работает данное логическое выражение?

Answer 1

[Дмитрий Еремин]

Вот так вота

Выполните

int x = 1984;
int y = 2001;
string binaryX = Convert.ToString(x, 2);
string binaryY = Convert.ToString(y, 2);
Console.WriteLine("binaryX = " + binaryX + "; binaryY = " + binaryY);
x ^= y ^= x  = y;
Console.WriteLine("x = " + x + "; y = " + y);

binaryX и binaryY - это представления чисел в двоичном коде
Оператор ^ берет два числа делает побитовое исключающее или
Оператор ^= выполняет исключающее или для левого и правого аргумента и записывает результат сразу в левый (как операторы *=, += и т.д.)

Что касается хвоста x = y, то нужно помнить, что оператор = тоже возвращает значение. Для проверки:

int a;
Console.WriteLine(a = 3);

Ну и не забывайте про приоритет выполнения операций

Comments

[Novice23]

Если не ошибаюсь, приоритет у присвоения и x ^= y одинаков. Непонятна последовательность действий. То есть сначала выполняется x = x^ y потом y = y^ y, а дальше??

[Дмитрий Еремин]

наоборот тогда:
x ^= y ^= x = y;

var a = x  = y;
var b = y ^= a; 
var c = x ^= b;

Console.WriteLine("x = " + x + "; y = " + y + "; a = " + a + "; b = " + b + "; c = " + c);

[Дмитрий Еремин]

Novice23, справа налево

Answer 2

[Novice23]

Не совсем понятно.
x ^= y ^= x = y; как это вычисляется??

Answer 3

[cicatrix]

У вас там не опечатка?
Сильно похоже на обмен значениями через XOR, что по коварной задумке автора вопроса (из учебника?), должно было запутанно представлять собой следующее:
x ^= y
y ^= x
x ^= y
После этих трёх операций x и y обменяются значениями

Comments

[Novice23]

Опечатки нет. Оно отрабатывает с результатами x=1984 y=0, только не понятна последовательность операций. Да из теста.

[cicatrix]

Novice23, Так я про опечатку в тесте и говорил.
Вам надо ознакомиться с понятиями правая и левая ассоциативность. В C# она всегда левая, кроме оператора присваивания (подробнее здесь).
У нас три операции присваивания, все вычисляются справа налево, ваше выражение можно переписать так:
x = x ^ ( y = y ^ ( x = y ) )

[Novice23]

cicatrix, Спасибо!

[cicatrix]

Novice23, При втором взгляде на ваш пример, понял, что в нём примечательного и неясного (и почему не стоит так писать код никогда):
Вот пример:
x = x ^ ( y = y ^ ( x = y ) )

Если выполнять его по действиям, раскрывая скобки, можно здорово ошибиться:
x = y ; // x = 2001, y = 2001
y = y ^ x = 2001 ^ 2001 = 0; // x = 2001, y = 0
Третье действие - вопрос, что мы должны подставить в последнее (самое левое выражение, вместо х)?
Казалось бы, у нас значение х на последнем этапе стало 2001, и выражение выглядело бы как
x = 2001 ^ 0 = 2001, однако результатом будет 1984 это не так, потому что при вычислении выражения, компилятор уже запомнил значение 1984 для самого левого х, поэтому финальное вычисление значения х выглядит так:
x = 1984 ^ (2001 ^ 2001), (при этом значение y уже стало равно 0).

Это нифига не очевидно и чревато сложноуловимыми ошибками. Вот поэтому никогда никогда никогда так не надо писать код.

[Novice23]

cicatrix, Вот теперь все стало на свои места. Еще раз спасибо за детальное пояснение!

Answer 4

[freeExec]

Задачка с подвохом. Если разложить, то получиться:

int x1 = y;
y = y ^ y;
x = x ^ y;

Как результат Y всегда 0, а X остаётся прежнем.

Comments

[Novice23]

Не могли бы вы объяснить почему именно так раскладывается. Судя по VisualStudio результат верный.

[freeExec]

Novice23, потому что он сначала берёт Х, а потом рассчитывает второй аргумент.