Билет №1 (стр. 3 )

Tabl2=array[1..10] of integer;

Var

X: array[1..10] of integer;

Y: tabl1;

Z: tabl2;

В случае эквивалентности по структуре типы переменных X, Y,Z будут считаться одинаковыми, а в случае эквивалентности по имени – различными.

Если описание типов в языке допускают параметризацию или использование свободных идентификаторов (type t = array[1..N] of integer), то определение эквивалентности типов еще больше усложняется. Выходом из этого положения является введение ограничения, заключающегося в возможности использования в качестве параметров или свободных идентификаторов лишь констант, значение которых определяется при компиляции и типов с константами (как в Паскале).

Совместимость типов

Совместимость типов бывает двух разновидностей:

·  совместимость в выражениях;

·  совместимость по присваиванию.

Совместимость в выражениях

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

Совместимость по присваиванию

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

Простые типы данных

Объекты простых типов не имеют внутренней структуры, они могут содержать лишь одно неделимое значение.

Числовые типы

Наиболее распространенные в математике типы чисел – это целые (integer) числа, которые представляют бесконечное множество дискретных значений, и действительные (real) числа, которые представляют неограниченный континуум значений.

ЦЕЛЫЕ ТИПЫ
Название	Длина, байт	Диапазон значений
Byte	1	0 . . 255
ShortInt	1	-128 . . +127
Word	2	0 . . 65535
Integer	2	-32768 . . +32767
LongInt	4	-2 147 483 648 . . [phone]

Действительные

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

С фиксированной точкой все числа изображаются в виде последовательности цифр с постоянным для всех чисел положением точки, отделяющей целую часть от дробной. Например, в десятичной записи числа имеется 5 цифр в целой части и 5 цифр в дробной; числа будут иметь вид: +00721.35500, +00000.00328, -10301.20260.

Длина, байт	Название	Количество значащих цифр	Диапазон десятичного порядка
4	Single	7..8	-45..+38
6	Real	11 .. 12	-39 . . +38
8	Double	15 . .16	-324 . . +308
10	Extended	19 . .20	-4951 . . +4932
8	Comp	19 . . 20	-2*1063 +1..+2*1063 -1

Перечислимые типы данных.

Простейший способ введения нового типа данных – перечисление его значений, что и реализовано в перечислимых типах

Все реализации языка Pascal, в том числе и Turbo Pascal, вплоть до версии 6.0 содержали только один булевский тип Boolean, элементы которого могут принимать лишь два логических значения: True (истина) и False (ложь). В Turbo Pascal версии 7.0 добавлены еще три булевских типа ByteBool, WordBool и LongBool.

Название	Значению False соответствует	Значению True соответствует	Размер памяти
Boolean	Число 0	1	1 байт
ByteBool	Число 0	Любое число, отличное от 0	1 байт
WordBool	Число 0 в обоих байтах	2 байта
LongBool	Число 0 во всех байтах	4 байта

Отметим, что новые булевские типы были введены для обеспечения совместимости разрабатываемых программ с Windows, в которой значению False соответствует 0, а значению True – любое, отличное от 0, число.

Структурированные типы данных

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

Массивы

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

Массивы описываются следующим образом:

Массивы можно классифицировать по двум разным признакам:

-  по количеству размерностей массивы разделяются на одномерные (векторы), двухмерные (матрицы) и многомерные;

-  по типу элементов массивы разделяются на массивы однородных структур данных, массивы неоднородных структур данных и массивы файлов.

Type имя_типа is array (T1) of T2;

Здесь T1 – тип индексов, T2 – тип компонентов массива. Каждой компоненте массива однозначно соответствует некоторое значение типа T1. Например,

Массивы используются особенно часто для представления векторов. Для представления конечномерных матриц применяют многомерные массивы.

По способу определения типа индексов массивы делятся на три группы:

·  Статические, у которых тип индексов параметризованный и не содержит свободных идентификаторов. Т. е. перед выполнением программы устанавливаются границы массивов через числовые значения.

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

·  Гибкие, т. е. границы индексов программных переменных типа массив могут изменяться в процессе выполнения программы.

Дополнительные возможности языка программирования Паскаль

К дополнительным возможностям Паскаля следует отнести работу с типом данных множество и работу с файлами.

Множества

Тип данных множество напоминает перечислимый тип данных. Вместе с тем множество – набор элементов не организованных в порядке следования.

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

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

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

В качестве базовых типов могут использоваться:

-перечислимые типы;

-символьный;

-байтовый;

-диапазонные на основе вышеперечисленных.

Такие ограничения связаны с формой представления множества в языке и могут быть сведены к тому, чтобы функция ord() для используемого базового типа лежала в пределах от 0 до 255.

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

Файловый тип

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

Файлы произвольного доступа позволяют вызывать компоненты в любом порядке по их номеру.

Важной особенностью файлов является то, что данные, содержащиеся в файле, переносятся на внешние носители. Файловый тип – это единственный тип значений, посредством которого данные, обрабатываемые программой, могут быть получены извне, а результаты могут быть переданы во внешний мир. Это единственный тип значений, который связывает программу с внешними устройствами ЭВМ.

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

Типизированные файлы. Длина любого компонента типизированного файла строго постоянна, т. к. тип компонент определяется при описании, а, следовательно, определяется объем памяти, отводимый под каждую компоненту. Это дает возможность организовать прямой доступ к каждой компоненте (т. е. доступ по порядковому номеру).

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