Ада-95. Компилятор GNAT

       

Тэговые типы (tagged types)


Тэговые типы являются нововведением стандарта Ada95.

Они дополняют традиционную систему типов языка Ада, и позволяют обеспечить полную поддержку объектно-ориентированного программирования.

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

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

В традиционном понимании, слово "класс" трактуется как спецификация типа данных и множество методов (операций) этого типа данных.

В отличие от этого, Ада трактует понятие "класс" как набор типов которые объединены иерархией наследования.



Содержание раздела