1 added
0 removed
Original
2026-01-01
Modified
2026-02-26
1
<p>В информатике (Computer Science) есть такое понятие, как полиморфизм. Возможно, вы про него слышали в связи с объектно-ориентированным программированием. На самом деле полиморфизм - это общее название для немного разных концепций, поэтому важно понимать то, о чем мы говорим в данном конкретном случае. Существует несколько видов полиморфизмов:</p>
1
<p>В информатике (Computer Science) есть такое понятие, как полиморфизм. Возможно, вы про него слышали в связи с объектно-ориентированным программированием. На самом деле полиморфизм - это общее название для немного разных концепций, поэтому важно понимать то, о чем мы говорим в данном конкретном случае. Существует несколько видов полиморфизмов:</p>
2
<ul><li>Ad-hoc полиморфизм.</li>
2
<ul><li>Ad-hoc полиморфизм.</li>
3
<li>Полиморфизм подтипов (subtyping).</li>
3
<li>Полиморфизм подтипов (subtyping).</li>
4
<li>Параметрический полиморфизм.</li>
4
<li>Параметрический полиморфизм.</li>
5
</ul><p>В данном уроке мы поговорим про параметрический полиморфизм и немного про ad-hoc. Параметрический полиморфизм позволяет одному куску кода работать идентично для разных типов данных. Логика этого кода работает независимо от типа, для которого он выполняется. Например, логика кода добавления элемента в список никак не зависит от того, какого типа этот элемент.</p>
5
</ul><p>В данном уроке мы поговорим про параметрический полиморфизм и немного про ad-hoc. Параметрический полиморфизм позволяет одному куску кода работать идентично для разных типов данных. Логика этого кода работает независимо от типа, для которого он выполняется. Например, логика кода добавления элемента в список никак не зависит от того, какого типа этот элемент.</p>
6
<p>Именно это и делают дженерики. Дженерики - это специфичное название для Java, но в его основе лежит параметрический полиморфизм. То есть дженерики - это реализация параметрического полиморфизма для Java. Зачем это нужно знать? Понимая суть вещей, проще читать книги и документацию, общаться с другими программистами, в том числе на других языках. И конечно же, проще учить другие языки. Реализация параметрического полиморфизма есть практически во всех популярных языках. В некоторых она не нужна, так как там такое поведение работает изначально.</p>
6
<p>Именно это и делают дженерики. Дженерики - это специфичное название для Java, но в его основе лежит параметрический полиморфизм. То есть дженерики - это реализация параметрического полиморфизма для Java. Зачем это нужно знать? Понимая суть вещей, проще читать книги и документацию, общаться с другими программистами, в том числе на других языках. И конечно же, проще учить другие языки. Реализация параметрического полиморфизма есть практически во всех популярных языках. В некоторых она не нужна, так как там такое поведение работает изначально.</p>
7
<p>Программирование с использованием дженериков (или параметрического полиморфизма) называется обобщенным программированием (generic programming). Классы и интерфейсы называются обобщенными типами, а методы обобщенными методами. Все эти термины регулярно встречаются в документации, поэтому их важно знать.</p>
7
<p>Программирование с использованием дженериков (или параметрического полиморфизма) называется обобщенным программированием (generic programming). Классы и интерфейсы называются обобщенными типами, а методы обобщенными методами. Все эти термины регулярно встречаются в документации, поэтому их важно знать.</p>
8
<h2>Производительность</h2>
8
<h2>Производительность</h2>
9
<p>Параметрический полиморфизм - это теоретическое понятие, а дженерики - конкретная реализация. Поэтому, говоря о дженериках, нас, например, волнует такая вещь, как производительность. Насколько дженерики эффективны? Дженерики не создают нагрузку в рантайме. Компилятор генерирует нужные классы и интерфейсы для конкретных типов, что немного замедляет время компиляции, но на этом все. В результирующем коде все типы будут указаны явно. Это, например, хорошо видно по подсказкам в редакторе, которые показывают тип в каждом конкретном случае.</p>
9
<p>Параметрический полиморфизм - это теоретическое понятие, а дженерики - конкретная реализация. Поэтому, говоря о дженериках, нас, например, волнует такая вещь, как производительность. Насколько дженерики эффективны? Дженерики не создают нагрузку в рантайме. Компилятор генерирует нужные классы и интерфейсы для конкретных типов, что немного замедляет время компиляции, но на этом все. В результирующем коде все типы будут указаны явно. Это, например, хорошо видно по подсказкам в редакторе, которые показывают тип в каждом конкретном случае.</p>
10
+
<h2>Отличие от ad-hoc полиморфизма</h2>
10
<p>Параметрический полиморфизм иногда путают с остальными видами, особенно с ad-hoc. ad-hoc полиморфизм в Java - это просто перегрузка методов.</p>
11
<p>Параметрический полиморфизм иногда путают с остальными видами, особенно с ad-hoc. ad-hoc полиморфизм в Java - это просто перегрузка методов.</p>
11
<p>Перегрузка методов создает для каждого указанного типа свой собственный метод, поэтому не выполняется главное требование параметрического полиморфизма, в котором работает один кусок кода. Плюс перегрузка работает с ограниченным набором типов, в отличие от параметрического полиморфизма, для которого мы указываем обобщенный тип, подходящий подо все типы. И, как правило, цель перегрузки - реализовать логику работы над типом, в то время как в параметрическом полиморфизме реализуется логика, независящая от типа.</p>
12
<p>Перегрузка методов создает для каждого указанного типа свой собственный метод, поэтому не выполняется главное требование параметрического полиморфизма, в котором работает один кусок кода. Плюс перегрузка работает с ограниченным набором типов, в отличие от параметрического полиморфизма, для которого мы указываем обобщенный тип, подходящий подо все типы. И, как правило, цель перегрузки - реализовать логику работы над типом, в то время как в параметрическом полиморфизме реализуется логика, независящая от типа.</p>