В чем разница между статическим и динамическим связыванием в Java?

Статическое (Compile-time) связывание происходит на этапе компиляции. Компилятор определяет вызываемый метод, основываясь на типе ссылки. Оно применяется для приватных, статических, final-методов и конструкторов, потому что их реализация известна во время компиляции.

Динамическое (Runtime) связывание происходит на этапе выполнения. Виртуальная машина Java (JVM) определяет вызываемый метод, основываясь на фактическом типе объекта, на который ссылается переменная. Это основной механизм при работе с полиморфизмом, когда подкласс переопределяет метод суперкласса.

Пример:

class Animal {
    void makeSound() {
        System.out.println("Animal makes a sound");
    }
}

class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("Dog barks");
    }
}

public class BindingExample {
    public static void main(String[] args) {
        Animal animal = new Dog(); // Статический тип Animal, динамический тип Dog
        animal.makeSound(); // Динамическое связывание - будет вызван makeSound() из Dog
    }
}

В этом примере animal.makeSound() демонстрирует динамическое связывание. Хотя переменная animal имеет статический тип Animal, фактический объект, на который она ссылается, является экземпляром Dog. JVM определяет это во время выполнения и вызывает переопределенный метод makeSound() из класса Dog.

Сравнение: