Что такое связывание в полиморфизме?

Связывание в полиморфизме

Связывание (binding) — это процесс, при котором вызов метода связывается с конкретной реализацией. В контексте полиморфизма это один из ключевых механизмов, определяющих какая версия метода будет выполнена во время выполнения программы.

Два типа связывания

1. Статическое связывание (Static Binding)

Статическое связывание происходит во время компиляции. Компилятор определяет, какой метод вызывать на основе типа переменной, а не типа объекта, на который она указывает.

public class Animal {
    public void eat() {
        System.out.println("Animal eats");
    }
}

public class Dog extends Animal {
    public static void bark() {
        System.out.println("Dog barks");
    }
}

public class Main {
    public static void main(String[] args) {
        Animal animal = new Dog();
        animal.bark();  // ОШИБКА КОМПИЛЯЦИИ!
    }
}

Статическое связывание используется для:

• Статических методов — всегда вызываются по типу переменной
• Приватных методов — не могут быть переопределены
• Финальных методов — не могут быть переопределены

2. Динамическое связывание (Dynamic Binding)

Динамическое связывание происходит во время выполнения программы. JVM определяет, какой метод вызывать на основе фактического типа объекта, а не типа ссылки.

public class Animal {
    public void eat() {
        System.out.println("Animal eats");
    }
}

public class Dog extends Animal {
    @Override
    public void eat() {
        System.out.println("Dog eats meat");
    }
}

public class Cat extends Animal {
    @Override
    public void eat() {
        System.out.println("Cat eats fish");
    }
}

public class Main {
    public static void main(String[] args) {
        Animal animal1 = new Dog();
        Animal animal2 = new Cat();
        
        animal1.eat();  // Выведет "Dog eats meat"
        animal2.eat();  // Выведет "Cat eats fish"
    }
}

Таблица виртуальных методов (VTable)

Каждый класс имеет внутреннюю таблицу виртуальных методов. Когда JVM выполняет вызов метода, она:

1. Определяет фактический тип объекта во время выполнения
2. Ищет метод в VTable этого типа
3. Вызывает соответствующую реализацию

public class Employee {
    public double getSalary() {
        return 50000;
    }
}

public class Manager extends Employee {
    @Override
    public double getSalary() {
        return 80000;
    }
}

public class CEO extends Employee {
    @Override
    public double getSalary() {
        return 200000;
    }
}

Это позволяет писать гибкий код, который работает с объектами разных типов через общий интерфейс.

Ковариантные возвращаемые типы

Начиная с Java 5, разрешено использование ковариантных типов возврата:

public abstract class Animal {
    abstract Food getFood();
}

public class Dog extends Animal {
    @Override
    Meat getFood() {
        return new Meat();
    }
}

Перегрузка vs Переопределение

Перегрузка (Overloading) — статическое связывание:

public void print(String text) { }
public void print(int number) { }

Компилятор определяет версию по типам аргументов.

Переопределение (Overriding) — динамическое связывание:

@Override
public void eat() { }

JVM определяет версию по типу объекта во время выполнения.

Практическое применение

Динамическое связывание позволяет создавать расширяемый код:

public class OrderProcessor {
    private PaymentProcessor paymentProcessor;
    
    public void processOrder(Order order) {
        paymentProcessor.process(order.getAmount());
    }
}

public interface PaymentProcessor {
    void process(double amount);
}

public class CreditCardProcessor implements PaymentProcessor {
    @Override
    public void process(double amount) {
        System.out.println("Processing credit card: $" + amount);
    }
}

public class PayPalProcessor implements PaymentProcessor {
    @Override
    public void process(double amount) {
        System.out.println("Processing PayPal: $" + amount);
    }
}

Выводы

Связывание в полиморфизме разделяется на два типа: статическое связывание (во время компиляции) для статических и приватных методов, и динамическое связывание (во время выполнения) для переопределённых методов. Динамическое связывание — это фундамент полиморфизма и позволяет создавать код, который работает с объектами через общий интерфейс без необходимости знать конкретный тип во время компиляции. Это достигается через механизм виртуальных таблиц методов, которые JVM использует для поиска правильной реализации во время выполнения программы.