Rivalry2

HTML Diff

0 added 0 removed

Original 2026-01-01

Modified 2026-02-26

1 <h2>Полиморфизм</h2>

2 Словополиморфизмпроисходит от греческогоπολύμορφος- "многообразный, имеющий множество форм". В программировании это означает способностьодной и той же команды, функции или метода вести себя по-разномув зависимости от типа данных, с которыми он работает.

3 Пример на Python:

4 Функция animal_sound() не знает, кто перед ней - Dog или Cat, но работает одинаково с обоими. Это и естьполиморфизм.

5 <h2>Принципы ООП</h2>

6 Полиморфизм - один изчетырех базовых принципов объектно-ориентированного программирования (ООП)наряду с:

7 <ol><li>Инкапсуляцией- сокрытием деталей реализации.

8 </li>

9 <li>Наследованием- механизмом повторного использования кода.

10 </li>

11 <li>Абстракцией- выделением значимых свойств объекта.

12 </li>

13 </ol>Эти принципы связаны логически. Наследование создает иерархию классов, инкапсуляция прячет детали, абстракция задает общие контракты, а полиморфизм позволяетвзаимодействовать с объектами по этому контракту, не заботясь об их типе.

14 <h3>Принцип подстановки Лисков (LSP)</h3>

15 Полиморфизм подтипов невозможен без соблюденияпринципа подстановки Лисков (Liskov Substitution Principle). Барбара Лисков сформулировала его в 1987 году так:

16 Если S - подтип T, то объекты типа T в программе можно заменить объектами типа S без нарушения корректности.

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

18 Пример нарушения LSP:

19 Square нарушает ожидания клиента, потому что меняет семантику методов базового класса. Формально тип совместим, но поведение - нет. Это антипример корректного полиморфизма.

20 <h2>Виды полиморфизма</h2>

21 Полиморфизм бываетразных видов. Классификация зависит от момента связывания (compile-time / run-time) и способа выражения.

22 <h3>Полиморфизм подтипов</h3>

23 Самый классический вид, реализуемый черезнаследованиеиинтерфейсы.

24 void render(Drawable d) { d.draw(); }

25 Метод render() работает с любым объектом, реализующим интерфейс Drawable. Такой подход облегчает расширение API - можно добавить Triangle, не изменяя render().

26 <h3>Параметрический полиморфизм</h3>

27 Характерен для обобщённого программирования -Generics в Java, C#илиTemplates в C++. Функция становится универсальной для разных типов.

28 Код компилируется отдельно для каждого конкретного типа - так работаетcompile-time полиморфизм.

29 <h3>Ad hoc-полиморфизм</h3>

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

31 Такой полиморфизм тоже "многоформен", но решаетсяна этапе компиляции.

32 <h2>Статический и динамический полиморфизм</h2>

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

34 Динамический (run-time)работает черезвиртуальные функциииvtable. Он позволяет выбирать нужную реализациюво время выполнения программы.

35 <h3>Пример на C++</h3>

