К. Йенсен, Н. Вирт - Паскаль - Руководство для пользователя (1109480), страница 24
Текст из файла (страница 24)
*Это отнюдь не означает, что ~ермин «Ьозм всегда следует переводить как «исходный». — Примеч. пер. ** Типы имеют компоненты? Вероятно, речь здесь идет о компонентах строки, но тем не менее так гЬворить не стоит. Дела в том, что «аксиоматическое определение» Паскаля, данное в свое время Хоаром, и вообще «математический» подход к понятию «тип», за который «ратует» Н. Вирт, исходят из того, что «тип» вЂ” зто множества значений, которые можно принимать... н т. д. Значит элементы этого множества и есть компоненты типа. Это еще раз подчеркивает, что «вербальные» определения во многих случаях лишь затуманивают суть дела.
— Примеч. пер. К Типы Тбэ Типы называются присваиваемыми (азз!дпаЫе), если они не файловые, или другие составные типы с компонентами неприсваиваемого типа. Значение, относящееся (роззезз|пд) к типу Т2, называется совместимым по присваивоншо (азз!япгпеп1-сошра11Ые) с типом Т1, если справедливо любое из четырех следующих условий: а) Т1 и Т2 — представляют собой один и тот же присваиваемый тип; б) Т1 — кеа1, а Т2 — (п(едет; в) Т1 и Т2 — совместимые ординальные типы или совместимые множественные типы, а значение (упомянутое выше. — Примеч.
пер.) — элемент из множества значений, определяемых типом Т1; г) Т1 и Т2 — совместимые строковые типы. Ситуация, когда требуется совместимость по присваиванию, причем Т1 и Т2 оба совместимые ординальные типы или совместимые множественные типы, а значение не является элементом множества значений, определенного типом Т1, считается ошибкой. 7. ПЕРЕМЕННЫЕ Переменная относится к типу, определяемому ее описанием, и может принимать значения только этого типа.
Переменная не определена (ппс(е(!пес!), если она не имеет значения своего типа. Переменная называется полностью неопределенной (1о1а(1у ппс)е(!пей), если она не определена и, более того, если полностью не определена каждая компонента такой (составной) переменной. При порождении каждая переменная полностью не определена. Любая переменная, описанная в некотором блоке, порождается при активации блока и уничтожается по окончании активации (см.
равд. !О). Каждая идентифицированная переменная порождается или уничтожается с помощью предописанных процедур !х!ехр нли Гх)зрозе (см. равд. 6.3 и 11.4). Описание переменных вводит одно или более имен переменной и тип, к которому относится каждое из них. Описания переменных собираются вместе н образуют раздел описания переменных. р заел описания переменных = (ыиаг" Описание переменных ' !Описание переменных '*; !!.
Описание переменных = Описан имен:" Тип. Имн переменной = Имя. )70 Описание ляписа Пример раздела описания переменньсхс наг Н, Х, У: Веа1; 7: Саяр)ех; 1, 3 1псееег, К: О..Я; Р, О: Воо' Орегасог: стхиь, Нспоа, П вЂ” у ОгауЗса)е: аггау [О .63[ о! Неа!, НссеоРосепс)а! аггау [Со1ог, Воо)еап[ о) Соер!ех. С1ВНС: Со!ог, Г' )Ь)е о) Спаг; Ние!, Ное2. Се! о) Нпе, Р!, Р2: Регаопроспсег, А, В, С: Яаоагеиасг)х, Муппеаро!са„ 7иегссря расаеО гесогр Агеа: Веа1; Роро!ассоп На!ига); Сарсса): Воо!еап епе; В РБНФ обращение к переменной обозначается метаименем Переменная. Переменная = Полная переменная [ Переменная-номпонента [ Идянтифицирояанная переменная [ Буферная переменнал 7.!. ПОЛНЫЕ ПЕРЕМЕННЫЕ Любая полная переменная представляет собою переменную, обозначенную именем переменной.
Полная переменная = Имя переменноа Примерьс полньсх переменньсх: 1проС Р! НсееоРосепс)а) 7ЯЕ ПЕРЕМЕННЫЕ-КОМПОНЕНТЫ Компонента любой составной переменной — это также некотоРая переменная; переменная-компонента средство обращения 7. Переменные !7! к компоненте составной переменной. Синтаксис переменной-компо- ненты зависит от типа составной переменной. Переменная-компонента = Индексировиннип переменнин ! Обозначение поля. Доступ или указание на компоненту любой составной переменной предполагает доступ или указание на эту составную переменную. 7.2.1.
Индексированные переменные. Индексированная псременная представляет собою компоненту переменной-массива. Переменная-массив — это переменная, относящаяся к массивовому типу. Индексированная переменная= Переменная-массив '*!'*Индекс !", Индекс !"!". Индекс Ординильнос вьгражсние. Псременнан-массив = Переменния. Компонента, к которой идет обращение, — компонента, соответствующая значению индексирующего выражения. Это значение при обращении должно быть совместимо по присваиванию (см.
равд. 6.5) с типом индекса. Если индексных выражений несколько, то порядок их вычислений зависит от реализации Примеры: ьгауьса1е! 12! ьгауБса1е!1+3! у~беогоеепе1а1!яеб, ггие! Если встречается более одного индекса, как, например, в ЧЫеоРо1сп11а! (йес), Тгие! то это просто сокращение для такой записи: Ч!е(еоРо1еп1!а! (КесЦ (Тгпе]. 7.2.2. Обозначение поля. Обозначение ноля относится к некоторому полю переменной-записи. Переменная-запись — это переменная, относящаяся к записному типу. Обовниченис поля = !Переменнин-эапись ""! Имл поля.
Переменнан-винись = Псременнан. Обозначаемое поле есть поле, соответствующее имени поля; монино употреблять лишь имена полей, указанные в записном типе этой переменной-записи. Внутри оператора присоединения, перечисляющего переменные-записи (см. равд.
9.2л1), можно опускать переменную-запись (точнее, ее имя. Примеч. пер.) и символ ' .. !72 Описание язьаш Примеры обозначений полки 7. Ке У!бе о Росе по!а! [й об, Тгие). 1в Р7!.Иоойег Если некоторый вариант переменной-записи становится неактивным, то все компоненты этого варианта становятся полностью неопрсдсленными. Если у вариантной части нет поля признака, то любое обращение (доступ) к компоненте какого-либо варианта делает этот вариант активным, а другие — неактивными.
Если существует ббрап!ение или ссылка на любую из' компонент варианта, который становится неактивным или уже неактивен, то это считается ошибкой. В случае неопределенности поля признака ни один из вариантов не будет активным. Никакое поле признака не должно фигурировать в качестве фактического параметра-переменной. 7.3. ИДЕНТИФИЦИРОВЛННЫЕ ПЕРЕМЕННЫЕ Идентифицированная переменная обозначает переменную, идентифицированную значением переменной-ссылки. Псременнаяссылка — это переменная, относящаяся к ссылочному типу. Иг)ентефицированная переменном = Ссмлочиал переменнан '*1". Ссыломнаы перемениан — Переменназ.
Любое обращение к идентифицированной переменной предполагает обращение к ссылочной переменной (переменной-ссылке); если такая переменная в этот момент не определена или имеет значение п11, то это считается ошибкой. Ошибкой также считается и уничтожение идентифицирующего значения, если переменная, которую это значение идентифицирует, продолжает существоватье.
Примеры идентифицированных переменных: р11 р1!.ЕаФег! р11.Егуепбз!! ч Эта ситуация встречается, если переменной-ссылке, получившей значение с помощью процедуры Нем, присваивается другое значение без «прелваритечьногоз обращения к Образе, т. е. ссылка на порожденную переменную терястсв, но сама она, хотя к ней уже нельзя обратиться, продолжает существовать.— Приивч. пер. 7. Переменные 173 7Л. БУФЕРНЫЕ ПЕРЕМЕННЫЕ Переменная-файл (файловая переменная) — это переменная, относящаяся к файловому типу.
С каждой переменной-файлом связана так называемая буферная переменная. Буферная переменная = Пер«меняем-файл "Г*. Переменная-файл = Переменная. Если переменная-файл относится к типу Тех|, то соответствующая буферная переменная относится к типу Сваг, в противном жс случае — к типу компонент упомянутого файлового типа, т. е. типа, к которому относится переменная-файл. Буферная переменная используется для доступа к текущей компоненте переменной-файла. Если существуют ссылки на буферную переменную, то изменять последовательность (зег)непсс), положение (роз!!|оп) или режим (гпог)е) переменной-файла нельзя„зто ошибка.
Любое обращение (к) или ссылка на буферну|о переменную предполагает обращение или ссылку на соответствующую переменную-файл. В равд. ! 1.4, 11.5 и 12 приводятся предописанныс процедуры и функции, манипулирующие переменными-файлами. Если для любого текстового файла Г справедлив предикат (функция) ео!п(Г) (см. равд. 11.5.2), то буферная переменная Г) принимает значение символа «пробел» ("). Таким образом, обнаружить признак конца строчки в Г можно только с помощью ео|п (Г) .
Примеры буферных переменных: !пра11 Р!1.1г!епйп! Р1! Рггепйп!1.СЬ11йгеп1 8. ВЪ|РАЖЕНИЯ Любое выражение обозначает поавило вычислений, дающих при выполнении выражения некоторое значение. Исключением является лишь случай, когда выражение активирует некоторую функцию, а та заканчивается оператором перехода (см. разд. 9.1.3 и 10). Значение выражения зависит от значений констант, границ и переменных выражения и от операций и функций, включенных в выражение.
!74 Описание языка Выражено = Простое выражение [Операция отношения Простое вырижение!. Простое вглражение.= [Знак[ Терм [Аддитивная операция Терм!. Терм -- Фактор [Мулгаипликатипная операция Факгьр!. Фактор Константа без знака! Имн границ! Переменная! Конструктор мнгогества! Обозначение функции! "поГ Фактпр! "[Гдыражение" 1". Констинта без знака = число без еники [Отроки символов[ Ими когнсгинтьг [ "п[Г Конструктор множестни = "[" [Описиние элемента !"," Описание злемента! [ "1 ". Описинип злементи Ордипильное вырижение [".." Ординальное выражение ! . Обозничение фуыгции = Имн функции [Описок фиктическил париметрон!.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
