4.1 Имена

Имя может обозначать объявленные сущности, независимо от того, объявлены ли они явно или неявно (см. 3.1). Имя также может обозначать объекты или подпрограммы, обозначенные значениями доступа; результаты преобразований_типов или вызовов_функций; подкомпоненты и срезы объектов и значений; защищенные подпрограммы, отдельные входные точки, семейства входных точек и входные точки в семействах входных точек. Наконец, имя может обозначать атрибуты любого из вышеперечисленных элементов.

Определенные формы имени (индексированные_компоненты, выбранные_компоненты, срезы и ссылки_на_атрибуты) включают префикс, который сам по себе является именем, обозначающим какую-либо связанную сущность, или неявным_разъяснением значения доступа, обозначающего какую-либо связанную сущность.

Имя в разъяснении (как неявное_разъяснение, так и явное_разъяснение) ожидается, что оно будет любого типа доступа.

Если тип имени в разъяснении — это тип доступа к объекту T, то разъяснение обозначает представление объекта, а номинальный подтип представления — это обозначенный подтип T. Если обозначенный подтип имеет несоставленные дискриминанты, то (фактический) подтип представления ограничен значениями дискриминантов обозначенного объекта, за исключением случая частичного представления типа обозначенного подтипа, не имеющего дискриминантов, в котором случае разъяснение не ограничено значениями дискриминантов.

Если тип имени в разъяснении — это тип доступа к подпрограмме S, то разъяснение обозначает представление подпрограммы, а профиль представления — это обозначенный профиль S.

Вычисление имени определяет сущность, обозначаемую именем. Это вычисление не оказывает никакого другого влияния на имя, являющееся прямым_именем или литералом_символа.

Вычисление имени с префиксом включает вычисление префикса. Вычисление префикса состоит из вычисления имени или неявного_разъяснения. Префикс обозначает сущность, обозначаемую именем или неявным_разъяснением.

Вычисление разъяснения состоит из вычисления имени и определения объекта или подпрограммы, обозначенной значением имени. Проверяется, что значение имени не является нулевым значением доступа. Если эта проверка завершается неудачно, генерируется исключение Constraint_Error. Разяснение обозначает объект или подпрограмму, обозначенную значением имени.

Примеры прямых имён:

Примеры разъяснений: