Раздел 12: Обобщённые единицы

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

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

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