12 Обобщенные единицы

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

Обобщенная единица объявляется с помощью generic_declaration. Эта форма объявления содержит generic_formal_part, объявляющий все обобщенные формальные параметры. Экземпляр обобщенной единицы получается в результате generic_instantiation с соответствующими обобщенными фактическими параметрами для обобщенных формальных параметров. Экземпляр обобщенной подпрограммы — это подпрограмма. Экземпляр обобщенного пакета — это пакет.

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