Приоритет выполнения операндов и операторов. Почему так происходит?

Question

[mikitachyzhyk]

При выполнение данного кода, первым выводится сообщение 1, затем 2, а 3 вообще не выводится.

alert(1) || alert(2) && alert(3)

Например в данном случае будет выводиться 1, 2, затем 3. Т.е. не смотря на приоритет операторов, сначала выполняются вычисления над операндами слева направо, затем уже идут вычисления.

function myalert(value) {
	alert(value);
	return value;
}

myalert(1) + myalert(2) * myalert(3)

В первом случае же так не происходит, почему?

Answer 1

[Сергей Соколов]

Разница в примерах – в возвращаемом значении:

• alert(value) возвращает undefined
  
• myalert(value) возвращает value
  

Выражение A || B && C разбирается как A || (B && C)

Сначала оценивается A. Если оно приводится к false, требуется проверить второй аргумент ||, т.е. (B && C)
Сначала проверяется B. Если оно приводится к false, то проверять C уже не нужно.

Comments

[mikitachyzhyk]

А причем здесь, что они возвращают? Я разве об этом?
Функция myalert() в данном случае, просто для того, чтобы смогли произойти вычисления. Можно и так:
alert(1) + alert(2) * alert(3)

Попробую попонятнее:
Почему во втором случае вычисляется myalert(1), затем myalert(2), затем myalert(3), затем *, а затем +,
а в первом alert(1), alert(2), затем &&, а потом ||, а до alert(3) не доходит?

[Сергей Соколов]

kitcarver, c myalert() работает только ассоциативность и приоритет арифметических операторов. А вот логические операторы движок JS «оптимизирует».

Простой пример: A && B
Чтобы вычислить, чему это выражение будет равно, true или false, JS не всегда требуется оценить оба выражения. Сначала он проверяет A. И если оказывается, что A == false, то проверять B уже никому не нужно! Ведь && даёт true в единственном случае, когда оба аргумента true.

В вашем коде именно это и происходит. В части alert(2) && alert(3) движок JS проверяет, чему равно alert(2) Выполняет его - вы видите диалог. Но возвращает этот вызов пустоту, undefined. Которая всё равно, что false. Раз такое дело, второй операнд, после && уже проверять не требуется. Поэтому alert(3) и не вызывается.

[Сергей Соколов]

Вероятно, вы не заметили, что alert(2) – это такой же вызов некой функции, как и любой другой, как myalert(3)

Можно написать иначе:

var A = alert(1);
var B = alert(2);
var C = alert(3);
// так все три алерта выполнятся
// а результаты их выполнения попадут в переменные

A || B && C;

A === undefined; // true

[mikitachyzhyk]

А вот логические операторы движок JS «оптимизирует».

- вот он ответ на мой вопрос, спасибо)

Т.е. я так понимаю интерпретатор в обычном случае, сначала идет слева направо от операнда к оператору, но выполняет вычисления с операторами после, а в случае с && он здесь и останавливается, т.к. первый операнд по сути false?

И еще к вам вопрос. Вы пишите:

c myalert() работает только ассоциативность и приоритет арифметических операторов

В каком месте здесь работает ассоциативность, мне казалось это про операторы с одинаковым приоритетом?

[Сергей Соколов]

kitcarver, всё правильно поняли:

в случае с && он здесь и останавливается, т.к. первый операнд по сути false

Про ассоциативность я зря, она не при чём. Вы правы:

это про операторы с одинаковым приоритетом

Answer 2

[Антон Спирин]

Алгоритм:
1. Вызываем первый alert
2. Получаем undefined
3. Вызываем второй операнд в II
4. Получаем undefined и поэтому возвращаем его не проверяя второй операнд в &&

undefined || undefined && 'до этого места проверка не доходит'

undefined || 'что угодно' // 'что угодно'
undefined && 'что угодно' // undefined

Помимо undefined, подобное справедливо для всего, что кастуется в false.