Странное выражение, два =

[dream555]

Всем привет!

Тут ковырял чужой код и обратил внимание на следующее:

Thread.CurrentPrincipal = HttpContext.Current.User = principal;

Меня объекты не интересуют. Как понимать два знака равно?

[Alex11223]

Верно замечено, что "=" это выражение (expression), а не инструкция (statement).

И как и все выражения оно что-то возвращает...

int a = 42;
Console.WriteLine((a = 43));

[Вадим Мошев]

В JS оператор "=" присваивает правой части значение левой части (описка: наоборот, конечно же) (в случае элементарных типов) и возвращает значение левой части. Этот оператор правоассоциативен, то есть, выполняется справа налево, то есть, если таких операторов несколько, выполнение будет происходить начиная с самого правого.
В выражении

Thread.CurrentPrincipal = HttpContext.Current.User = principal;

сначала будет выполнено

HttpContext.Current.User = principal

, затем

Thread.CurrentPrincipal = HttpContext.Current.User

, что в итоге приведёт к тому, что значение principal будут иметь как HttpContext.Current.User, так и Thread.CurrentPrincipal

[Alex11223]

Сообщение от Вадим Мошев

присваивает правой части значение левой части

да ну?
42 = a?

Сообщение от Вадим Мошев

в случае элементарных типов

да причем тут типы?

a = (b * 2);
a = b++;
a = ++b;
a = f(f2(b));
не вызывает же вопросов, вот и с выражением = так же.

И да, в JS кстати может показаться, что

var a = b = 42;

эквивалентно

var a = 42;
var b = 42;

но на самом деле нет.

[dream555]

Сообщение от Вадим Мошев

в итоге приведёт к тому, что значение principal будут иметь как HttpContext.Current.User, так и Thread.CurrentPrincipal

Спасибо!

[Вадим Мошев]

Сообщение от Alex11223

42 = a?

А так разве можно делать? Я вообще-то подразумевал, что слева должна стоять переменная.

Сообщение от Alex11223

да причем тут типы?

Я имел в виду, что если речь идёт об объектах, то присваивается не значение, а ссылка, так как передача объектов происходит по ссылке, а не по значению.

Сообщение от Alex11223

И да, в JS кстати может показаться, что

var a = b = 42;

эквивалентно

var a = 42;
var b = 42;

но на самом деле нет.

Только что выполнил в консоли

var a = b = 42;

и все переменные приняли значение 42.
Я понимаю, согласно тому, как работает оператор присваивания, это будет эквивалентно

var a = 42;
var b = a;

Что в конечном итоге приведёт к тому, что все переменные будут иметь значение 42.

[Alex11223]

Сообщение от Вадим Мошев

А так разве можно делать?

ну так я и говорю, что не левая правой.

Сообщение от Вадим Мошев

и все переменные приняли значение 42.

разница в var/области видимости.

Инструкция (statement) создания переменной с var выглядит примерно так:
"var" IDENTIFIER ["=" expression]
поэтому второму var неоткуда взяться (в expression'ах его нет).

В C#, С++ и т.п. такой проблемы естественно нет потому что там нельзя случайно создать переменную так.

[Вадим Мошев]

Сообщение от Alex11223

ну так я и говорю, что не левая правой.

Я просто опечатался. Перепутал "лево" и "право" местами.

Сообщение от Alex11223

Инструкция (statement) создания переменной с var примерно так:
"var" IDENTIFIER ["=" expression]
поэтому второму var неоткуда взяться (в expression'ах его нет).

В expression'ах var и не может находиться.
Тем не менее, согласно тому, как работает в консоли выражение

var a = b = 42;

, переменные a и b корректно объявляются и инициализируются значением 42

[Alex11223]

(function() {
    var a = b = 42;
})();
console.log(b);
console.log(a);

Сообщение от Вадим Мошев

В expression'ах var и не может находиться.

я имел в виду описание грамматики языка (BNF и т.п.)

expression = 
    IDENTIFIER |
    expression "*" expression |
    expression "+" expression |
    IDENTIFIER "=" expression |
    ...

И то, что инструкции объявления переменной пофиг что там за выражение справа, оно не ищет там переменные.

[Вадим Мошев]

Я вообще подразумевал, что операции происходят в одной области видимости. Я считаю, что неявного объявления переменных (как здесь произошло) следует избегать, так как это приведёт к созданию глобальных переменных или затиранию существующего в данной области видимости значения этой переменной.

Да, про эквивалентность я был не прав. В данном случае, переменная a будет локальной для функции, и за её пределами будет не видна. Для определения переменной b не было инструкции var, это и есть неявное определение переменной. Такая переменная, как я говорил, будет определена глобально.