Просмотр кода страницы Утиная типизация

{{Типизация данных}}
'''Неявная [[Тип данных|типизация]]''', '''латентная типизация''' или '''''утиная'' типизация''' ({{lang-en|Duck typing}}) в [[Объектно-ориентированный язык программирования|ОО-языках]] — определение факта реализации определённого [[Интерфейс (объектно-ориентированное программирование)|интерфейса]] [[Объект (программирование)|объектом]] без явного указания или [[Наследование (программирование)|наследования]] этого интерфейса, а просто по реализации полного набора его [[Метод (объектно-ориентированное программирование)|методов]]<ref>{{Статья|ссылка=https://www.google.kz/books/edition/Software_and_Data_Technologies/suy5BQAAQBAJ?hl=ru&gbpv=1&dq=Duck+typing&pg=PA77&printsec=frontcover|автор=Ortin, F., Garcia, M.|заглавие=A Programming Language That Combines the Benefits of Static and Dynamic Typing|год=2013|язык=en|издание=Software and Data Technologies. ICSOFT 2010|месяц=1|число=4|том=170|страницы=77}}</ref>.

== Название ==
Название [[термин]]а пошло от английского ''«duck test»'' («[[утиный тест]]»), суть которого выражается как:
{{Начало цитаты}}
Если это выглядит как утка, плавает как утка и крякает как утка, то это, вероятно, и есть утка.
{{oq|en|If it looks like a duck, swims like a duck and quacks like a duck, then it probably is a duck.}}
{{Конец цитаты}}

== Принцип ==
Считается, что объект реализует [[Интерфейс (объектно-ориентированное программирование)|интерфейс]], если он содержит все [[метод]]ы этого интерфейса, независимо от связей в [[Иерархия|иерархии]] наследования и принадлежности к какому-либо конкретному классу. Таким образом, корректность использования объекта в качестве значения определённого интерфейса определяется либо статически, компилятором, на основании анализа класса, к которому относится объект и проверки реализации им необходимого набора методов, либо динамически, на основании информации о типах среды выполнения.

Такой подход позволяет [[Полиморфизм (информатика)|полиморфно]] работать с [[Объект (программирование)|объектами]], которые не связаны [[Наследование (программирование)|в иерархии наследования]]. Достаточно, чтобы все эти объекты поддерживали ''необходимый набор методов''.

Другим близким подходом является структурные подтипы в [[OCaml]], где типы объектов совместимы, если совместимы [[Интерфейс программирования приложений#Сигнатура функции|сигнатуры]] их методов, независимо от объявленного наследования, причём всё это проверяется во время [[Компиляция (программирование)|компиляции]] [[Компьютерная программа|программы]].

== Проблемы иерархической типизации ==
Утиная типизация решает такие [[Проблема|проблемы]] иерархической типизации, как:
* невозможность явно указать (путём наследования) на совместимость интерфейса со всеми настоящими и будущими интерфейсами, с которыми он идейно совместим;
* [[Экспонента|экспоненциальное]] увеличение числа связей в иерархии типов при хотя бы частичной попытке это сделать.

Утиная типизация практически незаменима в прикладных языках сценариев («скриптов»), где приходится работать с внешними по отношению к программе (скрипту) документами (веб-страницы, текстовые и табличные документы), иерархия объектов которых недоступна.

== Языки, поддерживающие утиную типизацию ==
Утиная типизация поддерживается в том числе в языках: [[Prolog]], [[D (язык программирования)|D]], [[Perl]], [[Smalltalk]], [[Python]], [[Objective-C]], [[Ruby]], [[JavaScript]], [[TypeScript]], [[Groovy]], [[ColdFusion]], [[Boo]], [[Lua]], [[Go]], [[Scala (язык программирования)|Scala]].

== Ссылки ==
* [http://sergeyteplyakov.blogspot.com/2012/08/duck-typing-foreach.html Утиная типизация в C#].
* [http://www.voidspace.org.uk/python/articles/duck_typing.shtml Утиная типизация в Python]{{ref-en}}.
* [https://web.archive.org/web/20081006075246/http://boo.codehaus.org/Duck+Typing Утиная типизация в Boo]{{ref-en}}.

== Примечания ==
{{примечания}}

{{Нет сносок|В статье|дата=2010-03-10}}

[[Категория:Концепции языков программирования]]
[[Категория:Теория типов]]
[[Категория:Объектно-ориентированное программирование]]