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

Здравствуйте, есть тема полиморфизм. В ней присутствуют два вида динамический и статический. Статический творит что-то на компляции, а второй во время выполнения Не пойму, данные слова, можно ли это поподробнее?

0

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

Могу ошибаться, но я понял так.

2

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

0

Aristarhh, Вот хорошее определение, где происходит динамический полиморфизм:
Если при наличии многоуровневой иерархии виртуальный метод не переопределяется в производном классе, то выполняется ближайший его вариант, обнаруживаемый вверх по иерархии на стадии выполнения приложения.
Допустим, есть класс asbstract class Animal с виртуальным методом virtual Move (). Разные животное по разному передвигаются: птицы летают, рыбы плывут, мы с вами ходим. Но в Move () базового абстрактного класса уже определена как бы общая реализация метода. К примеру, мы точно можем сказать, что положение в пространстве будет меняться. Мы решили создать свое новое животное. Но мы пока не знаем, как именно будет происходить его передвижение в этом случае мы не еще не реализовали более специфичный метод передвижения. Но в любом случае наше животное class MyAnimal наследуется от Animal и имеет метод Move.
Теперь, допустим, мы придумали, как он будет двигаться и переопределили метод. Два метода имеют ту же сигнатуру и одно название. Какой из методов вызывать: родителя или потомка? Ответ на этот вопрос дается во время компиляции. Заключение: первое предложение в ответе.

1

Сообщение от Aristarhh Статический творит что-то на компляции, а второй во время выполнения

Статический - адрес метода который вызывается определяется при компиляции. (пример - обработка шаблонами разных типов)
Динамический - адрес метода который вызывается определяется в рантайме (из VMT объекта чей метод вызывается). Пример - есть действительно рыбки птички и т.п. Запихнули элементы всех в один массив Animal Animals[]. Вызываем для каждого элемента массива Animals виртуальный метод Move, и каждый элемент плывет, летит скачет по своему.
Есть еще параметрический полиморфизм. Пример - у каждого Animal есть поле в котором помечено кто он и куча методов которые реализуют поведение. в методе Move класса Animal примерно вот такой код:
Динамический полиморфизм в плане поведения объектов абсолютно соответствует параметрическому, но при этом предоставляет более удобный синтаксис, гораздо более пригодный для увеличения типа полиморфных объектов и более высокое быстродействие, за счет использования указателя на метод для определения какой метод вызывать для конкретного экземпляра вместо ветвления.

3