Лекция в виде презентации в формате pdf с примерами - 27 слайдов.
ВолгГТУ, кафедра ПОАС, - 2010 год

В лекции рассмотрены все формы полиморфизма функций и методов т представлена их иерархия в виде схемы.

Фрагменты из лекции

Понятие полиморфизма

• Полиморфизм в языке программирования означает многозначность переменных и функций
• Полиморфной функцией является такая функция, которая может вызываться с аргументами различного типа, а фактический выполняемый код зависит от типа аргументов

Преимущества использования полиморфизма

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

Параметризованный полиморфизм

• Обеспечивается за счет так называемых обобщенных функций, которые в языке Си++ называются шаблонами
• Аргументом обобщенной функции является тип, который используется при ее параметризации
• С помощью механизма шаблонов можно создать функцию, которая бы работала с разнотипными аргументами
• Примером таких функций являются обобщенные алгоритмы из STL

Чистый полиморфизм

• Чистый полиморфизм имеет место, когда одна и та же функция применяется к аргументам различных типов
• В случае чистого полиморфизма имеется одна функция (тело кода) и несколько ее интерпретаций
• Реализация чистого полиморфизма возможна только при наличии полиморфных переменных, а точнее полиморфных аргументов
• Чистый полиморфизм позволяет реализовывать обобщенные алгоритмы

Перегрузка или полиморфизм ad hoc

• Перегрузка возникает, когда имеется два или более кода, связанных с одним именем
• Главное назначение перегрузки − сужение концептуального пространства

Перегрузка методов в несвязанных классах

• Все ОО-языки разрешают использовать методы с одинаковыми именами в несвязанных между собою классах − это перегрузка методов
• В этом случае привязка перегруженного имени производится за счет информации о классе, к которому относится получатель сообщения

Параметрическая перегрузка

• Стиль перегрузки, при котором функциям и методам в одном и том же контексте разрешается использовать совместно одно имя, а двусмысленность снимается за счет анализа числа и типов аргументов, называется параметрической перегрузкой.

Замещение методов

• Замещение возникает, когда в базовом и производном классах имеются два метода с одинаковым именем и параметрами
• В этом случае метод базового класса перекрывается методом производного класса с точки зрения пользователя класса

Назначение механизма замещения методов

• Замещение происходит прозрачно (незаметно) для пользователя класса, и, как в случае перегрузки, два метода представляются семантически как одна сущность
• Главное назначение замещения методов − сужение концептуального пространства

Пример замещения метода

Class MyEllipse
{
public:
float area() const

};

{
public:
float area() const
{//использ. более эффективный алгоритм расчета
}
};

MyEllipse ellipse;
MyCircle circle;

// Будет вызван метод MyEllipse::area()
ellipse.print();

// ВНИМАНИЕ!!! Будет вызван метод MyEllipse::area()
circle.print();

Переопределение методов

• При замещении метод базового класса перекрывается методом производного класса только снаружи. Внутри класса вызывается метод базового класса (см. предыдущий пример)
• Переопределение метода возникает, когда метод производного класса подменяет метод базового класса не только снаружи, но и внутри класса
• В языке Си++ для переопределения метода необходимо использовать механизм динамического связывания, т.е. объявить метод виртуальным

Пример переопределения метода

Class MyEllipse
{
public:
virtual float area() const
{ /* численный метод расчета */ }
void print() { printf("area = %f\n", area()); }
};
class MyCircle: public MyEllipse
{
public:
float area() const
{ //использ. более эффективн. алгоритм расчета
return 3.14*Radius1*Radius2;
}
};

MyEllipse ellipse;
MyCircle circle;

// Будет вызван метод MyEllipse::area()
printf("Ellipse area= %f\n", ellipse.area());

// Будет вызван метод MyEllipse::area()
ellipse.print();

// Будет вызван метод MyCircle::area()
printf("Circle area= %f\n", circle.area());

// ВНИМАНИЕ!!! Будет вызван метод MyCircle::area()
circle.print();

Назначение механизма переопределения методов

• Наличие механизма переопределения методов позволяет реализовать в базовом классе общую часть поведения, подразумевая, что отдельные действия будут доопределены (переопределены) в производных классах
• Таким образом, главное назначение механизма переопределения методов - сокращение объема программы

Отложенные методы

• Отложенный метод − это частный случай переопределения, когда метод базового класса не имеет реализации, а любая полезная деятельность задается в методе дочернего класса

