Условный оператор if

Операторы ветвления

Функции, изменяющие тип данных

Явное приведение типов данных

Тип значения можно изменить и явным способом: просто указав новый тип выражения, например: a:= byte(b). В этом случае переменной а будет присвоено значение, полученное новой интерпретацией значения переменной b. Скажем, если b имеет тип shortint и значение -23, то в a запишется 233 (= 256 - 23).

Приводить явным образом можно и типы, различающиеся по длине. Тогда значение может измениться в соответствии с новым типом. Скажем, если преобразовать тип longint в тип integer, то возможны потери из-за отсечения первых двух байтов исходного числа. Например, результатом попытки преобразовать число 100 000 к типу integer станет число 31 072, а к типу word - число 34 464.

В заключение мы приведем список стандартных функций, аргумент и результат которых принадлежат к совершенно различным типам данных:

trunc³⁾: real -> integer;round: real -> integer;val⁴⁾: string -> byte/integer/real;chr⁵⁾: byte -> char;ord: <порядковый_тип> -> longint;

3. Лекция: Ветвления. Массивы. Циклы

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

Оператор if выбирает между двумя вариантами развития событий:

if <условие> then <один_оператор> [else <один_оператор>];

Обратите внимание, что перед словом else (когда оно присутствует, конечно же) символ ";" не ставится - ведь это разорвало бы оператор на две части.

Условный оператор if работает следующим образом:

Сначала вычисляется значение <условия> - это может быть любое выражение, возвращающее значение типа boolean.
Затем, если в результате получена "истина" (true), то выполняется оператор, стоящий после ключевого слова then, а если "ложь" (false) - без дополнительных проверок выполняется оператор, стоящий после ключевого слова else. Если же else-ветвь отсутствует, то не выполняется ничего.

Что же произойдет, если написать несколько вложенных операторов if?

В случае, когда каждый оператор if имеет собственную else-ветвь, все будет в порядке. А вот если некоторые из них этой ветви не имеют, может возникнуть ошибка. Компилятор языка Pascal всегда считает, что else относится к самому ближнему оператору if. Таким образом, если написать

if i>0 then if s>2 then s:= 1 else s:= -1;

подразумевая, что else-ветвь относится к внешнему оператору if, то компилятор все равно воспримет эту запись как

if i>0 then if s>2 then s:= 1 else s:= -1 else;

Ясно, что таким образом правильного результата получить не удастся.

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

Итак, исходный вариант нужно переписать следующим образом:

if i>0 then if s>2 then s:=1 else else s:=-1;

либо так:

if i>0 then begin if s>2 then s:=1 end else s:=-1;

Вообще же, если есть возможность переписать несколько вложенных условных операторов как один оператор выбора, это стоит сделать.