Rationale for Ada 2005: Access types
RUSTOPBACKNEXT|
ENG |
Abstract
@ This paper describes various improvements concerning access types for Ada 2005. @ Ada 2005 permits all access types to be access to constant types and to indicate that null is not an allowed value in all contexts. Anonymous access types are permitted in more contexts than just as access parameters and discriminants; they can also be used for variables and all components of composite types. This further use of access types is of considerable value in object oriented programming by reducing the need for (unnecessary) explicit type conversions. @ A further major improvement concerns access to subprogram types which are now allowed to be anonymous in line with access to object types. This permits so-called "downward closures" and allows the flexible use of procedures as parameters of subprograms and thereby avoids excessive use of generic units. @ This is one of a number of papers concerning Ada 2005 which are being published in the Ada User Journal. An earlier version of this paper appeared in the Ada User Journal, Vol. 26, Number 2, June 2005. Other papers in this series will be found in later issues of the Journal or elsewhere on this website. @ Keywords: rationale, Ada 2005.Rationale for Ada 2005: Access types
@ENGRUSTOPBACKNEXTРезюме
@ Эта статья описывает различные усовершенствования связанные с ссылочными типами в Аде 2005.
@ Ада 2005 позволяет всем ссылочным типам ссылаться на константные типы и запрещает использовать пустой указатель во всех контекстах. Анонимные ссылочные типы разрешены в большем количестве контекстов так же как и ссылочные параметры и дискриминанты; они могут также использоваться для переменных и всех компонентов сложных типов. Эти нововведения для ссылочных типов имеют большое значение в ООП, сокращая потребность в (ненужных) явных преобразованиях ссылочных типов.
@ Следующее важное усовершенствование касается ссылок на подпрограммные типы, которым теперь разрешено быть анонимными также как и ссылкам объектных типов. Это разрешает так называемые "downwrad closures" (нисходящие выражения) и разрешает гибкое использование процедур как параметров подпрограмм и, таким образом, избавляет нас от чрезмерного использования родовых модулей.
@ Это одна из серии статей посвящённых Аде 2005, которые издаются в Ada User Jurnal. Более ранняя версия этой статьи была опубликована в Ada User Jurnal, Vol 26, Number 2, June 2005. Другие статьи этого цикла будут опубликованы в более поздних выпусках Журнала или в другом месте на этом вебсайте.
@ Ключевые слова: разъяснение, Ада 2005.
2010-10-24 00:26:53
проектирование и строительство зданий . .