Отложенные методы в языке Си++

• В языке Си++ отложенный метод должен быть описан в явном виде с ключевым словом virtual
• Тело отложенного метода не определяется, вместо этого функции «приписывается» значение 0

PHP, ООП, Инкапсуляция, Наследование, Полиморфизм

В этом уроке я расскажу Вам о трех основных понятиях Объектно-Ориентированного Программирования: об Инкапсуляции, Наследовании, Полиморфизме; И научу Вас применять их в разработке.

Инкапсуляция

Инкапсуляция - свойство языка программирования, позволяющее объединить и защитить данные и код в объект и скрыть реализацию объекта от пользователя (программиста). При этом пользователю предоставляется только спецификация (интерфейс ) объекта.

Иными словами при работе с грамотно спроектированным классом мы можем пользоваться только его методами, не вникая в то, как они устроены и как они работают с полями класса. Речь идет о ситуации, когда мы работаем с классом, разработанным другими программистами. Мы же просто пользуемся уже реализованным функционалом.

Приведем другой пример. Принципы инкапсуляции как скрытия внутренней реализации заложены в любой функции PHP. Возможно, вам уже известна функция strpos() для работы со строками из стандартной библиотеки PHP. Эта функция ищет в строке заданную последовательность символов и возвращает ее позицию в виде числа. Если задуматься над реализацией этой функции, то можно предположить, что нам потребуется в цикле просматривать каждый символ от начала строки на совпадение с начальным символом искомой последовательности и в случае такового сравнивать следующие два символа и т. д. Но нам как программистам нет необходимости задумываться над этим и вникать в тонкости реализации данной функции. Нам достаточно знать параметры , которые она принимает, и формат возвращаемого значения . Функция strpos() инкапсулирует в себе решение задачи поиска подстроки, предлагая нам лишь внешний интерфейс для ее использования.

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

В языке PHP концепция инкапсуляции реализована в виде специальных модификаторов доступа к полям и методам классов. Об этом мы поговорим далее.

Наследование

Наследование - механизм объектно-ориентированного программирования, позволяющий описать новый класс на основе уже существующего (родительского), при этом свойства и функциональность родительского класса заимствуются новым классом.

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

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

Это значит, что в классах Квадрат и Треугольник нам не придется повторно задавать поля цвета и площади. Достаточно указать, что упомянутые классы наследуются от класса Фигура.

Теперь давайте рассмотрим еще один пример, более приближенный к реалиям веб-программистов. Сейчас в Интернете огромную популярность завоевали различные блоги. Фактически блог - это просто набор статей. И ключевой сущностью при разработке блога является именно статья.

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

Чтобы реализовать эту ситуацию в PHP, нам потребуется определить два класса: класс для обычной статьи-заметки и класс для новостной статьи. При этом пусть новостная статья расширяет возможности обычной статьи, т. е. наследуется от нее. Для наследования классов в PHP используется ключевое слово extends .

