Справочник Ada 2012
A.18.13 Обобщенный пакет Containers.Indefinite_Hashed_Maps
Определяемый языком обобщенный пакет Containers.Indefinite_Hashed_Maps предоставляет карту с теми же операциями, что и пакет Containers.Hashed_Maps (см. A.18.5), с той разницей, что обобщенные формальные типы Key_Type и Element_Type являются неопределенными.
Статическая семантика
Объявление обобщенного библиотечного пакета Containers.Indefinite_Hashed_Maps содержит те же элементы и семантику, что и Containers.Hashed_Maps, за исключением:
- Обобщенный формальный тип Key_Type является неопределенным.
- Обобщенный формальный тип Element_Type является неопределенным.
- Процедура со профилем:
procedure Insert (Container : in out Map;
Key : in Key_Type;
Position : out Cursor;
Inserted : out Boolean);
Key : in Key_Type;
Position : out Cursor;
Inserted : out Boolean);
исключена.
- Фактический параметр Element подпрограммы доступа Process в Update_Element может быть ограничен, даже если Element_Type не ограничен.
- Операции Include, Insert, Replace и Replace_Element, имеющие формальный параметр типа Element_Type, выполняют неопределенную вставку (см. A.18).
