3. Выражения

Понятие «выражение» я уже употреблял раньше без особых пояснений. Выражение – это то, что мы привыкли видеть в правой части оператора присваивания и в других местах. Например:

a:=b+1 - здесь выражение -b+1

ifc-6>fthen… - здесь выражение -c-6>f

WriteLn(a+5) - здесь выражение -a+5

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

Арифметические выражения(то есть имеющие значением число):

• 0

• 2+5

• Sqrt(b+1) - Sqr(a[4,i]+r) + 1

• a[4,i] + vovka.ves

• ((w+b)/19)*(2/(w+1)+5)

Строковые выражения(то есть имеющие значением строку символов):

• ‘Весна’

• Copy(s,a,b)

• Copy(s,a,b)+ ‘Весна’

Логические выражения(то есть имеющие значениемtrueилиfalse):

• a>0

• (a+c)/(d+8)<=b+1

• c>’Ю’

• stroka=‘Весна’

• Copy(s,a,b)+ ‘Весна’ <> s1

• a in b

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

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

Каждое выражение тоже обязано иметь конкретное значение одного из типов. Тип выражения определяется типами входящих в него операндов и операциями над этими операндами. Каким образом – об этом в следующем параграфе.

4. Совместимость типов

Часто при запуске программы Паскаль выдает сообщение Type mismatch(несовместимость типов) и на этом основании отказывается выполнять программу. Так произойдет, например, при выполнении ошибочного фрагментаVAR y: Integer BEGIN y:=3/8:…., так как результат деления получается вещественный, а переменнаяyописана, какInteger. Нам нужно знать о том, какие типы совместимы, а какие нет.

Тип выражения с операндами разных типов.Что будет, если в одном выражении участвуют величины разных типов? Какого типа будет результат выражения? Например, какого типа будет суммаa+bв следующем фрагменте:

VAR a: Byte; b: Word;

BEGIN .... a+b ... ?

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

• Если диапазон одного из типов входит в диапазон другого, то общим типом становится тип с большим диапазоном. В приведенном выше примере значение переменной a будет преобразовано к типу Wordи полученная сумма также будет иметь этот тип.

• Если диапазоны типов пересекаются, то общим типом становится ближайший тип, “охватывающий” оба типа.

В примере

VAR a: Integer; b: Word;

BEGIN .... a+b ...

значения aиbперед суммированием преобразуются к типуLongInt.

• Если один из типов вещественный, а другой целочисленный, то общий тип - всегда вещественный.

Когда в выражение входит несколько операндов (например, a+b*c) то указанные правила применяются последовательно, пока не будет вычислено все выражение (сначала определяется тип произведенияb*cи произведение вычисляется, затем исходя из получившегося типа определяется тип суммы и сумма вычисляется).

Требования к типам в операторе присваивания.Чтобы Паскаль мог выполнить оператор присваивания, тип переменной в левой части (тип 1) и тип выражения в правой части (тип 2) должны друг другу соответствовать по определенным правилам:

• эти типы должны быть одинаковы

• или, если эти типы не одинаковы, то диапазон типа 1 должен включать в себя диапазон типа 2, например:

Тип 1 Тип 2

(sun, mon, tue, wen) (sun, mon, tue)

String Char

• или тип 1- вещественный,тип 2– целочисленный

Требования к совместимости типов формальных и фактических параметров процедур и функций.Эти требования зависят от того, о каких параметрах идет речь – о параметрах-переменных или параметрах-значениях. В первом случае требование простое – типы должны быть эквивалентны. Во втором случае действуют требования к типам в операторе присваивания, где тип 1– формальный параметр,тип 2– фактический.