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

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

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

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

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

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

6

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

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

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

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

11 к оглавлению Новый тип можно определить путем явного перечисления всех возможных его значений, причем каждое такое значение будет определяется только именем. Примеры перечислимых типов: (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.