Утиная типизация
Латентная, неявная или утиная типизация (калька с англ. Duck typing) — вид динамической типизации, применяемой в некоторых языках программирования (Perl, Smalltalk, Objective-C, Python, Ruby, Groovy, ColdFusion, Boo, C#), когда границы использования объекта определяются его текущим набором методов и свойств, в противоположность наследованию от определённого класса. То есть считается, что объект реализует интерфейс, если он содержит все методы этого интерфейса, независимо от связей в иерархии наследования и принадлежности к какому-либо конкретному классу.
Название термина пошло от английского «duck test» («тест на утку»), который в оригинале звучит как:
- «If it looks like a duck, swims like a duck and quacks like a duck, then it probably is a duck».
- («Если что-то выглядит как утка, плавает как утка и крякает как утка, то, вероятно, это утка».).
Утиная типизация решает такие проблемы иерархической типизации, как:
- невозможность явно указать (путем наследования) на совместимость интерфейса со всеми настоящими и будущими интерфейсами, с которыми он идейно совместим;
- экспоненциальное увеличение числа связей в иерархии типов при хотя бы частичной попытке это сделать.
Другим близким подходом является структурные подтипы в OCaml, где типы объектов совместимы, если совместимы сигнатуры их методов, независимо от объявленного наследования, причём всё это проверяется во время компиляции программы.
[править] См. также
[править] Ссылки
- Утиная типизация в Python (англ.).
- Утиная типизация в Boo (англ.).
 |
В статье имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из-за отсутствия сносок.
Вы можете улучшить статью, внеся более точные указания на источники.
|
