metod_15.03.04_atppp_oaip_up_2016 (Методические документы), страница 14

Структурированная (сложная) типизированная константа9.2.1. Типизированная константа массиваПример:Type Sost = (cold, warm, hot);Massiv = Array [Sost] of string[5];Const S: Mas = (‘cold’, ‘warm’, ‘hot’);80В примере описывается константа Sost, которую можно использовать дляпреобразования значений типа перечисления в их соответствующие строковыепредставления:Sost[cold]=’cold’Sost[warm]=’warm’Sost[hot]=’hot’Каждый тип, кроме типа массива и указателя, представляет собойдопустимый тип компонентов константы массива. При типах массива Characterразрешены отдельные символы и символьные цепочки.При описании типизированной много размерной константы массива каждыйразмер каждый размер заключается в отдельную пару скобок, а пары отделяютсядруг от друга запятыми, причем средняя константа соответствует размеру,наиболее далеко отстоящему с правой стороны.Пример:Type Massiv = Array [0..1,0..1,0..1] of Integer;Const chislo: Massiv = (((0,1),(2,3)),((4,5),(6,7)));BeginWriteln(chislo[0,0,0],’=0’);Writeln(chislo[0,0,1],’=1’);Writeln(chislo[0,1,0],’=2’);Writeln(chislo[0,1,1],’=3’);Writeln(chislo[1,0,0],’=4’);Writeln(chislo[1,0,1],’=5’);Writeln(chislo[1,1,0],’=6’);Writeln(chislo[1,1,1],’=7’);End.9.2.2.

Типизированная константа записиПример:Type chislo = Recorda,b,c: Integerend;Zvet = (Krasn, Gelt, Zelen, sin);Tkan = (Sherst, Shelk, Hlopok);Platye = RecordDizain : Array [1..4] of Zvet;Material : Tcanend;Const Nomer : chislo = (a:0, b:0, c:0);Model:Platye=(dizain: (krasn, gelt, zelen, sin); Material: Hlopok);Matrica: Array[1..3] ofchislo = ((a:1, b:4,c:5), (a:13,b:8,c:55), (a:200,b:16,c:-65));Константы массива должны задаваться в той же последовательности, вкакой они появляются в описании записи.

В том случае, если блок данныхсодержит массивы типа файла или указателя, типизированными. Константы дляэтого типа записи задавать невозможно.81Если константа записи содержит варианты, то программист сам отвечает зато, чтобы специфицировались лишь блоки данных достоверной переменной.Если переменная содержит массив метки, то нужно специфицировать изначение переменной.9.2.3. Типизированная константа множества.Она образуется из одной или нескольких спецификаций элементов,разделенных запятыми и заключенных в квадратные скобки.Спецификацией элемента может быть константа или выражениеидентификатора.