36 class Shape {

37 Здесь используетсядинамическая диспетчеризациячерез таблицу виртуальных функций (vtable).

38 Цена вызова:динамический полиморфизм чуть медленнее (1-2 % накладных расходов), но современные компиляторы частоинлайнятвиртуальные вызовы при предсказуемом типе.

39 <h2>Полиморфизм в популярных языках программирования</h2>

40 <h3>C++</h3>

41 <ul><li>virtual, override - основа динамического полиморфизма.

42 </li>

43 <li>templates - параметрический вариант.

44 </li>

45 <li>CRTP (Curiously Recurring Template Pattern) - шаблон, позволяющий имитировать виртуальные вызовы на этапе компиляции.

46 </li>

47 </ul><h3>Java</h3>

48 <ul><li>Поддерживаетдинамический полиморфизмчерез abstract и interface.

49 </li>

50 <li>Перегрузка (overloading) работает статически.

51 </li>

52 <li>Generics реализованы черезtype erasure- типы стираются при компиляции, оставляя единый байт-код.

53 </li>

54 </ul><h3>C#</h3>

55 <ul><li>Generics более мощные: типовая информация сохраняется во время выполнения (reified generics).

56 </li>

57 <li>virtual, override обеспечивают полиморфизм подтипов.

58 </li>

59 <li>dynamic - отдельный механизм позднего связывания.

60 </li>

61 </ul><h3>Python и JavaScript</h3>

62 <ul><li>Основываются наduck typing- "если объект крякает как утка, значит, он утка".

63 </li>

64 <li>Нет формальных интерфейсов (в Python - появились abc и typing.Protocol).

65 </li>

66 <li>Механизм гибкий, но ошибки проявляются только в рантайме.

67 </li>

68 </ul><h3>C</h3>

69 <ul><li>В классическом C нет ООП, но полиморфизм можно реализовать вручную:</li>

70 </ul>Структура с указателем на функцию - ручная версия виртуального метода.

71 <h2>Практическая реализация</h2>

72 <h3>Overriding vs Overloading vs Operator Overloading</h3>

73 Типичная ошибка - путать overriding и overloading, ожидая полиморфизма, где его нет.

74 <h3>Интерфейсы против абстрактных классов</h3>

75 <ul><li>Интерфейсопределяет контракт (только сигнатуры методов).

76 </li>

77 <li>Абстрактный классможет содержать реализацию.

78 </li>

79 <li>Если нужно описать,что делает объект- используйте интерфейс, есликак делает- абстрактный класс.

80 </li>

81 </ul><h3>Композиция против наследования</h3>

82 "Предпочитай композицию наследованию" (GoF)

83 Композиция позволяет гибко собирать объекты, избегая жестких иерархий. Например, класс Car может содержать Engine, а не наследоваться от него.

84 <h3>Расширяемость API: фабрики, стратегии, плагины</h3>

85 Полиморфизм лежит в основе паттернов:

86 <ul><li>Фабричный метод- создает экземпляры разных подклассов по единому интерфейсу.

87 </li>

88 <li>Стратегия- позволяет подменять алгоритм на лету.

89 </li>

90 <li>Плагин-архитектура- динамическое подключение модулей.

91 </li>

92 </ul><h2>Преимущества и ограничения</h2>

93 Плюсы:

94 <ul><li>Унификация интерфейсов, читаемость кода.

95 </li>

96 <li>Возможность расширять функциональность без изменения существующего кода (Open-Closed Principle).

97 </li>

98 <li>Повторное использование, модульность.

99 </li>

100 </ul>Минусы:

101 <ul><li>Усложнение архитектуры при чрезмерных иерархиях.

102 </li>

103 <li>Потери производительности (незначительные, но есть).

104 </li>

105 <li>Затрудненная отладка в глубоко наследуемых структурах.

106 </li>

107 </ul>Практический совет: начинайте с композиции и интерфейсов, добавляйте наследование только при явной необходимости.

108 <h2>Частые ошибки, анти-паттерны</h2>

109 <ul><li>Глубокие иерархии- трудно сопровождать.

110 </li>

111 <li>Нарушение LSP- подтип ломает ожидания клиента.

112 </li>

113 <li>Смешение overloading и overriding- методы не переопределяются, а перегружаются по ошибке.

114 </li>

115 <li>Преждевременная абстракция- добавление интерфейсов "на будущее".

116 </li>

117 </ul>Лучше немного дублировать код, чем создавать абстракцию, которую никто не использует.

118 <h2>FAQ</h2>

119 Что такое полиморфизм в программировании простыми словами?Это способность функции или метода вести себя по-разному в зависимости от типа объекта, с которым он работает.

120 Чем отличается статический полиморфизм от динамического?Статический определяется во время компиляции (overload, templates), а динамический - во время выполнения (virtual methods, duck typing).

121 Что такое принцип подстановки Лисков?Это правило, требующее, чтобы объект подкласса можно было использовать вместо базового без изменения поведения программы.

122 Можно ли реализовать полиморфизм в C?Да, вручную через структуры с указателями на функции - аналог виртуальных методов.

123 <h2>Глоссарий</h2>

124 <ul><li>Подтип- тип, совместимый с базовым, удовлетворяющий LSP.

125 </li>

126 <li>Интерфейс- набор сигнатур методов без реализации.

127 </li>

128 <li>Абстракция- выделение существенных свойств.

129 </li>

130 <li>Перегрузка (overloading)- одинаковое имя, разные параметры.

131 </li>

132 <li>Переопределение (overriding)- новая реализация метода базового класса.

133 </li>

134 <li>Vtable- таблица виртуальных функций, используемая для диспетчеризации вызовов.

135 </li>

136 <li>Диспетчеризация- выбор нужной реализации метода.

137 </li>

138 <li>Generics/Templates- механизм параметрического полиморфизма.

139 </li>

140 <li>Duck typing- поведение определяется набором методов, а не типом.

141 </li>

142 </ul><h2>Ссылки и источники</h2>

143 <ul><li>Barbara Liskov, "Data Abstraction and Hierarchy" (1987)

144 </li>

145 <li>Design Patterns: Elements of Reusable Object-Oriented Software- GoF

146 </li>

147 <li>Effective Java- Joshua Bloch

148 </li>

149 <li>C++ Templates: The Complete Guide- David Vandevoorde

150 </li>

151 <li><a>cppreference.com</a>- документация по C++

152 </li>

153 <li><a>docs.oracle.com/javase/tutorial/java/IandI/polymorphism.html</a>

154 </li>

155 <li><a>python.org/docs</a>

156 </li>

157 <li><a>Microsoft Learn - Polymorphism in C#</a>

158 </li>

159 </ul>