Почему побитовые выражения с побочными эффектами не могут использоваться как утверждения в языке программирования

Delphi , ОС и Железо , Язык

Язык программирования, и в частности Delphi, основанный на Pascal, имеет чёткие правила для выражений и утверждений. Выражения используются для вычисления значений, в то время как утверждения выполняют действия, которые могут иметь побочные эффекты, такие как изменение состояния программы. Вопрос о том, почему выражение с логической операцией A or B не может использоваться как утверждение, заслуживает внимания.

Проблема

Рассмотрим следующий код:

function A: Boolean;
function B: Boolean;

A or B; // Выражение, которое вызывает ошибку компиляции

Вместо этого, предполагалось использовать:

if not A then
  B; // Утверждение

Описание проблемы

Компилятор отклоняет первое выражение, так как ожидает утверждение, а не выражение. Несмотря на короткое замыкание вычислений, кажется, что оба примера должны выполнять одно и то же действие. Тем не менее, это не так.

Разъяснение

Язык программирования спроектирован так, чтобы четко разграничивать выражения и утверждения. Выражения возвращают значения, в то время как утверждения выполняют действия. Несмотря на то, что функции могут иметь побочные эффекты, выражение само по себе не выполняет действий, которые могли бы быть интерпретированы как утверждение.

Подтвержденный ответ

Компилятор ожидает утверждение, и предоставленное выражение A or B не соответствует этому критерию. В документации Delphi перечислены все допустимые утверждения, и среди них нет выражения A or B.

Альтернативный ответ

Выражение A or B является вычислительным и предназначено для получения булевого значения, в то время как утверждение if not A then B выполняет действие, которое может вызвать побочный эффект (например, изменение состояния B, если A ложно).

Разделение выражений и утверждений

Delphi, как и Pascal, следует принципам, заложенным Никлаусом Виртом. В языке четко разделены действия (утверждения) и значения (выражения). Действия включают в себя вызов процедур, а выражения используются для вычисления значений, включая вызов функций.

Примеры из документации

// Утверждение, вызывающее процедуру
procedure X;
X;

// Выражение, возвращающее булево значение
function Y: Boolean;
Y;

Преимущества разделения

Такой подход обеспечивает ясность и предсказуемость для программистов, так как утверждения выполняют действия, а выражения - вычисления без побочных эффектов, видимых для внешнего наблюдателя (таких, как запись в переменную).

Пример несоответствия ожидаемого поведения

При использовании ленивой оценки, если функция A возвращает True, вызов B может не произойти, что делает поведение выражения A or B неоднозначным.

Заключение

Delphi и Pascal требуют четкого понимания различия между выражениями и утверждениями. Это различие является основой для создания безопасного и предсказуемого кода. Несмотря на возможную интуитивную аналогию, выражение не может быть использовано как утверждение, и это разделение является намеренно спроектированным, чтобы поддерживать ясность и надежность языка программирования.

Создано по материалам из источника по ссылке.

Вопрос касается различия между выражениями и утверждениями в языке программирования Delphi, основанного на Pascal, и объясняется, почему побитовые выражения с побочными эффектами не могут использоваться в качестве утверждений

Комментарии и вопросы

Получайте свежие новости и обновления по Object Pascal, Delphi и Lazarus прямо в свой смартфон. Подпишитесь на наш Telegram-канал delphi_kansoftware и будьте в курсе последних тенденций в разработке под Linux, Windows, Android и iOS

:: Главная :: Язык ::