Оно состоит из двух констант, разделенных двумя точками.Пример:Type Propisnoy = Set of ‘A’..’Z’;Strochny = Set of ‘a’..’z’;Const PropBukw : Propis =[‘A’..’Z’];StrochnBukw : Stroch =[‘a’, ’e’, ‘l’, ‘c’, ‘u’];Simvol : Set of char = [‘’..’/’, ‘:’..’?’, ‘[‘..’^’, ‘{‘..’~’];10.

ПРЕОБРАЗОВАНИЕ ТИПОВТип переменной позволяет не только установить длину ее внутреннегопредставления, но и контролировать те действия, которые осуществляются надней в программе. Контроль за использованием переменных еще на этапекомпиляции программы – важное преимущество Турбо Паскаля перед другимиязыками программирования, в которых допускается автоматическоепреобразование типов. Фактически именно та вольность, с какой, например, PL/1преобразует по умолчанию различные типы данных, послужила объектомнаиболее сильной его критики.10.1. Неявные преобразования типовВ Паскале почти невозможны неявные (автоматические) преобразованиятипов. Исключение сделано только в отношении констант и переменных типаInteger, которые разрешается использовать в выражениях типа Real.Пример:Var X : Integer;Y : Real;Y:=X+2 - правильно, хотя справа от знака присваивания стоит целочисленноевыражение, а слева – вещественная переменная.

Компилятор сделаетнеобходимые преобразования автоматически.X=2.0 – неверно, так как автоматическое преобразование типа Real в тип Integer вПаскале запрещено.10.2. Использование стандартных функций для преобразованияРазумеется, запрет на автоматическое преобразование типов еще неозначает, что в языке программирования Паскаль нет средства преобразованияданных. Эти средства есть, но их нужно использовать явно. Для преобразованияданных существуют встроенные функции, которые получают в качествепараметра значения одного типа, а возвращают результат в виде значения другоготипа.82В частности, для преобразования Real в Integer имеются две встроенныефункции:Round округляет Real до ближайшего целого,Trung усекает Real путем отбрасывания дробной части.X:=Y/X – нельзя,X:=round(Y/X) – можно.Ord преобразует Char в Integer,Chr преобразует Integer в Char.Пример.

Программа выводит на экран символ и соответствующий емувнутренний код.Var simvol : char;Begin readln (simvol);Writeln (simvol, ‘=’, ord(simvol));End.10.3. Явные преобразования типовНаличие двух операций деления есть еще одно появлениеосновополагающего принципа языка программирования Паскаль: программистдолжен явно подтверждать компилятору, что он готов к возможным последствиямпреобразования типов. Если, например, в Фортране используется выражение 1/2,то результат этого действия будет зависеть от того, переменной какого типа онбудет присвоен:если X – целое,Y - действительное,то фортрановское присваивание дает:X = 1/2  0Y = 1/2  0.5В языке программирования Паскаль такой двусмысленности нет:выражение 1/2 всегда имеет значение 0.5 и поэтому оператор X:=1/2 для целого Хпросто недопустим. В то же времяVar Y : Real;-------------Y : = 1 div 2;самим фактом использования операции целочисленного деления div программистсвидетельствует, что он сознательно отбрасывает дробную часть.10.4.

Эквивалентность типовЕще две функции для целого типа:Dec (X[,N]) – уменьшение значения X на N; если N не задан, то на 1,Inc (X[,N]) – увеличение.Над символами и строками символов (тип string) применима единственнаяоперация – сцепление строк (+).Var slovo: string;BeginSlovo:= ‘turbo’ + ‘-‘ + ‘pascal’;Writeln (slovo);83End.Пример: А,В, С – типа integer.А = В and С < 0 где ошибка?Надо (А = В) and (С < 0) так как логические операции имеют более высокийприоритет, чем операции отношения:0 not1 * / div mod and chr chi2 + - or xor3 = <> < > <= >= in.10.5.

Совместимость типовПаскаль – это типизированный язык. В нем соблюдается концепция типов, всоответствии с которой все применяемые в языке операции определены тольконад операндами совместимых типов.Два типа считаются совместимыми, если:1) оба они есть один и тот же тип,2) оба они действительные,3) оба они целые,4) один тип есть тип – диапазон второго типа,5) оба они являются типами – диапазонами одного и того же базового типа,6) оба они являются множествами, составленными из элементов одного итого же базового типа,7) обаониявляютсяупакованнымистроками(определеныпредшествующим словом Packed) одинаковой максимальной длины,8) один тип есть тип – строка, а другой тип – строка, упакованная строкаили символ,9) один тип есть любой указатель, а другой – не типизированный указатель,10) оба они есть процедурные типы с одинаковым типом результатом(для типа - функции), одинаковым количеством параметров иодинаковым типом взаимно соответствующих параметров.11.

ФАЙЛОВЫЕ ТИПЫМы до сих пор рассматривали задачи, в которых во время выполненияпрограммы данные поступают с клавиатуры, а результаты выводятся на экрандисплея. Поэтому ни исходные данные, ни результаты не сохраняются. Всякийраз при выполнении одной и той же программы, особенно во время её отладки,приходится заново вводить исходные данные.Нельзя обычными программными средствами формировать значенияструктур данных и сохранять их для последующего использования в другихпрограммах. Естественно, необходимо формировать такие структуры данных,которые позволили бы:- формировать большие массивы данных,- своевременно их корректировать,- транспортировать их в другие программыИменно с этой целью в языке программирования Паскаль предусмотренструктурированный тип данных, называемый файлом.

Чтобы сохранить исходные84данные и результаты, надо оформить их в виде файлов, которые хранятся надиске точно так же, как и программа.11.1. Определение файлового типаКак правило, в файлах размещаются данные для длительного хранения, атакже для обработки их различными программами. Вообще под файломпонимается любой набор данных:исходные данные;программа;результаты;любые текстыФайл в операционной системе представляет собой последовательностьэлементов одного типа, расположенных на внешнем уровне.Различают три основных вида файлов:- последовательные;- прямого доступа- индексированные (файлы с ключами).В двух последних типах данных поиск необходимых данных можетосуществляться по адресам данных.Турбо-Паскаль работает с последовательными файлами.Последовательности во многих случаях служат самыми простымиструктурами.

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

В любой моментвремени непосредственно доступна (для чтения и записи) только однакомпонента, другие становятся доступными по мере продвижения по файлу.Таким образом, чтобы прочитать элемент файла, необходимо просмотреть всеэлементы, стоящие до него. Такие файлы называются файлами последовательногодоступа или последовательными файлами. Длинна файла не фиксируется и можетменяться в процессе выполнения программы.Файловый тип в Паскале - это единственный тип значений, посредствомкоторого данные, обрабатываемые программой, могут быть получены извне, арезультаты переданы во внешний мир.11.2. Структура файлаПервоначальный порядок компонент файла определяется самойпоследовательностью.