Логические операции

В языке Perl определены три операции логического сравнения, реализующие известные булевы функции: || (логическое ИЛИ), && (логическое И) и ! (логическое отрицание НЕ). Первые две являются бинарными операциями, а последняя — унарной. Результат их выполнения полностью совпадает соответственно с булевыми функциями дизъюнкции (ИЛИ), конъюнкции (И) и отрицания (НЕ), задаваемых своими таблицами истинности

Таблица 4.3. Таблица истинности дизъюнкции (ИЛИ)

Операнд 1 \ Операнд2	«Ложь»	«Истина»
«Ложь»	«Ложь»	«Истина»
«Истина»	«Истина»	«Истина»

Таблица 4.4. Таблица истинности конъюнкции (И)

Операнд 1 \ Операнд2	«Ложь»	«Истина»
«Ложь»	«Ложь»	«Ложь»
«Истина»	«Ложь»	«Истина»

Таблица 4.5. Таблица истинности отрицания (НЕ)

Операнд	Результат
«Ложь»	«Истина»
«Истина»	«Ложь»

В Perl нет специальных литералов для представления значений «истина» и «ложь». В качестве значения «ложь» принимается одно из следующих скалярных значений: пустая строка "", целое число 0 или его строковый эквивалент — строка "0". Любая скалярная величина, отличная от указанных, интерпретируется в булевом контексте как «истина».

Логические операции не предоставляют булева контекста для своих операндов. Каждый из них вычисляется в том контексте, который ему необходим. Например, если в качестве одного из операндов используется массив или функция, то он будет вычисляться в списковом контексте, а если скалярная величина, то в скалярном. Полученные значения интерпретируются как «истина» или «ложь» для выяснения результата всей операции, когда она вычисляется в булевом контексте.

В Perl вычисление логических операций ИЛИ и И осуществляется по укороченной схеме, что непосредственно связано со смыслом этих операций. Если при вычислении операции ИЛИ определено, что значение ее первого операнда в булевом контексте — «истина», то при любом значении второго операнда результатом всей операции будет «истинам, поэтому нет смысла вообще вычислять второй операнд. Аналогично для операции логического И: если значение первого операнда трактуется как «ложь», то результат всей операции — «ложь», вне зависимости от значения второго операнда. В небулевом контексте результатом выполнения этих операций является значение последнего вычисленного операнда.

Результатом операции ! (НЕ) всегда является значение 1, если она вычисляется как «истина», и пустая строка ("") в противном случае вне зависимости от используемого контекста.

Некоторые случаи применения логических операций показаны в табл. 4.6 при условии, что используемые в них переменные имеют значения:

$m = 10;
$n = "string";
@h = (10, 20, 30);

Талица 4.6. Логические операции

Выражение	Булевый контекст	Небулевый контекст
$rez = !$n	«Ложь»	""
$rez = $n \|\| $m	«Истина»	"string"
$rez = 0 \|\| $m	«Истина»	10
$rez = $n && $m	«Истина»	10
$rez = 0 && $m	«Ложь»	0
@rez = $n && @h	«Истина»	10 20 30

Примечание. В табл. 4.6. в столбце, отражающем значения логических операций в небулевом контексте, представлены значения переменных из левой части соответствующих операций присваивания.

Кроме этих трех операций логического сравнения в язык введены низкоприоритетные операции логического сравнения or, and, not и xor, первые три из которых полностью аналогичны рассмотренным логическим операциям ||, && и !, а последняя операция хоr реализует функцию исключающего ИЛИ с таблицей истинности, представленной в табл. 4.7.

Таблица 4.7. Таблица истинности исключающего ИЛИ

Операнд 1 \ Операнд2	«Ложь»	«Истина»
«Ложь»	«Ложь»	«Истина»
«Истина»	«Истина»	«Ложь»

Все эти четыре операции ничем не отличаются от рассмотренных выше логических операций, но имеют самый низкий приоритет при вычислении сложных выражений, в которые они входят. (О приоритете операций при вычислении сложных выражений мы будем говорить в конце этой главы.) Низкоприоритетные операции логического ИЛИ (or) и И (and), как и их более приоритетные двойники, вычисляются по укороченной схеме.

Свойство логических операций ИЛИ и И языка Perl вычисляется по укороченной схеме и используется для управления некоторыми исключительными ситуациями, которые могут возникнуть в программе в процессе вычислений. Например, с помощью операции логического ИЛИ можно избежать деления на нуль в программе:

($x == 0) || ($m = 1/$x)

При вычислении результата этой операции сначала вычисляется левый операнд, который сравнивает значение переменной $х с нулем. Если это значение действительно равно нулю, то результатом операции сравнения будет «истина», а поэтому второй операнд операции логического ИЛИ не вычисляется, так как его значение не влияет на результат вычисления логической операции. В результате не возникает ситуации деления на нуль. Если значение переменной $х не равно нулю, то первый операнд операции || будет «ложь», что приведет к обязательному вычислению ее второго операнда, в котором осуществляется деление на не равную нулю переменную $х.

Подобным же образом любую из логических операций ИЛИ языка Perl можно использовать при анализе выполнения некоторых действий, например открытия файла:

open(POST, "file.txt") or
die "Невозможно открыть файл file.txt!";

Левый операнд этой логической операции возвращает 1 в случае успешного открытия файла и 0 в случае возникновения проблем с открытием файла. В первом случае результат операции or известен и без вычисления второго операнда, а во втором случае будет выполнен ее второй операнд, который представляет собой вызов встроенной функции die( ), отображающей сообщение и прекращающей дальнейшее выполнение сценария.

Логические операции

Следующая страница Содержание главы