Система типов языка программирования Turbo Pascal…

Иерархия типов Иерархия типов Целые типы Целые типы Вещественные типы Вещественные типы Символьный тип Символьный тип Булевский тип Булевский тип EXIT Ограниченный тип Ограниченный тип Перечислимый тип Перечислимый тип

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

Система типов Простые типыСкалярные ограниченные Стандартные скалярные перечислимые регулярные комбинированные файловые множественные строковые Составные типы Процедурные типы объекты Ссылочные типы к оглавлению

к оглавлению Эта группа типов обозначает множества целых чисел в различных диапазонах. Существует пять целых типов, различающиеся допустимым диапазоном значений и размером занимаемой памяти. Целый типДиапазон Размер памяти(байт) ShortInt Integer LongInt Byte Word >>

к оглавлению Эта группа типов обозначает множества вещественных значений в различных диапазонах. Turbo Pascal поддерживает четыре вещественных типа: Вещественный тип Диапазон Размер памяти(байт) Real2.9E E+386 Single1.5E E+384 Double5.0E E+3088 Extende3.4E E+49310

к оглавлению Значениями символьного типа являются символы из множества ASCII. Это множество состоит из 256 символов, упорядоченных определенным образом, и содержит символы заглавных и строчных букв, цифр и различных других символов, включая специальные управляющие символы. Если символ, который нужно изобразить, не имеет графического представления, то можно воспользоваться следующей эквивалентной формой записи, состоящей из символа #(диез) и целочисленного кода символа: #10 #$A Кроме того, некоторые управляющие символы ASCII можно представить в следующей форме: ^C, где С-условное обозначение управляющего символа.

к оглавлению Имеется два значения булевского типа, предоставляющие логически истинностные значения(истина/ложь). Эти значения обозначаются посредством стандартных идентификаторов. true (истина) false (ложь) Над значениями булевского типа допустимы операции сравнения, причем считается, что false < true Кроме того, имеются четыре стандартны логические операции, обозначаемые служебными словами: and- лог. умножение or-лог. сложение xor- исключающие «или» not-лог. отрицание Значения булевского типа занимают в памяти 1 байт.

к оглавлению Самым простым способом образования новых типов из уже существующих является ограничение допустимого диапазона значений некоторого стандартного скалярного типа. Это ограничение определяется заданием min & max значений диапазона. Например: a..z В данном примере показано определение трех новых типов значений. Первые два типа заданы ограничением диапазона некоторого целого типа, третий является производным символьного типа. Введенный таким образом тип можно обозначить именем и использовать для определения переменных, а также строить с его помощью другие типы.

к оглавлению Новый тип можно определить путем явного перечисления всех возможных его значений, причем каждое такое значение будет определяется только именем. Примеры перечислимых типов: (red, yellow, green) (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday) (On, Off) (Left, right, up, down) Также допускается создание ограниченных типов из перечислимого. Monday..Friday Имена из списка перечислимого типа считаются константами соответствующего перечислимого типа. Эти идентификаторы должны быть уникальны в пределах одного блока; недопустимы описания двух и более перечислимых типов использующих одну константу. Например описания вида: Color1=(red,yellow,blue); Color2=(green,blue,gray); Являются некорректными из-за повторного использования идентификатора blue.