Справочное руководство по языку Ада-83


Объекты и именованные числа - часть 2


Примеры:

-- групповое описание объектов JOHN, PAUL : PERSON_NAME := new PERSON(SEX => M); -- CM. 3.8.1 -- эквивалентно единичным описаниям объектов, -- следующим в данном порядке JOHN : PERSON_NAME := new PERSON(SEX => M); PAUL : PERSON_NAME := new PERSON(SEX => M);

Ссылки:

вход 9.5, выражение 4.4, идентификатор 2.3, компонента 3.3, настраиваемая подпрограмма 12.1, настраиваемый модуль 12, настраиваемый формальный объект 12.1.1, область действия 8.2, описание 3.1, описание исключения 11.1, описание одиночной задачи 9.1, описание параметра настройки 12.1, описание субконстанты 7.4, определение индексируемого типа 3.6, отрезок 4.1.2, параметр цикла 5.5, подпрограмма 6, простое имя 4.1, спецификация дискриминанта 3.7.1, спецификация параметра 6.1, ссылочный тип 3.8, статическое выражение 4.9, тип 3.3, тип универсальный вещественный 3.5.6, тип универсальный целый 3.5.4, указание подтипа 3.3.2, указывать 3.8, формальный объект настройки 12.1.1, формальный параметр 6.1, числовой тип 3.5.

3.2.1. ОПИСАНИЯ ОБЪЕКТОВ

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

Описываемый объект —

константа,

если в описании объекта присутствует зарезервированное слово

constant.

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

Объект, не являющийся константой, называется

переменной

(в частности, объект, заданный описанием объекта без зарезервированного слова




Начало  Назад  Вперед



Книжный магазин