Перечисляемый тип

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

type nm = (word1, word2, …, wordN);

здесь nm – идентификатор типа (произвольный), word1, word2… - конкретные значения, которые может принимать переменная типа nm. Эти значения считаются упорядоченными, т.е. описание типа одновременно вводит упорядочение

word1 < word2 < wordN.

Пример 1. type color = (red, yellow, green, blue);

Здесь определено, что red < yellow < green < blue. Переменная типа color может принимать одно из перечисленных значений.

Ко всем переменным скалярного типа, кроме real, применимы следующие стандартные функции: succ(x), pred(x), ord(x).

Функция succ(x)

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

Пример 2. Пусть задана последовательность букв в алфавитном порядке. Тогда succ(A) есть B; succ(L) есть M и т.д.

В примере 1 succ(red) есть yellow.

Функция pred(x)

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

Пример 3. pred(F) есть E; pred(Z) есть Y и т.д.

Функция ord(x)

Выдается номер элемента x на соответствующей последовательности.

Ко всем переменным одного и того же скалярного типа применимы операции отношения: =, <>, <=, >=, <, >.

Ограниченный тип (интервал)

Для переменной скалярного типа можно указать некоторое подмножество значений, которые может принимать данная переменная.

Общий вид:

a: min..max;

здесь a – переменная, min – левая граница, max – правая граница подмножества (диапазона). Границы диапазона разделяются двумя точками.

Тип min и max задает множество, определяющее основной тип переменной a (базовый тип). О переменной, описанной таким образом, говорят, что она имеет интервальный тип.

Пример. Пусть переменная k может принимать значения из множества 1 – 20. Тогда ей приписывают ограниченный тип k: 1..20;. Основным типом переменной k является тип integer, т.к. границами диапазона являются целые константы 1 и 20.

Если переменная b может принимать одно из значений red, yellow, green, то эту переменную можно описать так: b: red..green; основным типом b является тип color, описанный в предыдущем разделе.

Граница min всегда должна быть меньше max.

Пример. Пусть i – переменная, принимающая значения года рождения сотрудника какого-либо учреждения. Очевидно, имеет смысл ограничить диапазон значений i подмножеством, т.е. описать примерно так: i: 1930…2000; переменная i будет иметь интервальный, а не целый тип.

Булевы типы. Логические выражения и логические операции

Простые логические выражения

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

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

В Паскале предусмотрены следующие операторы отношений:

• меньше: x < y

• больше: x > y

• равно: x = y

• не равно: x <> y

• меньше или равно: x <= y

• больше или равно: x >= y

Булевы типы

Результатом логического выражения всегда является булево (логическое) значение. Булев тип данных (boolean) может принимать только два значения (true или false). Эти величины упорядочены следующим образом: false < true. Это значит, что данные булевого типа являются не только результатом операций отношения, но и могут выступать в роли операндов операции отношения. Также к ним можно применять функции ord, succ, pred, процедуры inc и dec.

Значение типа boolean занимает в памяти 1 байт.

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

Кроме типа boolean в Pascal введены еще три булевых типа — bytebool (занимает 1 байт), wordbool (занимает 2 байта) и longbool (занимает 4 байта).

Для всех булевых типов значению false соответствует 0, а значению true — любое ненулевое значение. Логические переменные, принадлежащие разным булевым типам, ведут себя по-разному при выполнении над ними операций. Ниже приводится пример, реализованный на языке FreePascal (в комментариях отображается результат).

var

b:boolean;

wb:wordbool;

begin

b:= false;

b:= pred(b);

writeln(b,' ',ord(b)); // TRUE 255

writeln(b=true); // TRUE

wb:= false;

wb:= pred(wb);

writeln(wb,' ',ord(wb)); // TRUE -1

b:= true;

b:= succ(b);

writeln(b,' ',ord(b)); // TRUE 2

wb:= true;

wb:= succ(wb);

writeln(wb,' ',ord(wb)); // FALSE 0

end.

Логические операции

С помощью логических операторов можно формировать сложные логические выражения. Логические операторы часто применяются по отношению к простым логическим выражениям.

В языке программирования Pascal предусмотрены следующие логические операции:

• Конъюнкция (логическое умножение, пересечение) - and. Выражение a and b дает значение true только в том случае, если a и b имеют значение true. Во всех остальных случаях значения выражения a and b дает false.

true and true = true

true and false = false

false and true = false

false and false = false

• Дизъюнкция (логическое сложение, объединение) – or. Выражение a or b дает значение false только в том случае, если a и b имеют значение false. Во всех остальных случаях результат – true.

true and true = true

true and false = true

false and true = true

false and false = false

• Отрицание (инверсия) – not. Выражение not a имеет значение, противоположное значению a.

not true = false

not false = true

• Исключающее ИЛИ – xor. Выражение a xor b дает значение true только в том случае, когда только один из операндов имеет значение true.

true and true = false

true and false = true

false and true = true

false and false = false

Последовательность выполнения логических операторов: not, and, or.

В языке Паскаль сначала выполняются логические операторы (and, or, xor, not), а уже потом операторы отношений (>, >=, <, <=, <>, =), поэтому не нужно забывать расставлять скобки в сложных

логических выражениях.

Сложные булевы выражения могут не обрабатываться до конца, если продолжение вычислений не изменит результат. Если булево выражение в обязательном порядке нужно обрабатывать до конца, то это обеспечивается включением директивы компиляции {B+}.

Стандартные булевские функции

odd(x) = true, если x нечетный (x целый тип);

eoln(x) = true, если встретился конец строки текстового файла x;

eof(x) = true, если встретился конец файла x.

В остальных случаях эти функции принимают значение false.