Основы объектно-ориентированного программирования

         

Ключевые концепции


  • Классы могут иметь формальные родовые параметры, представляющие типы.
  • Родовые классы служат для описания общих контейнерных структур данных, реализуемых одинаково, независимо от элементов, которые они содержат.
  • Универсализация требуется только в типизированном языке, гарантирующем статически проверяемую безопасность типов.
  • Клиент родового класса должен предоставлять фактические типы для формальных параметров.
  • Единственные допустимые операции над сущностью, чей тип является формальным родовым параметром, - это операции, применимые к любому типу. Сущность может быть правой и левой частью оператора присваивания, фактическим аргументом подпрограммы или операндом теста на равенство или неравенство.
  • Понятие массива не требует специального языкового механизма и вполне укладывается в обычную схему родового библиотечного класса.
  • Более гибкое и продвинутое использование универсализации - полиморфные структуры данных и ограниченная универсализация - требует введения наследования.



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