Справочник по Ada 2012
A.18.11 Обобщенный пакет Containers.Indefinite_Vectors
Определяемый языком обобщенный пакет Containers.Indefinite_Vectors предоставляет частный тип Vector и набор операций. Он предоставляет те же операции, что и пакет Containers.Vectors (см. A.18.2), с той разницей, что обобщенный формальный параметр Element_Type является неопределенным.
Статическая семантика
Декларация обобщенного библиотечного пакета Containers.Indefinite_Vectors имеет то же содержимое и семантику, что и Containers.Vectors, за исключением:
- Обобщенный формальный параметр Element_Type является неопределенным.
- Процедуры со следующими профилями:
procedure Insert (Container : in out Vector;
Before : in Extended_Index;
Count : in Count_Type := 1);
Before : in Extended_Index;
Count : in Count_Type := 1);
procedure Insert (Container : in out Vector;
Before : in Cursor;
Position : out Cursor;
Count : in Count_Type := 1);
Before : in Cursor;
Position : out Cursor;
Count : in Count_Type := 1);
исключены.
- Фактический параметр Element подпрограммы доступа Process процедуры Update_Element может быть ограниченным, даже если Element_Type не ограничен.
- Операции "&", Append, Insert, Prepend, Replace_Element и To_Vector, имеющие формальный параметр типа Element_Type, выполняют неопределенную вставку (см. A.18).
