PHP поддерживает стандартные логические операторы AND и && , OR и || , ! (не) и XOR . Логические операторы позволяют сравнивать результаты работы двух операндов (значения или выражения) с целью определения факта возвращения одним из них или обоими значения true или false и выбора соответствующего продолжения выполнения сценария в зависимости от возвращенного значения. Как и операторы сравнения, логические операторы возвращают одно логическое значение - true либо false , в зависимости от значений находящихся по обе стороны от оператора.
Логическое ИЛИ (OR и ||)
Оператор логическое ИЛИ обозначается как OR или || . Он выполняет операцию «логическое ИЛИ» над двумя операндами. Если один или оба операнда имеют истинное значение, он возвращает true . Если оба операнда имеют ложные значения, он возвращает false . У вас вероятно возник вопрос, зачем же сделали два варианта одного оператора? Смысл двух разных вариантов оператора «логическое ИЛИ» в том, что они работают с различными приоритетами.
Сначала разберем как работает оператор || . И так, если один или оба его операнда имеют истинное значение, он возвращает true . Если оба операнда возвращают ложные значения, он вернет false .
Оператор OR работает также как и оператор || за одним исключением, если оператор OR используется с присваиванием, то сначала он вычислит и вернет значение левого операнда, в остальном он работает точно также как и оператор || , т.е. если один или оба его операнда имеют истинное значение, он возвращает true . Если оба операнда возвращают ложные значения, он вернёт false .
Чтобы стало понятнее, как они работают, приведем следующий пример:
1
// Сначала переменной присваивается значение false, а затем вычисляется второй операнд
// Действие приоритета: ($var2 = false) or true
$var2 = false or true;
echo $var2; // false не выводится
// ($var3 = 0) or 3
$var3 = 0 or 3;
echo "
$var3"; // => 0
?>
Любые операторы сравнения и логические можно комбинировать в более сложные конструкции:
Стоит упомянуть еще об одном важном моменте, касательно обоих операторов OR и || . Оператор «логическое ИЛИ» начинает свои вычисления со своего левого операнда, если он возвращает true , то правый операнд вычисляться не будет. Это позволяет экономить время исполнения, но нужно внимательно следить за тем, чтобы код, от которого может зависеть корректная работа программы, не был помещен в правый операнд.
Логическое И (AND и &&)
Оператор логическое И обозначается как AND или && . Он выполняет операцию «логическое И» над двумя операндами. Он возвращает true тогда и только тогда, когда оба операнда имеют значение true . Если один или оба операнда возвращают значение false , оператор возвращает false . Смысл двух разных вариантов записи оператора «логическое И» такой же как и у двух предыдущих операторов, а именно в том, что они работают с различными приоритетами.
Сначала разберем как работает оператор && . И так, если оба его операнда имеют истинное значение, он возвращает true . Если хотя бы один или оба его операнда возвращают значение false , он тоже вернет false .
Оператор AND работает также как и оператор && за одним исключением, если оператор AND используется с присваиванием, то сначала он вычислит и вернёт значение левого операнда, в остальном он работает точно также как и оператор && . Если хотя бы один из его операндов возвращает значение false , он тоже вернет false , также если оба операнда возвращают ложные значения, он возвращает false .
Для понимания рассмотрим теперь, как это работает на практике:
$bar3"; // => 9 ?>
Исключающее ИЛИ (XOR)
Оператор исключающее ИЛИ обозначается как XOR . Он возвращает значение true , если один и только один из операндов имеет значение true . Если оба операнда имеют значение true , оператор вернет значение false .
Так как приоритет оператора XOR такой же как и у операторов AND и OR (ниже чем у оператора присваивания), и он используется в выражении с присваиванием, то сначала он вычисляет и возвращает значение левого операнда.
6 $a1 = 19 xor 5 > 6; var_dump($a1); // => 19 var_dump(true xor true); // false var_dump((2 < 3) xor (5 != 5)); // true ?>
Логическое НЕ (!)
Оператор логическое НЕ , его также называют отрицание обозначается знаком! . Он является унарным оператором, помещаемым перед одиночным операндом. Оператор «логическое НЕ» используется для инверсии логического значения своего операнда и всегда возвращает true или false .
Если потребуется инвертировать значение выражения, например a && b , необходимо будет использовать круглые скобки: !(a && b) . Также с помощью оператора! можно преобразовать любое значение x в его логический эквивалент, дважды применив оператор: !!x .
Последнее обновление: 1.11.2015
В PHP мы можем использовать различные операторы: арифметические, логические и т.д. Рассмотрим каждый тип операций.
Арифметические операции
+ (операция сложения)
Например, $a + 5
- (операция вычитания)
Например, $a - 5
* (умножение)
Например, $a * 5
/ (деление)
Например, $a / 5
% (получение остатка от деления)
Например: $a=12; echo $a % 5; // равно 2
++ (инкремент/ увеличение значения на единицу)
Например, ++$a
Важно понимать разницу между выражениями ++$a и $a++ . Например:
$a=12; $b=++$a; // $b равно 13 echo $b;
Здесь сначала к значению переменной $a прибавляется единица, а затем ее значение приравнивается переменной $b. Иначе было бы, если бы выражение выглядело так: $b=$a++; . Здесь сначала значение переменной $a приравнивалось переменной $b, а затем происходило увеличение значения переменной $a.
-- (декремент/ уменьшение значения на единицу)
Например, --$a . И также, как и в случае с инкрементом, существуют два вида записи: --$a и $a--
Операции присваивания
Приравнивает переменной определенное значение: $a = 5
Сложение с последующим присвоением результата. Например: $a=12; $a += 5; echo $a; // равно 17
Вычитание с последующим присвоением результата. Например: $a=12; $a -= 5; echo $a; // равно 7
Умножение с последующим присвоением результата: $a=12; $a *= 5; echo $a; // равно 60
Деление с последующим присвоением результата: $a=12; $a /= 5; echo $a; // равно 2.4
Объединение строк с присвоением результата. Применяется к двум строкам. Если же переменные хранят не строки, а, к примеру, числа, то их значения преобразуются в строки и затем проводится операция: $a=12; $a .= 5; echo $a; // равно 125 // идентично $b="12"; $b .="5"; // равно 125
Получение остатка от деления с последующим присвоением результата: $a=12; $a %= 5; echo $a; // равно 2
Операции сравнения
Операции сравнения, как правило, применяются в условных конструкциях, когда надо сравнивать два значения, и в зависимости от результата сравнения выполнить некоторые действия. Имеются следующие операции сравнения.
Оператор равенства сравнивает два значения, и если они равны, возвращает true, иначе возвращает false: $a == 5
Оператор тождественности также сравнивает два значения, и если они равны, возвращает true, иначе возвращает false: $a === 5
Сравнивает два значения, и если они не равны, возвращает true, иначе возвращает false: $a != 5
Сравнивает два значения, и если они не равны, возвращает true, иначе возвращает false: $a !== 5
Сравнивает два значения, и если первое больше второго, то возвращает true, иначе возвращает false: $a > 5
Сравнивает два значения, и если первое меньше второго, то возвращает true, иначе возвращает false: $a < 5
Сравнивает два значения, и если первое больше или равно второму, то возвращает true, иначе возвращает false: $a >= 5
Сравнивает два значения, и если первое меньше или равно второму, то возвращает true, иначе возвращает false: $a <= 5
Оператор равенства и тождественности
Оба оператора сравнивают два выражения и возвращают true, если выражения равны. Но между ними есть различия. Если в операции равенства принимают два значения разных типов, то они приводятся к одному - тому, который интерпретатор найдет оптимальным. Например:
Очевидно, что переменные хранят разные значения разных типов. Но при сравнении они будут приводится к одному типу - числовому. И переменная $a будет приведена к числу 22. И в итоге обе переменных окажутся равны.
Или, например, следующие переменные также будут равны:
$a = false; $b = 0;
Чтобы избежать подобных ситуаций используется операция эквивалентности, которая учитывает не только значение, но и тип переменной:
$a = "22a"; $b = 22; if($a===$b) echo "равны"; else echo "не равны";
Теперь переменные будут не равны.
Аналогично работают операторы неравенства!= и!== .
Логические операции
Логические операции обычно применяются для объединения результатов двух операций сравнения. Например, нам надо выполнить определенное действие, если истинны будут несколько условий. Имеются следующие логические операции:
Возвращает true, если обе операции сравнения возвращают true, иначе возвращает false: $a == 5 && $b = 6
Аналогично операции && : $a == 5 and $b > 6
Возвращает true, если хотя бы одна операция сравнения возвращают true, иначе возвращает false: $a == 5 || $b = 6
Аналогично операции || : $a < 5 or $b > 6
Возвращает true, если операция сравнения возвращает false: !($a >= 5)
Возвращает true, если только одно из значений равно true. Если оба равны true или ни одно из них не равно true, возвращает false. Например: $a=12; $b=6; if($a xor $b) echo "true"; else echo "false";
Здесь результат логической операции будет false , так как обе переменных имеют определенное значение. Изменим код:
$a=12; $b=NULL; if($a xor $b) echo "true"; else echo "false";
Здесь уже результат будет true , так как значение одной переменной не установлено. Если переменная имеет значение NULL, то в логических операциях ее значение будет рассматриваться как false
Битовые операции
Битовые операции производятся над отдельными битами числа. Числа рассматриваются в двоичном представлении, например, 2 в двоичном представлении 010, число 7 - 111.
& (логическое умножение)
Умножение производится поразрядно, и если у обоих операндов значения разрядов равно 1, то операция возвращает 1, иначе возвращается число 0. Например: $a1 = 4; //100 $b1 = 5; //101 echo $a1 & $b1; // равно 4
Здесь число 4 в двоичной системе равно 100, а число 5 равно 101. Поразрядно умножим числа и получим (1*1, 0*0, 0 *1) = 100, то есть число 4 в десятичном формате.
| (логическое сложение)
Похоже на логическое умножение, операция также производится по двоичным разрядам, но теперь возвращается единица, если хотя бы у одного числа в данном разряде имеется единица. Например: $a1 = 4; //100 $b1 = 5; //101 echo $a1 | $b1; // равно 5
~ (логическое отрицание)
инвертирует все разряды: если значение разряда равно 1, то оно становится равным нулю, и наоборот. $b = 5; echo ~$b;
x< x>>y - сдвигает число x вправо на y разрядов. Например, 16>>1 сдвигает число 16 (которое в двоичном представлении 10000) на один разряд вправо, то есть в итоге получается 1000 или число 8 в десятичном представлении
Объединение строк
Для объединения строк используется оператор "точка". Например, соединим несколько строк:
$a="Привет, "; $b=" мир"; echo $a . $b . "!";
Если переменные представляют не строки, а другие типы, например, числа, то их значения преобразуются в строки и затем также происходит операция объединения строк.
На уроке будут рассмотрены условные операторы php: оператор if и оператор переключения switch
Условные операторы php представлены тремя основными конструкциями:
- оператор условия if ,
- оператор переключения switch
- и тернарный оператор .
Рассмотрим подробнее каждый из них.
PHP оператор if
Рис 3.1. Условный оператор IF, укороченный вариант
Рис. 3.2. Синтаксис условного оператора IF ELSE
Рис. 3.3. Полный синтаксис условного оператора IF elseif
Подытожим:
Полный синтаксис:
if (условие) { // если условие истинно operator1; operator2; } elseif(условие) { operator1; ... } else { // если условие ложно operator1; operator2; }
- Укороченный синтаксис может не содержать части конструкции с else и не содержать дополнительного условия elseif
- Вместо служебного слова elseif можно писать else if (отдельно)
- В одной конструкции if может быть несколько elseif . Будет выполнено первое встретившееся выражение elseif равное TRUE .
- В случае наличия альтернативного условия elseif конструкция else должна идти последней в синтаксисе.
В условном операторе может использоваться двоеточие: вместо фигурных скобок. В таком случае заканчивается оператор служебным словом endif
Рис. 3.4. Условный оператор If и Endif в php
Пример:
if($x > $y): echo $x." больше, чем ".$y; elseif($x == $y): // при использовании ":" нельзя писать раздельно else if echo $x." равно ".$y; else: echo $x." не > и не = ".$y; endif;
Важно: При использовании в конструкции двоеточия вместо фигурных скобок elseif нельзя писать в два слова!
Логические операции в условии
В условии if в скобках могут присутствовать следующие операции:
Пример: проверить значение числовой переменной: если оно меньше либо равно 10, — выдавать сообщение «число меньше или равно 10» , в обратном случае выдавать сообщение «число больше 10»
Решение:
$number=15; if ($number <=10) { echo "число меньше или равно 10"; } else { echo "число больше 10"; }
Блоки php кода можно разрывать, рассмотрим пример:
Пример: Выводить на экран html-код «а равно 4» , если переменная $a действительно равна 4
1 Решение:
| 1 2 3 4 |
2 Решение:
| 1 2 3 | A равно 4 |
A равно 4
Задание php 3_1: Выводить перевод цветов с английского языка на русский, проверяя значение переменной (в которой присвоен цвет: $a="blue")
Задание php 3_2: Найти максимальное из трех чисел
Операции сравнения и правило лжи
В конструкции if в скобках должно находиться логическое выражение или переменная, которые рассматриваются с точки зрения алгебры логики, возвращающая значения либо true либо false
Т.е. в качестве условия может выступать единственная переменная. Рассмотрим пример:
| 1 2 3 4 | $a = 1 ; if ($a ) { echo $a ; } |
$a=1; if ($a) { echo $a; }
В примере транслятор языка php будет рассматривать переменную в скобках на правило лжи:
Правило ЛЖИ или что считается ложным:
- логическое False
- целый ноль (0 )
- действительный ноль (0.0 )
- пустая строка и строка «0»
- массив без элементов
- объект без переменных
- специальный тип NULL
Таким образом, в рассмотренном примере переменная $a равна единице, соответственно условие будет истинным и оператор echo $a; выведет на экран значение переменной.
Задание php 3_3: дана переменная а со строковым значением. Если а равна имени, то выводить «Привет, имя!» , если а равна пустому значению, то выводить «Привет, незнакомец!»
Логические конструкции И ИЛИ и НЕ в условном операторе
- Иногда необходимо предусмотреть выполнение одновременно нескольких условий. Тогда условия соединяются логическим оператором И — && :
- Для указания ложности условия используется логический оператор НЕ — ! :
$a=1; if ($a>0 || $a>1) { echo "a > 0 или a > 1"; }
| 1 2 3 4 | $a = 1 ; if (! ($a < 0 ) ) { echo "a не < 0" ; } |
$a=1; if (!($a<0)) { echo "a не < 0"; }
Оператор Switch PHP
Оператор switch или «переключатель» заменяет несколько подряд идущих конструкций if . При этом он сравнивает одну переменную с множеством значений. Таким образом, это наиболее удобное средство для организации мультиветвления .
Синтаксис:
1 2 3 4 5 6 7 8 9 10 switch ($переменная ) { case "значение1" : оператор1 ; break ; case "значение2" : оператор2 ; break ; case "значение3" : оператор3 ; break ; [ default : оператор4 ; break ; ] } switch($переменная){ case "значение1": оператор1; break; case "значение2": оператор2; break; case "значение3": оператор3; break; }
- Оператор может проверять как строковые значения (тогда они указываются в кавычках), так и числовые (без кавычек).
- Оператор break в конструкции обязателен. Он осуществляет выход из конструкции при истинном условии и выполнении соответствующего условию оператора. Без break будут выполняться операторы всех case независимо от их истинности.
Рис. 3.5. Условный оператор Switch
Пример: задан массив с полными мужскими именами. Проверять первый элемент массива и в зависимости от имени, выдавать приветствие с коротким именем.
Решение:
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | $names = array ("Иван" , "Петр" , "Семен" ) ; switch ($names [ 0 ] ) { case "Петр" : echo "Привет, Петя!" ; break ; case "Иван" : echo "Привет, Ваня!" ; break ; case "Семен" : echo "Привет, Ваня!" ; break ; default : echo "Привет, $names !" ; break ; } |
$names=array("Иван","Петр","Семен"); switch($names){ case "Петр": echo "Привет, Петя!"; break; case "Иван": echo "Привет, Ваня!"; break; case "Семен": echo "Привет, Ваня!"; break; default: echo "Привет, $names!"; break; }
Задание php 3_4:
- Создайте переменную $day и присвойте ей произвольное числовое значение
- С помощью конструкции switch выведите фразу «Это рабочий день» , если значение переменной $day попадает в диапазон чисел от 1 до 5 (включительно)
- Выведите фразу «Это выходной день» , если значение переменной $day равно числам 6 или 7
- Выведите фразу «Неизвестный день» , если значение переменной $day не попадает в диапазон чисел от 1 до 7(включительно)
Дополните код:
| 1 2 3 4 5 6 7 8 9 10 11 12 | ... switch (... ) { case 1 : case 2 : ... echo "Это рабочий день" ; break ; case 6 : ... default : ... } |
Switch(...){ case 1: case 2: ... echo "Это рабочий день"; break; case 6: ... default: ... }
Тернарный оператор PHP
Тернарный оператор , т.е. с тремя операндами, имеет достаточно простой синтаксис, в котором слева от знака? записывается условие, а справа — два оператора разделенные знаком: , слева от знака выполняется оператор при истинности условия, а справа от знака: выполняется оператор при ложном условии.
условие? оператор1 : оператор2 ;
PHP поддерживает следующие стандартные логические операторы : "AND" и "&&" (логическое И), "OR" и "||" (логическое ИЛИ), "!" (логическое НЕ) и "XOR" (исключающее ИЛИ). Все они используются в логических выражениях для определения того или иного хода выполнения программы в зависимости от возвращаемого выражением результата и относятся к бинарным операторам, за исключением оператора "!" , который является унарным. При использовании логических операторов их операнды преобразуются к булевому типу данных (), а результат зависит от приведенных логических значений операндов и вида логического оператора (см. таблицу №1).
Таблица №1. Логические операторы
Разница между операторами "AND" и "&&" , а также "OR" и "||" заключается в том, что операторы "AND" , "OR" и "XOR" имеют более низкий приоритет, который даже ниже, чем у операторов присваивания (см. таблицу операторов PHP ).
Важно понимать, как интерпретатор обрабатывает логические выражения. Если в выражении с оператором "||" первый (левый) операнд будет иметь значение true или в выражении с оператором "&&" первый операнд будет иметь значение false , то второй (правый) операнд уже вычисляться не будет. Это связано с тем, что конечный результат в таких случаях уже не изменится (см. таблицу №1), а следовательно отпадает и необходимость тратить время на обработку кода второго операнда. Однако при этом нужно быть внимательным и не помещать в правый операнд код, от которого может зависеть правильная работа программы.
Использование логических операторов показано в примере №2.
false $a=0||false; //Теперь $a==true, т.к. 5->true и 8->true $a=5&&8; //Теперь $a==false, т.к. "0"->false $a="0"&&8; //Теперь $a==true $a=!false; //Теперь $a==false, т.к. 5->true $a=!5; /* Функция foo() не будет вызываться из-за шунтов */ $a=(false&&foo()); $b=(true||foo()); $c=(false and foo()); $d=(true or foo()); /* Отличие "||" от "or" и "&&" от "and" */ //Действует как ($a=(false||true)) $a=false||true; //Действует как (($a=false) or true) $a=false or true; //Действует как ($a=(false&&true)) $a=false&&true; //Действует как (($a=false) and true) $a=false and true; //Теперь $a==5, действует как (($a=5) xor 0) $a=5 xor 0; //Теперь $a==5, действует как (($a=5) and 0) $a=5 and 0; //Теперь $a==5, действует как (($a=5) or 0) $a=5 or 0; //Теперь $a==true, действует как ($a=(5||0)) $a=5||0; //Теперь $a==false, действует как ($a=(5&&0)) $a=5&&0; //Теперь $a==true, действует как ($a=(5 xor 6)) $a=(5 xor 6); ?>
Пример №2. Использование логических операторов
>> I have read a few of these responses and quite honestly didn"t find one that explained the differences between the "||" and "OR" operators.
The difference is explained in the link to on operator precedence.
The "||" operators are evaluated before assignment ("="), whereas the "or" operators are evaluated after the assignment. In your second example you are telling PHP to first assign the result of "(choice1 != false ? "hah" : "boo")" to $val, then "or" it against the rest of the statement. Try the example below and you will see what I mean (note the extra brackets to enforce precedence):
define
("choice1"
,
false
);
define
("choice2"
,
"dog"
);
define
("default1"
,
"other"
);
$val
= array();
$val
[
"Test 1"
] = (choice1
!=
false
?
"hah"
:
"boo"
) || (choice2
!=
false
?
"hah2"
:
"boo2"
) || (default1
!=
false
?
"hah3"
:
"boo3"
);
$val
[
"Test 1b"
] = ((choice1
!=
false
?
"hah"
:
"boo"
) || (choice2
!=
false
?
"hah2"
:
"boo2"
) || (default1
!=
false
?
"hah3"
:
"boo3"
));
$val
[
"Test 2"
] = (choice1
!=
false
?
"hah"
:
"boo"
) or (choice2
!=
false
?
"hah2"
:
"boo2"
) or (default1
!=
false
?
"hah3"
:
"boo3"
);
$val
[
"Test 2b"
] = ((choice1
!=
false
?
"hah"
:
"boo"
) or (choice2
!=
false
?
"hah2"
:
"boo2"
) or (default1
!=
false
?
"hah3"
:
"boo3"
));
Foreach ($val
as
$test
=>
$result
) {
print ("$test: "
);
var_dump
($result
); print
"
\n
\n"
;
}
?>
test at hto dot com
Because the OR shorthand for an if block can produce more
readable code with less typing, it is tempting to produce functions that will return FALSE on failure or some other data type on success. Like mysql_connect, which "Returns a MySQL link identifier on success, or FALSE on failure."
The novice php php developer should avoid creating functions which might produce a FALSE on failure and an integer on success, if there is any chance that the integer might be zero.
blah blah blah
;
$i
=
give_me_liberty
() or die("FATAL DB ERROR!"
);
blah blah blah
;
?>
ironmo67 at yahoo dot com
Discovered a somewhat annoying different between PHP and Perl:
if (!
some_function
()) return
false
;
?>
cannot be rewritten as the prettier:
function
some_function
(){ return
false
; }
some_function
() or return
false
;
?>
The following will work however:
function
some_function
(){ return
false
; }
some_function
() or die();
?>
Can you guess why? Simply, die() is a function and "return" is a statement (like the difference between print() and echo, sort of). This is really to bad because I find the if(!){} version tired and unreadable, but hey, it"s better than if (some_c_function == 0) { do something }.
A lot of the discussion below could have been avoided simply by being clear that &, | and ^ are *not* logical operators. That"s why they"re not listed on this page. They"re operators that act on the binary representations of numbers. They do not take logical values (i.e., "true" or "false") as arguments without first converting them to the numbers 1 and 0 respectively. Nor do they return logical values, but numbers. Sure, you can later treat those numbers as though they were logical values (in which case 0 is cast to "false" and anything else is cast to "true"), but that"s a consequence of PHP"s type casting rules, and nothing to do with the behaviour of the operators.
If you want logical operations, use logical operators; if you want bitwise operations, use bitwise operators ... using one for the other seems like a good way to make things difficult.
kws_ at hotpop dot com
"Just Because You Can, Doesn"t Mean You Should."
I also feel that circumventing short-circuit evaluation and relying on side-effects in conditional expressions is exercising bad style. Writing code that documents itself using clear and straightforward constructs strikes me as a much better practice than using a convoluted and difficult-to-read expression and explaining it with comments (or worse yet, not documenting it at all!) Indeed, source code should be written for the programmer"s eyes more so than the computer"s.
Utilizing the bitwise operators in a logical context could violates the expectations of the reader and may create confusion because bitwise operators imply bit-field operands.
I also feel that assuming that short-circuit evaluation is best for logical constructs IS within the compiler"s "rights", since when logical operators are used for their intended purpose, the assumptions that short-circuiting makes *ARE* logical, and do (once again, when used correctly) optimize evaluation of logical expressions.
It is not my intention to directly flame or insult any individual, but only to discourage the use of poor style and to encourage new (and even some experienced) programmers to write clear and verbose code, and to think about the programmers, rather than the computers that might end up trying to decipher your creations.
In answer to braintreno:
The second example you brought is the correct way to do it! It is not convoluted logic at all, it is what makes your code readable by not relying on obscure side effects!! It is much easier to read than the first one and it is by far easier to maintain.
For the idea to let a CheckThisOrOther() funtion echo information to the user alone, you should be stripped of your coding licence. If i ever had to maintain on of your scripts, I"d have to hate you.
This is not meant as flame bating as it might sound! Source code is not written for computers to execute, but for coders to read! Keep that at heart and your co-workers will thank you for it!
braintrino
Shadedecho"s post to force evaluation of both OR expression is actually exactly what should be done to suppress short-circuit optimization.
There are many occasions that you don"t want the compiler to short-circuit any evaluation, especially when you want to do an and/or situation. The short-circuit evaluation does an OR operation but not an AND/OR operation!!!
For instance, if I want the check the user"s query form to see if the user has missed answering any entry AND/OR if the user had duplicated the same answer for more than one entry, then I need to send the form back to the client informing what I want to be corrected.
Function SomeAnswersAreMissing()
{
...
echo "Oops! You missed answering some questions.";
return TRUE;
}
Function SomeAnswersAreDuplicated()
{
...
echo "Oops! You can answer both the same way.";
return TRUE;
}
If (SomeAnswersAreMissing() || SomeAnswersAreDuplicated())
SendFormAgain();
If I do that, the user will only see the missing answer warning but not the duplicated answer warning, even if both are true. This is not informative to the user because he/she will have to re-submit the form twice before he/she realized everything he/she did wrong, and frustrate the hack out of them. That is not user-friendly.
If (SomeAnswersAreMissing() | SomeAnswersAreDuplicated())
SendFormAgain();
Then both warning messages are sent at the same time, and the user can correct it in one re-send.
Thank shadedecho, I had been looking for a way to override the compiler"s stupid short-circuit optimization. The computer cannot just assume that short-circuiting is the best:(
BTW, of course you can do:
$you_made_a_mistake = false;
If (SomeAnswersAreMissing())
if (SomeAnswersAreDuplicated())
$you_made_a_mistake = true;
If ($you_made_a_mistake)
SendFormAgain();
But that is convoluted logic!!!
hop
Dear Newbie,
(as i don"t see such ideas creeping up in experienced programmers" minds...)
Please don"t pay attantion to shadedecho"s post from 14-Mar-2003 04:02! He is heavily relying on obscure side effects, which is not only very bad programming practice, but also does not achieve the optimization he thinks it is.
The proper way to make this
echo $a;
}
Work like shadedecho wants is (although the example as a whole is rather inapt):
$a .= blah();
$a .= blah2();
If ($a) { echo $a; }
If you read the discussion he links to you will find that he really wanted to get all distinct entries from two different db tables. Even there he is mistaken. The proper way to do this is to process the first table and then process the second table.
This is not only far more readable than the workaround with "|", it is also not the least slower.
shadedecho
It appears (after much frustrating but ultimately helpful searching and discussion on forums like tek-tips) that the
|| and the && are "short-circuited" as has been previously noted BUT the | and & operators (documented by PHP as bitwise operators) behave as their non-short-circuited counter-parts, respectively.
Function blah() {
echo "hello< br>";
return "from blah()< br>";
}
Function blah2() {
echo "world\< br>";
return "from blah2()< br>";
}
If (($a .= blah()) || ($a .= blah2())) {
echo $a;
}
This would result in the following output:
Hello
from blah()
Notice the "world" didn"t get echo"d and the "from blah2()" didn"t get concat"d into the $a variable, because the first assigment to $a was successful, so the "short-circuting" kicks in and the boolean test terminates without evaluating the rest of it.
HOWEVER, if you replace || with just | in that "if" statement, you get the output:
Hello
world
from blah()
from blah2()
Eureka! all parts of the boolean test are evaluated, in expected left-to-right fashion, and following all the normal precendence rules, so far as I can see.
This makes total sense... Using the bitwise operators, what is occurring is the bitwise-level operation on the result of two non-bitwise operations (the assignments). If a non-bitwise operation returns null (in other words, the value being assigned turns out to be null or 0), the bitwise operator would bind to that (or more appropriately, would "see" it) as a "0", otherwise it would see a non-zero (string of bits with at least one "1" in it).
Then a bitwise | is done on the two values, and if either is non-zero (has "1" bits in it) then the result will have those "1" bits in it (non-zero), and the if statement will interpret any non-zero value as true in a boolean test. Likewise, if both operands to the | were null or 0, then the result would be a zero value, which "if" would interpret as false.
The if statement above is doing a bitwise | on (in this case) two non-zero values (with "1"s in it at the bit level), so the | operation returns a non-zero value which is then reinterpreted by the if statement as TRUE!
So, in this special case where you are trying to string together non-short-circuited boolean tests, these operators work on their operands at the bitwise level, and since they are not comparison operators but mathematical operators, they can"t be short-circuited, and the resulting behavior is a non-short-circuited "boolean test".
I know, you must think I am crazy for trying to get around a built-in optimization like this, but I assure you there is a very good reason for it, and if you are interested, you can check out this thread as I have a very long post in there which explains what I was trying to do:
It is the 9th post down, where you will find my description of my database query"ing which i was wanting to optimize.
Which probably isn"t what you want.
This may be of aid to those who like their code to read like english, and might think that the precedence differences of these operators are relatively exotic: they aren"t.
As for me I ran into this problem because there is no symbolic logical XOR (for instance, no ^^) so I had to use XOR, and then figured that in similar places I"d ought to use AND and OR, and then my code broke:)
So now I"ve got to
$a = ($b xor $c);
Jesse Thompson
bend.com
yohgaki at hotmail dot com
In PHP4, "and", "or", "&&", "||" -- all are "short circuit" like in C/C++. In PHP3, I think it was not.
"Short circuit" means language stops evaluation of expression when conditions are determined. (Most language uses short circuit evaluation for logical condition)
$a = true;
$b = false;
if ($a || $b) {
}
This "if" statement only evaluate $a, since $a is true and whole condition must be true. (i.e. if $b is a function instead of value, the function will not be called)
muerte at web-ster dot com
I was hoping to find an operator similar to ||= functions in perl. My first thought would be:
$i = $i or "default"
But or doesn"t work like that. If you want to assign a default value to your variables only if they"re not already assigned you CAN however do:
$i or $i = "default"
The first example does NOT work because the or operator is not overloadable like it is in Perl.
dante at hearme dot com
I wanted to do something like this:
$choice1 = "";
$choice2 = "dog";
$default = "other";
$val = $choice1 || $choice2 || $default;
But then $val1 will only contain 1 or 0. Instead I did this:
$choice1 = "";
$choice2 = "dog";
$default = "other";
$val = $choice1 or $choice2 or $default;
Now $val contained the string "dog". That"s
weird that "or" is different from "||"...and I would
think that the "||" should be smart enough to handle
strings...the way PERL does. Guess not. Maybe it"s
a design choice.
