Overview of changes

Rationale for Ada 2005: Access types

ENG

1. Overview of changes

@ The WG9 guidance document [1] does not specifically mention access types as an area needing attention. Access types are, of course, more of a tactical detail than a strategic issue and so this is not surprising.

@ However, the guidance document strongly emphasizes improvements to object oriented programming and the use of access types figures highly in that area. Indeed one of the motivations for changes was to reduce the number of explicit access type conversions required for OOP.

@ The guidance document also asks for "improvements that will remedy shortcomings in Ada". The introduction of anonymous access-to-subprogram types comes into that category in the minds of many users.

@ The following Ada issues cover the relevant changes and are described in detail in this paper:

230 Generalized use of anonymous access types
231 Access to constant parameters, null-excluding types
254 Anonymous access to subprogram types
318 Limited and anonymous access return types
363 Eliminating access subtype problems
382 Current instance rule and anonymous access types
384 Discriminated type conversion rules
385 Stand-alone objects of anonymous access types
392 Prohibit unsafe array conversions
402 Access discriminants of nonlimited types
404 Not null and all in access parameters and types
406 Aliased permitted with anonymous access types
409 Conformance with access to subprogram types
416 Access results, accessibility and return statements
420 Resolution of universal operations in Standard
423 Renaming, null exclusion and formal objects

@ These changes can be grouped as follows.

@ First, there is a general orthogonalization of the rules regarding whether the designated type is constant and whether the access subtype includes null (231, part of 404, part of 423).

@ A major change is the ability to use anonymous access types more widely (230, part of 318, 385, 392, part of 404, 406, part of 416, part of 420). This was found to require some redefinition of the rules regarding the use of a type name within its own definition (382). Access discriminants are now also permitted with nonlimited types (402).

@ The introduction of anonymous access-to-subprogram types enables local subprograms to be passed as parameters to other subprograms (254, 409). This has been a feature of many other programming languages for over 40 years and its omission from Ada has always been both surprising and irritating and forced the excessive use of generics.

@ Finally there are some corrections to the rules regarding changing discriminants which prevent attempting to access components of variants that do not exist (363). There is also a change to the rules concerning type conversions and discriminants to make them symmetric (384).

Rationale for Ada 2005: Access types

@ENGRUSTOPBACKNEXT

1. Обзор изменений

@ Руководящий документ [1] WG9 не рассматривает ссылочные типы как область, нуждающуюся во внимании. Т.к. ссылочные типы больше тактический инструмент чем стратегический.

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

@ Руководящий документ гласит "усовершенствования, которые исправят недостатки в Аде". Введение анонимных ссылочных типов на подпрограммы входит в эту категорию в умах многих пользователей.

@ Приведём список проблем Ады связанных с вышеперчисленными изменениями которые будем рассматривать в этой статье:

230 Обобщение использования анонимных ссылочных типов;
231 Ссылка на константные параметры, исключающая пустой указатель;
254 Анонимные ссылки на подпрограммные типы;
318 Ограниченные и анонимные ссылочные return типы;
363 Устранение проблем с ссылками на субтипы (subtype);
382 Current instance правило и анонимные ссылочные типы;
384 Правила преобразования дискриминантных типов;
385 Автономные объекты анонимных ссылочных типов;
392 Запрет потенциально опасных пробразований массивов;
402 Ссылочные дискриминанты неограниченных типов;
404 Не пустой указатель, и всё о ссылочных параметрах и типах;
406 Aliased разрешения с анонимными ссылочными типами;
409 Соответствие ссылочных типов на подпрограммы;
416 Ссылочные результаты, доступность и return-утверждения;
420 Разрешение универсальных операций в Standard;
423 Переименовывания, нулевое исключение и формальные объекты.

@ Эти изменения могут быть группированы следующим образом.
@ Сначала, есть общее ортогональное правило относительно того, является ли определяемый тип константным и разрешает ли ссылочный подтип пустой указатель (231, часть 404, часть 423).

@ Главное изменение - возможность использовать анонимные ссылочные типы более широко (230, часть 318, 385, 392, часть 404, 406, часть 416, часть 420). Это потребовало некоторого переопределения правил использования имени типа в пределах его собственного определения (382). Ссылочные дискриминанты теперь также разрешаются с неограниченными типами (402).

@ Введение анонимных ссылочных типов к подпрограмме дает возможность локальным подпрограммам быть переданными в качестве параметра для других подпрограмм (254, 409). Эта возможность была во многих других языках программирования в течение более чем 40 лет, и её отсутствие в Аде всегда и удивляло и раздражало и вызвало чрезмерное использование generics.

@ Наконец, есть некоторые исправления правил связаннх дискриминантами, которые предотвращают попытки обратиться к компонентам вариантов, которых не существует (363). Есть также изменения к правилам преобразований типов и дискриминантов, чтобы сделать их симметричными (384).

@ ENG RUS

TOP BACK NEXT

2010-10-24 00:26:53

. .