lekcii (Лекции), страница 7

,'это регулярный структурный тип с индексированным методом доступа,. Регулярность структуры означает, во-первых, одинаковый тип всех компонент и, во-вторых, использование в качестве индексной структуры декартова произведения (быть может, композированного, при определении массива через подмассивы) отрезков перечислимых типов (решетчатого многомерного прямоугольного параллелепипеда). сопвС МАХ вЂ” 20; Суре шс1ех -- 1..МАХ; айаг оа1а: аггау~11тс1ех, 1пс1ех) ОС 1пСепег; сопвС 1ИС МАХ вЂ” 20 1НС с4аСа ~МАХОМАХ~; Для массивов в точнос1пи одного и 1пого э1се типа определена операция присваивания и отношение равенства (А:= В и А = В соответственно). Кроме того, могут быть тем или иным образом использованы операции над компонентами, например, .целые и вещественные компоненты массивов можно умножать или располагать в порядке возрастания (убыва,ния) с помощью атрибутов типов этих компонент.

Ввиду скалярности машины фон Неймана обработка, массивов осу1цествляется покомпонснтно, как правило с помощью циклов с параметром (Гог), с подстановкой параметра цикла В индексное В1~1ражение. Кромс того, что сложные индскснь!с Вь!ражения позВОляют Осуществлять различнью обходы или переборы компонент, парамет11 цикла как своеобразное время цикла в индексном выражении становится указателем пространства, т, с. цикл по времени становится циклом по пространству. Также покомпонснтно требуется осуществлять ввод-вывод массивов из текстовых файлов, содержа1цих слова изображения компонент в порядке, определяемом индексными наборами., обычно генерируемыми циклами с параметром (Сог).

ргоигаш р(пгрпС, овраг):, фшс1пс1е <ювсгеат > сопяС шС Х вЂ” 10; шС с4асаЯЩ1 сопвС М вЂ” 10; саг с1ага: аггау11..М,1..1~ оС' шСеиег; : шСеиег; 3.2.10 Понятие о записях Тигг записи — это комбинированный структурный тигг с квалифицированным методом доступа. Комбинированность означает, что поля записи, вообще говоря, имеют различные типы.

Квалифицированный доступ, в отличие от индексированного, негибок и невычислим, так как требует явного указания статически определенных до компиляции имен гюлей. Однако, это компенсируется большой семантической нагрузкой мнемоничных имен полей. С учетом возможной вложешгости определений комбинированных типов, лстко реализуготся иерархические нереляционные структуры, лучше отражающие реа сьные соотношения объектов в обществе и в технике. С помощью оператора-квалификатора иСС1г поля некоторой записи в ограниченном контс кете приобретак>т форму простых переменных. Суре с1агс; гесогс1 с1ау: шСеиег; пюпСЬ: шСеиег; уеаг: шСецег; епс1; яСгпсС с1аге ( шС с1ау; шС топС1г; 1пС уеаг: ); Суре регаоп -- гесогс1 паню.: рас1сес1 аггау[1..20~ оС' сЬаг; Ь1г1 1гс1ау: с1агс; вСгпсС регвоп 174 Ьеиш 1' Ввод ~Г Сог 1: — 1 Со М с1о Ког ): — 1 Со Х с1о геас1(с1аСа~1, ) ~); 1'В од 3 Сог 1: = 1 Со Х с1о Ьеи1п СЬг ): -= 1 Со Х с1о исг1Се(с1ага11, ) ~: О, исг1Се1п епс1 епс1.

шС шаш(тоЫ) ( ',' Ввод Сог(1пС 1 - 0; 1 < Х; 1+ -) Сог(шС ) - 0; ) < ~'1 ) —:+) вгс1 з с1гг» с1асаЯ Ц 1; ,',2 Вывод Сог(1 =- О; 1 < М;11- ) Сего = 0; ) < М; )+-'-) всс1зсопг <=.. с1агаЦЦ~ << " вгс1 з соцС . =. " ' и"; геСпгп 0: сЬаг пап1е~211; с1асе ЬпСЫау; епс1; чаг ЛЧ: регвоп; Ьеиш чч1СЬ 1'ч с1о Ьефп нагие: '1а)неа 'ч'111епепче '; ж1СЬ Ьпгйс1ау с1о Ьенш (1ау: 9; пюпСЬ: 4; уеаг:= 1971; епс1; епс1; епс1. регеоп 1'ч' — 1»1а)пев Ч111спеиче", 19, 4, 1971) ): Суре С вЂ” (ЬЬ, сс,.

й, п); — гесогс1 Суре чапаМ саве С оГ ЬЬ: (Ь сс : (с й: (1 гг : (г епс1; Ьоо1еап); сЬаг); шСеиег)1 геа1); чаг ч: чапап11 Ьеиш огс1('9'):, ът1Се1п(ч. Ь):, ччг1Се1п(~.с):, ът1Се1п(чй); ччг1Се1п(~ .г): епс1. Все варианты такого поля записи размещаются в одной и той же области памяти, длина которой равна максимальной ллине варианта.

Тйповая трактовка этой области памяти зависит от значения селектора. Если занести в вариантное поле данного примера литеру «9» (порядковый номер в АВСП 57) в системе Собирай Равса1 будет напечатано следующее: ТИЗЕ 9 57 0.00000е+00 175 Заметим, что в Паскале нет структурных констант, за исключением строковых.

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

Она трактуется как «Истина», поскольку младший бит соответствукпцего машинного слова равен 1. 3.2.11 Понятие о файлах Самый маленький файл всегда больше самого большого массива! Зайцев В. Е. Структура файла является обобщением понятия последовательности. Поэтому файлы прямого доступа следует считать «массивами на диске». Компоненты файла должны бьггь одного типа, и они доступны только путем последовательного прочтения. Поскольку файлы ввиду их потенциально большого размера размегцаются на устройствах внешней памяти, в каждый момент времени доступна лишь текущая к<гклпонента, файла.

а другие компоненты могут быть получены лишь по<ледовательным прочтением компонент файла вперед, или, после перемотки, с начала. Движения «<назад» нет ввиду инерционности электромеханических устройств. Характерным аппаратурным аналогом последовательного файла является магнитная лента,. В настоящее время на компьк>терах устройства памяти на магнитных лентах существуют, как правило, в ка<.сетном исполнении и практиче<'.ки вытесн<'ны из массового употребления СП,Т)Ъ'В-устройствами. Однако в быту аудио- и видеокассеты вс< егце распространены и поэтому далеко ходить за соответствующими примерами нам не придется.

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

Не следует пытаться заносить весь файл в память, помня приведенное в эпиграфе изречение. Все такие программы це будут работать на больших файлах. Таким образом, разрешается держать в памяти одну или несколько (небольшое «конечное» число) компонент файла. Запрещается помещать в память половину, четверть пли любую другую долю от всегда «бесконечно» большого файла.

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

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

В различных расширениях Паскаля существуют процедуры сопоставления файлам Паскаля произвольных файлов 176 ОС: геве$ со вторым параметром, ореп, аав1дтт, полные имена которых задаются как строковые константы или даже переменные, и это соответствие является динамическим. Внутренние файлы, также как и внешние, описываются в программе как файттовые переменные,.

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

Текстовые файлы представляктт собой распространенный вид файлов, использут'- мых для ввода-вывода или для хранения данных в виде, непосредственно пригодном для ввода-вывода (т. е. в форме внешних изображений, а не как внутримашинные значения). Характерным для текстовых файлов является также интерпретация символа конца строки (ЕОЬ~, разбивающая файл на строки. В стандарте Паскаля доступен только сам факт обнаружения конца, строки вне зависимости от его физической реализации, а не соответствующая литера использумого кода. Часто текстовые файлы бывают только входными тл выходными, как, пштример, 1ХР1 Т и 01)ТРГ1Т в Паскале.

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

Нетекстовые файлы не предназначены для ввода-вывода и хранят данные непосредственно во внутримашипном представлении, которое компактно, экономит не то.тько место на устройствах внешней памяти, но и время их передачи в оперативную память, ттричем зкономия достигается также и потому, что пе требуется перевода значений в текстовые изображения и обратно, как это делается, например, при вводевыводе геа1 и 1пФеяег ттз,тв файльт1ов) 1ХРЕТ!01.ТРЕТ. Эта экономия весьма значительная, поскольку для преобразоьания изображения в значение или значения в изображение требуется его полиномиалытая интерпретация (дсинтерпретация), которая даже при экономной схеме Горнера имеет линейную сложность: каждое число в ттозиционной системе счисления есть значение многочлена с коэффициентами, равными его цифрам, вычисленного в точке, равной основвлию системы счисления.