Ответ

В Java механизм динамического связывания (dynamic binding) определяет, какой метод будет вызван на этапе выполнения (runtime), а не на этапе компиляции. Основное отличие от статического связывания (static binding) — то, что статически связываются, например, private, static, final методы и методы в рантайме не переопределяются (binding происходит на этапе компиляции), а динамически — обычные экземплярные методы (в том числе переопределённые). Это делает полиморфизм возможным.

Пример:

class Animal {
    void makeSound() { System.out.println("Some sound"); }
}
class Dog extends Animal {
    void makeSound() { System.out.println("Bark"); }
}
public class Test {
    public static void main(String[] args) {
        Animal a = new Dog();
        a.makeSound(); // Выведет: Bark (динамическое связывание)
    }
}

Здесь метод makeSound() связывается динамически – JVM определяет, какой вариант вызвать, только во время выполнения.

Вопрос с подвохом

Вопрос: "Если объявить переменную типа интерфейса или абстрактного класса и присвоить ей экземпляр дочернего класса, какой метод будет вызван при обращении к переопределённому методу? Как компилятор определяет это?"

Часто ошибаются: многие полагают, что вызывает метод по типу ссылки на этапе компиляции, но это делается JVM на этапе выполнения.

Верный ответ: JVM использует тип реального объекта для вызова метода (динамическое связывание), а не тип ссылки.

Shape s = new Circle();
s.draw(); // будет вызван draw() из Circle, а не из Shape

Примеры реальных ошибок из-за незнания тонкостей темы

---

История

В крупном банковском проекте один разработчик переопределял методы toString() и equals(), полагая, что если объявить переменную через интерфейс, вызовется метод по интерфейсу. Из-за этого сравнение объектов происходило неверно — сравнивались ссылки, а не значения, что привело к ошибочной логике сравнения клиентов при поиске дубликатов.

---

История

В e-commerce проекте разработчик создал базовый класс Product и наследника ElectronicProduct. В массиве Product[] были сохранены объекты обоих типов. При выводе продукта через метод, переопределённый в ElectronicProduct, выводилась информация только базового класса, т.к. был вызван статический метод! Ошибку заметили перед публикацией.

---

История

В проекте по моделированию транспорта был использован шаблон Factory. Разработчик не заметил, что работает с полями, а не с методами: обращение к полю производного класса приводило к возврату значения базового класса, а не переопределённого, так как поля не полиморфны! Система некорректно рассчитывала маршруты, выводя всем объектам тип "Transport".