Извините, если это звучит как действительно глупый вопрос.
Но я googled в Интернете, а также Googled специально как сайт php.net, так и сайт stackoverflow.com.
Я знаю, что PHP делает короткую схему ленивой оценки при использовании операторов and, or, &&, ||, но где это указано громко и ясно в руководстве PHP???
Я нашел только Wikipedia как единственный "надежный" источник, который говорит, что PHP делает ленивую оценку этих операторов.
Ближе всего я могу найти "официальное" упоминание о реализации короткого замыкания PHP: http://php.net/manual/en/language.operators.logical.php
Это не является необычной особенностью оценки выражения. справочная страница PHP по логическим операторам делает ссылку на нее в одном из иллюстративных примеров.
Оценка короткого замыкания - это обычно эксплуатируемая идиома, и вы можете полагаться на ее постоянную поддержку на этом языке, иначе огромные количества кода сломались бы!