Бертран Мейер - Основы объектно-ориентированного программирования

Инструкция проверки рассматривалась при обсуждении утверждений ( лекция 11). Она говорит, что определенные утверждения должны удовлетворяться в определенных точках:

check

assertion -- Одно или больше предложений

end

Инструкция отладки является средством условной компиляции. Она записывается так:

debug instruction; instruction; ... end

В файле управления (Ace-файле) для каждого класса можно включить или отключить параметр debug . При его включении все инструкции отладки данного класса выполняются, при отключении - они не влияют на выполнение.

Эту инструкцию можно использовать для включения специальных действий, выполняющихся только в режиме отладки, например, печати некоторых величин.

Инструкция повторного выполнения рассматривалась при обсуждении исключительных ситуаций ( лекция 12). Она появляется только в предложении rescue, повторно запуская тело подпрограммы, работа которой была прервана.

Выражение задает вычисление, вырабатывающее значение, - объект или ссылку на объект. Выражениями являются:

[x].неименованные (манифестные) константы;

[x].сущности (атрибуты, локальные сущности, формальные аргументы, Result );

[x].вызовы функций;

[x].выражения с операторами (технически - это специальный случай вызова функций);

[x]. Current .

Неименованная или манифестная константа задается значением, синтаксис которого позволяет определить и тип этого значения, например, целое 0 . Этим она отличается от символьной константы, чье имя не зависит от значения.

Булевых констант две, - True и False . Целые константы имеют обычную форму, например:

453 -678 +66623

В записи вещественных (real) констант присутствует десятичная точка. Целая, либо дробная часть может отсутствовать. Может присутствовать знак и экспонента, например:

52.5 -54.44 +45.01 .983 -897. 999.e12

Символьные константы состоят из одного символа в одинарных кавычках, например, 'A' . Для цепочек из нескольких символов используется библиотечный класс STRING , описанный ниже.

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

b.f

b.g(x, y, ...)

b.h(u, v).i.j(x, y, ...)

Правило квалифицированного вызова, приведенное для процедур, применимо также к вызовам функций.

Зарезервированное слово Current означает текущий экземпляр класса и может использоваться в выражении. Само Current - тоже выражение, а не сущность, допускающая запись. Значит присваивание Current , например, Current := some_value будет синтаксически неверным.

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

[x].Передачу текущего экземпляра в качестве аргумента в программу, как в a.f (Current) . Обычное применение - создание копии (duplicate) текущего экземпляра, как в x: = clone (Current) .

[x].Проверку,- присоединена ли ссылка к текущему экземпляру, как в проверке x = Current .

[x].Использование Current в качестве опорного элемента в "закрепленном объявлении" в форме like Current( лекция 16).

Выражения могут включать знаки операций или операторы.

Унарные операторы + и - применяются к целым и вещественным выражениям и неприменяются к булевым выражениям.

Бинарные операторы, имеющие точно два операнда, включают операторы отношения:

= /= < > <= >=

где /= означает "не равно". Значение отношения имеет булев тип.

Выражения могут включать один или несколько операндов, соединенных операторами. Численные операнды могут соединяться следующими операторами:

+ - . / ^ // \\

где // целочисленное деление, \\ целый остаток, а ^ степень (возведение в степень).

Булевы операнды могут соединяться операторами: and, or, xor, and then, or else, implies. Последние три объясняются в следующем разделе; xor- исключающее или.

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

Операторы and thenи or else(названия заимствованы из языка Ada), а также impliesне коммутативны и называются нестрогими(non-strict) булевыми операторами. Их семантика следующая:

Нестрогие булевы операторы

[x]. a and then bложно, если a ложно, иначе имеет значение b .

[x]. a or else bистинно, если a истинно, иначе имеет значение b .

[x]. a implies bимеет то же значение, что и: (not a) or else b.

Первые два определения, как может показаться, дают ту же семантику, что и andи or. Но разница выявляется, когда b не определено. В этом случае выражения, использующие стандартные булевы операторы, математически не определены, но данные выше определения дают результат: если a ложно, то a and then bложно независимо от b ; а если a истинно, то a and then bистинно независимо от b . Аналогично, a implies bистинно, если a ложно, даже если b не определено.

Итак, нестрогие операторы могут давать результат, когда стандартные не дают его. Типичный пример:

(i /= 0) and then (j // i = k)

которое, согласно определению, ложно, если i равно 0 . Если бы в выражении использовался and, а не and then, то из-за неопределенности второго операнда при i равном 0 статус выражения неясен. Эта неопределенность скажется во время выполнения: