Говорят, что типы T1 и T2 эквивалентны, если выполняется одно из следующих условий:
- T1 и T2 совпадают
- T1 и T2 - динамические массивы с совпадающими типами элементов
- T1 и T2 - указатели с совпадающими базовыми типами
- T1 и T2 - множества с совпадающими базовыми типами
- T1 и T2 - процедурные типы с совпадающим списком формальных параметров (и типом возвращаемого значения - для функций)
Если типы эквивалентны только если их имена совпадают, то говорят, что имеет место именная эквивалентность типов. Если типы эквивалентны если они совпадают по структуре, то говорят, что имеет место структурная эквивалентность типов.
|