потому что там true нет смысла выполнять дальше если стоит ||

Вопрос почему выполняется справа налево, а не слева направо

$a=5;
if (isset($a) && $a==5)
{
    var_dump($a);
}

Выполняется слева направо и выведет true и в часть isset($a) зайдет.

Вопрос на самом деле не такой простой, как кажется http://phpforum.ru/style_images/1/icon1.gif

А мой пример в левую часть не заходит или заходит, но как-то странно

да что вы голову морочите? Слева на право, справа на лево. Просто проверьте логику и все будет ок
$a = 4 && $a == true
$a = 4 - это true, поскольку присваивание возвращает положительный результат
$a == true - это false, потому что $a равняется 4, а не true
&& - это знак логического И. Срабатывает только когда оба условия равны true

Объясняю для Украины :) :) :)

if (($a = 4 && $a == true) || $a = 5){
    var_dump($a);
}

Я ожидаю, что первой выполнится часть ($a = 4 && $a == true). $a = 4 -- это true, $a == true -- это true (4 == true). Следовательно, левая часть true и в правую не пойдет. $a приняло значение 4, вар_дамп выведет 4. На самом деле вар_дамп вывел 5.
Следующий пример

if (($a = 4 && $b = 10 && $a == true) || $a = 5){
    var_dump($a);
    var_dump($b);
}

показывает, что левая часть не выполнялась либо вообще либо не дошла до выполнения $b=10, т.к. вар_дамп для $b вернул false. Следовательно, для этого примера мной ожидались $a равным 4, $b равным 10, а получилось $a равно 5 и $b как false.

Вопрос к twin. Почему нужны скобки? Что не так с приоритетами?

Потому что скобки приоритетнее. Любое присваивание возвращает true. Вот так у тебя:

if ((true && true && true) || true){
    var_dump($a);
    var_dump($b);
}

И раз условие выполнилось, разбор прекращается.

Если стоят скобки, то нтерпритатор выполняет сначала то, что в скобках, тоесть присваивает значение. И только потом смотрит на получившееся true

хм. Может немного не понимаю. Да, скобки приоритетнее. Да, присваивание возвращает true. Вернемся тогда к этому примеру.

if (($a = 4 && $a == true) || $a = 5){
    var_dump($a);
}

$a = 4 -- true
$a == true -- true
($a = 4 && $a == true) -- true, $a пока еще == 4
Следовательно эта часть выражения уже вернула true и заходить в часть после || смысла нет (|| $a = 5). Так почему же $a становится 5??? Должно ведь остаться 4.

Нет, не так. Присваивание идет в последнюю очередь. Пошагово. Я сам запутался)))

Сначала это (скобки - приоритет):
(true && false)
потому что $a еще не инициализирована, а значит не равна true.
Потом правый блок, там присваивание. Возвращает true.
На этом разбор прекращается.

А если со скобками, то сначала идет присваивание, потом сравнение с true. И тогда получается
(true && true)
и в правый блок мы не идем за ненадобностью. Поэтому остается 4.

На самом деле остается не 4, а 5

Максимально упрощая этот пример, получил такое

if ($a = 4 && $a == 4){
    var_dump($a);
}

внутрь ифа не заходит
Почему?

Если написать как

if (($a = 4) && $a == 4){
    var_dump($a);
}

то зайдет

Ну так потому что присваивание - всегда true. Получили true- достаточно. А само присваивание будет после. Интепретация прекращается по выполнению условий. Поэтому нужно расставить приоритеты. Сначала присвоить (в скобках), потом взять результат.

после чего?
Если после скобок либо ифа, то тогда напишем такую конструкцию:

if ($a = 4 && $a == 4){}
var_dump($a);

Результатом будет фолс
Выполнится $a = 4 (тру), $a == 4 вернет фолс. После этого должно сработать отложенное присваивание, так? Почему же тогда фолс, а не 4 результат?

ок
сл. вопрос :)
почему тогда

if ($a = 4 && true){}
var_dump($a); //true

if ($a = 4 && false){}
var_dump($a); //false

Нигде ведь нет явного присваивания $a ?

Все, я понял. Спасибо за ответ