Битовый тип

Type

Логический тип

Type

Type

< имя типа > = < мин. значение >..< макс. значение >

Минимальное значение при определении не может быть больше максимального:

TTemp = -50..+50; { тип ShortInt }

TIndex = 1..100; { тип Byte }

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

Логический тип является перечисляемым с двумя возможными значениями «ложь» и «истина»:

Boolean = (False, True);

Логические типы языка Паскаль приведены в табл. 2.4.

Табл. 2.4. Логические типы данных.

Название типа	Длина, байт
Boolean
ByteBool
WordBool
LongBool

Основным типом является Boolean, для него справедливы следующие соотношения:

Ord(False) = 0; Ord(True) = 1;

Succ(False) = True; Pred(True) = False; False < True

Остальные три типа введены для совместимости с другими языками и операционной системой Windows. Для них справедливы следующие соотношения:

Ord(False) = 0;

Ord(True) <> 0 (любое целое число)

Логический тип имеет большое значение поскольку:

- операции отношения являются функциями, возвращающими значение булевого типа;

- условный оператор проверяет выражение булевого типа;

- операции булевой алгебры определены для булевого типа.

Примеры применения логических функций для сведения нескольких условий в одно логическое выражение приведены на рис. 2.2.

а)

б). в).

Рис. 2.2. Одномерная (а), двухсвязная одномерная (б) и двухмерная (в) области координат.

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

а). -1 £ x £ 1 ® (-1 <= x) and (x <= 1)

в). x < 0 или x > 1 ® (x < 0) or (x >1)

б). éx > 0 ù ® (x > 0) and (y < 0)

ëy < 0 û

В ряде задач может потребоваться работа с отдельными двоичными разрядами данных. Чаще всего это возникают в системном программировании, когда, например, отдельный разряд связан с состоянием аппаратного переключателя. Данные битового типа представляются в виде набора битов, упакованных в байты или слова, и не связанных друг с другом. Операции над такими данными обеспечивают доступ к выбранному биту. В языке Паскаль роль битовых типов выполняют беззнаковые целые типы Byte и Word. Над этими типами помимо операций, характерных для числовых типов, допускаются побитовые логические операции и операции сдвига.

Дата добавления: 2014-01-07