Вопрос проверяет понимание взаимосвязи динамической типизации и реализации полиморфизма в языках программирования, что важно для выбора архитектурных решений.
Динамическая типизация означает, что типы переменных проверяются во время выполнения программы, а не на этапе компиляции. Это напрямую влияет на то, как в языке реализуется полиморфизм — способность объектов с разной внутренней структурой обрабатываться через единый интерфейс.
В динамически типизированных языках (например, Python, JavaScript, Ruby) полиморфизм часто реализуется через механизм "утиной типизации" (duck typing). Принцип гласит: "Если что-то ходит как утка и крякает как утка, то это утка". То есть, объект считается подходящим для операции, если он имеет нужные методы или атрибуты, независимо от его явного типа или иерархии классов.
Рассмотрим функцию, которая работает с любыми объектами, имеющими метод quack.
class Duck:
def quack(self):
return "Quack!"
class Person:
def quack(self):
return "I'm quacking like a duck!"
def make_it_quack(entity):
# Динамический полиморфизм: проверяется только наличие метода
print(entity.quack())
# Оба объекта работают, хотя они из разных классов
duck = Duck()
person = Person()
make_it_quack(duck) # Вывод: Quack!
make_it_quack(person) # Вывод: I'm quacking like a duck!Функция make_it_quack полиморфна: она принимает любой объект, у которого есть метод quack. Не требуется общий базовый класс или явный интерфейс.
quack, программа упадёт с исключением (например, AttributeError в Python).В статически типизированных языках (например, Java, C#) полиморфизм обычно достигается через наследование и явные интерфейсы, что обеспечивает безопасность типов на этапе компиляции. Динамическая типизация смещает эту проверку на runtime, жертвуя безопасностью ради выразительности и лаконичности.
Вывод: Динамическая типизация делает полиморфизм более неявным и гибким через утиную типизацию, что отлично подходит для сценариев, где важна скорость разработки и работа с разнородными данными, но требует тщательного тестирования для избежания runtime-ошибок.