Class { ... // содержимое класса } class { ... // содержимое класса }

Приведенный код определяет класс NewsArticle как наследника Article . Класс Article в свою очередь является родительским для класса NewsArticle . Это значит, что поля и методы класса Article будут также присутствовать в классе NewsArticle , и заново их определять не нужно.

С помощью наследования можно выстраивать целую иерархию классов, наследуя один от другого. В то же время у любого класса может быть только один родитель:

Иногда у нас может появиться необходимость переопределить один из методов родительского класса. Давайте еще раз приведем реализацию класса Article :

Class Article { ... // поля класса // Функция для вывода статьи function view() { echo "

$this->title

$this->content

"; } }

Предположим, что вывод новостной статьи должен отличаться от представления обычной статьи, и мы должны дополнительно выводить время публикации новости. При этом в классе Article уже существует метод view() , отвечающий за вывод статьи. Можно поступить двумя способами. В первом случае можно придумать новый метод в классе NewsArticle , например, с именем viewNews() специально для вывода новости. Однако правильнее использовать одинаковые методы для выполнения схожих действий в наследуемых классах. Поэтому будет лучше, если метод для вывода новости в классе NewsArticle будет называться так же, как и в родительском классе - view() . Для реализации такой логики в PHP существует возможность переопределять родительские методы, т. е. задавать в дочерних классах методыс названиями, совпадающими в родительских классах. Реализация этих методов в родительских классах в таком случае становится неактуальной для класса-потомка. Давайте приведем пример класса NewsArticle с переопределенным методом view() :

Class NewsArticle extends Article { $datetime; // дата публикации новости // Функция для вывода статьи function view() { echo "

$this->title

". strftime("%d.%m.%y", $this->datetime). " Новость

$this->content

"; } }

В приведенном коде используется функция strftime() , которая позволяет выводить даты в удобном виде. Для лучшего понимания кода ознакомьтесь со спецификацией этой функции в справочнике. Для нас же сейчас важно, чтобы вы обратили внимание на то, что класс NewsArticle , как и Article , определяет метод view() . Соответственно, все объекты этого класса будут использовать метод view() , объявленный в классе NewsArticle , а не в Article .

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

Полиморфизм

Полиморфизм - взаимозаменяемость объектов с одинаковым интерфейсом.

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

Давайте рассмотрим следующий пример, который дает представление о сути полиморфизма :

Class A { function Test() { echo "Это класс A
"; } function Call() { $this->Test(); } } class B extends A { function Test() { echo "Это класс B
"; } } $a = new A(); $b = new B(); $a->Call(); // выводит: "Это класс A" $b->Test(); // выводит: "Это класс B" $b->

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

$a->Call(); // выводит: "Это класс A"

В этой строке происходит вызов метода Call() у объекта класса А . Как и определено в функции Call() класса A , происходит вызов метода Test() . Отрабатывает метод Test() у объекта класса A , и на экран выводится текст "Это класс А ".

$b->Test(); // выводит: "Это класс B"

В данной строке происходит вызов метода Test() у объекта класса B . Метод Test() класса B выводит на экран текст "Это класс В ".

$b->Call(); // выводит: "Это класс B"

Наконец, в последней строке происходит вызов класса Call() у объекта класса В . Но в реализации класса B мы не увидим такого метода, а это значит, что он наследуется от класса A , т. к. класс B - это потомок класса A . Что же мы видим в реализации метода Call() класса A ? Следующий код:

$this->Test();

Метод Call() вызывает метод Test() того объекта, в котором находится. Это значит, что отработает метод Test() объекта класса B . Именно этим объясняется результат, выведенный на экране.

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

Понятия инкапсуляции, наследования и полиморфизма можно назвать тремя китами ООП . Понимание и грамотное применение принципов этих концепций - залог успеха разработки с применением ООП.

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

Большой запас

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

Как все начиналось?

Генетика стала бурно развиваться в 60-е годы прошлого столетия, именно тогда стал применяться или ферментов в геле, который позволил определить генетический полиморфизм. Что это за метод? Именно при помощи него вызывается перемещение белков в электрическом поле, которое зависит от размера перемещаемого белка, его конфигурации, а также суммарного заряда в разных участках геля. После этого, в зависимости от расположения и числа пятен, которые появились, проводится идентификация определившегося вещества. Чтобы оценить полиморфизм белка в популяции, стоит исследовать приблизительно 20 или большее количество локусов. Затем с использованием математического метода определяется количество а также соотношение гомо- и гетерозигот. По данным исследований, одни гены могут быть мономорфными, а другие - необычайно полиморфными.

Виды полиморфизма

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

Генный и хромосомный полиморфизм

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

Переходный полиморфизм

Переходный полиморфизм возникает в том случае, когда в популяции происходит замещение аллеля, который когда-то был обычным, другим, который обеспечивает своего носителя большей приспосабливаемостью (это также называется множественным аллелизмом). При данной разновидности есть направленный сдвиг в процентном содержании генотипов, за счет него происходит эволюция, и осуществляется ее динамика. Явление индустриального механизма может стать хорошим примером, который охарактеризует переходный полиморфизм. Что это такое, показывает простая бабочка, которая с развитием промышленности сменила белый цвет своих крыльев на темный. Данное явление начали наблюдать в Англии, где более чем 80 видов бабочек из бледно-кремовых цветов стали темными, что впервые подметили после 1848 года в Манчестере в связи с бурным развитием промышленности. Уже в 1895 году более 95% пядениц приобрели темную окраску крыльев. Связаны такие перемены с тем, что стволы деревьев стали более закопченными, и светлые бабочки стали легкой добычей дроздов и малиновок. Перемены произошли за счет мутантных меланистических аллелей.

Сбалансированный полиморфизм

Определение "полиморфизм сбалансированный" характеризует отсутствие сдвига любых числовых соотношений различных форм генотипов в популяции, которая находится в стабильных условиях среды обитания. Это означает, что из поколения в поколение соотношение остается одним и тем же, но может незначительно колебаться в пределах той или иной величины, которая является постоянной. В сравнении с переходным, сбалансированный полиморфизм - что это? Он в первую очередь является статикой эволюционного процесса. И. И. Шмальгаузен в 1940 году дал ему также название равновесного гетероморфизма.

Пример сбалансированного полиморфизма

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

Другим примером может стать групповая принадлежность крови по системе АВ0. В этом случае частота различных генотипов в различных популяциях может быть различной, но наравне с этим из поколения в поколение она не меняет своего постоянства. Проще говоря, ни один генотип не имеет селективного преимущества перед другим. По данным статистики, мужчины, имеющие первую группу крови, имеют большую ожидаемую продолжительности жизни, чем остальные представители сильного пола с другими группами крови. Наравне с этим, риск развития язвенной болезни 12-перстной кишки при наличии первой группы выше, но она может перфорироваться, и это станет причиной смерти в случае позднего оказания помощи.

Генетическое равновесие

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

Большинство случаев показывают, что ценность таких генов менее единицы, а в случае неспособности таких мутантов к размножению и вовсе все сводится к 0. Мутации такого рода отметаются в процессе естественного отбора, но это не исключает неоднократное изменение одного и того же гена, что компенсирует элиминацию, которая осуществляется отбором. Тогда достигается равновесие, мутировавшие гены могут появляться или, наоборот, исчезать. Это приводит к сбалансированности процесса.

Пример, который может ярко охарактеризовать происходящее, - серповидноклеточная анемия. В данном случае доминантный мутировавший ген в гомозиготном состоянии способствует ранней гибели организма. Гетерозиготные организмы выживают, но они более восприимчивы к заболеванию малярией. Сбалансированный полиморфизм гена серповидноклеточной анемии можно проследить в местах распространения данного тропического заболевания. В такой популяции гомозиготы (особи с одинаковыми генами) элиминируются, наравне с этим действует отбор в пользу гетерозигот (особей с разными генами). За счет происходящего разновекторного отбора в генофонде популяции происходит поддержание в каждом поколении генотипов, которые обеспечивают лучшую приспосабливаемость организма к условиям среды обитания. Наравне с наличием гена серповидноклеточной анемии в есть и другие разновидности генов, характеризующие полиморфизм. Что это дает? Ответом на этот вопрос станет такое явление, как гетерозис.

Гетерозиготные мутации и полиморфизм

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

эволюционного процесса

Эволюционный процесс является непрерывным, и обязательным его условием есть полиморфизм. Что это - показывает постоянная приспосабливаемость той или иной популяции к среде своего обитания. Разнополые организмы, которые обитают в пределах одной группы, могут быть в гетерозиготном состоянии и передаваться из поколения в поколение на протяжении многих лет. Наравне с этим фенотипического проявления их может и не быть - за счет огромного запаса генетической изменчивости.

Ген фибриногена

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

Полиморфизм (программирование)

Кратко смысл полиморфизма можно выразить фразой: «Один интерфейс , множество реализаций».

Полиморфизм - один из четырёх важнейших механизмов объектно-ориентированного программирования (наряду с абстракцией , инкапсуляцией и наследованием).

Полиморфизм позволяет писать более абстрактные программы и повысить коэффициент повторного использования кода . Общие свойства объектов объединяются в систему, которую могут называть по-разному - интерфейс , класс . Общность имеет внешнее и внутреннее выражение:

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

Примеры

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

В функциональных языках

В Haskell существует два вида полиморфизма - параметрический (чистый) и специальный, (на основе классов ). Специальный называют еще ad hoc (от лат. ad hoc - специально). Их можно отличить следующим образом:

Параметрический полиморфизм

Специальный полиморфизм

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

Программистам, переходящим от ООП к ФП , следует знать важное отличие их системы классов. Если в ООП класс «привязан» к объекту, т. е. к данным, то в ФП - к функции. В ФП сведения о принадлежности к классу передаются при вызове функции, а не хранятся в полях объекта. Такой подход, в частности, позволяет решить проблему метода нескольких объектов (в ООП метод вызывается у одного объекта). Пример: метод сложения (чисел, строк) требует двух аргументов, причем одного типа.

Неявная типизация

В некоторых языках программирования (например, в Python и Ruby) применяется так называемая утиная типизация (другие названия: латентная, неявная), которая представляет собой разновидность сигнатурного полиморфизма. Таким образом, например, в языке Python полиморфизм не обязательно связан с наследованием.

Формы полиморфизма

Статический и динамический полиморфизм

(упоминается в классической книге Саттера и Александреску, которая является источником).

Полиморфизм может пониматься как наличие точек кастомизации в коде, когда один и тот же написанный программистом фрагмент кода может означать разные операции в зависимости от чего-либо.

В одном случае конкретный смысл фрагмента зависит от того, в каком окружении код был построен. Это т.н. статический полиморфизм. Перегрузка функций, шаблоны в Си++ реализуют именно статический полиморфизм. Если в коде шаблонного класса вызвана, например, std::sort, то реальный смысл вызова зависит от того, для каких именно типовых параметров будет развернут данный шаблон - вызовется одна из std::sort.

В другом случае конкретный смысл фрагмента определяется только на этапе исполнения и зависит от того, как именно и где именно был построен данный объект. Это обычный, динамический полиморфизм, реализуется через виртуальные методы.

Полиморфизм включения

Этот полиморфизм называют чистым полиморфизмом. Применяя такую форму полиморфизма, родственные объекты можно использовать обобщенно. С помощью замещения и полиморфизма включения можно написать один метод для работы со всеми типами объектов TPerson. Используя полиморфизм включения и замещения можно работать с любым объектом, который проходит тест «is-A». Полиморфизм включения упрощает работу по добавлению к программе новых подтипов, так как не нужно добавлять конкретный метод для каждого нового типа, можно использовать уже существующий, только изменив в нем поведение системы. С помощью полиморфизма можно повторно использовать базовый класс; использовать любого потомка или методы, которые использует базовый класс.

Параметрический полиморфизм

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

Параметрические методы

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

Параметрические типы

Вместо того, чтобы писать класс для каждого конкретного типа следует создать типы, которые будут реализованы во время выполнения программы то есть мы создаем параметрический тип.

Полиморфизм переопределения

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

Полиморфизм-перегрузка

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

Полиморфизм – это принцип ООП, который позволяет использовать один интерфейс и разные алгоритмы. Целью полиморфизма, применительно к ООП, является использование одного имени для задания разных действий. Выполнение действия будет определяться типом данных.

Виды полиморфизма:

Статический (определяется во время компиляции). Перегрузка функций, методов, операторов и т.д.

Динамический (определяется во время выполнения). Содержит виртуальные функции и методы.

22. Наследование как механизм реализации полиморфизма, создания иерархий классов. Типы наследования.

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

Типы наследования: прямое и косвенное, простое и множественное.

23. Классы. Базовые, производные, полиморфные, абстрактные, виртуаль-ные. Примеры.

Класс – особый тип данных, в котором описываются и атрибуты данных и действия, выполняемые над атрибутами.

Базовый класс – класс, члены которого наследуются.

Производный класс – класс, который наследует чужие члены.

Полиморфный класс – класс, содержащий виртуальные методы.

Абстрактный класс – класс, содержащий чисто виртуальные методы.

Виртуальный класс - класс, который при множественном наследовании не включается в классы-потомки, а заменяется ссылкой в них, во избежание дублирования.

24. Принципы раннего и позднего связывания.

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

Ранее связывание - установка таких связей до начала выполнения программы. Обычно под этим понимается связывание в процессе компиляции исходных модулей и компоновки исполняемого модуля из объектных.

Позднее связывание - установка связей в процессе выполнения программы. Речь идет обычно либо о динамических связях (когда только в ходе работы приложения определяется какие объекты будут нужны) либо о формировании таких объектов во время работы.

25. Использование языка uml для спецификации

26. Описание иерархий классов диаграммами uml.

Отношения классов через . И показать разные отношения: прямое, косвенное, множественное.

27. Классы-шаблоны. Описание в uml.

Шабло́н класса - средство языка C++, предназначенное для кодирования обобщённых алгоритмов классов, без привязки к некоторым параметрам (например, типам данных, размерам буферов, значениям по умолчанию).

Синтаксис:

template

class NAME_CLASS

NAME_CLASS B; //Вызов