Come si differenziano il binding statico e dinamico dei metodi in Java e quali sono le loro caratteristiche?

In Java, la binding statica e dinamica dei metodi differiscono per il momento in cui viene scelta l'implementazione specifica del metodo da chiamare.

• Binding statico (static binding) avviene durante la compilazione. Include chiamate a metodi statici, privati e finali. Il compilatore sa quale metodo chiamare e collega la chiamata a una implementazione concreta.

• Binding dinamico (dynamic binding) avviene durante l'esecuzione del programma. È caratteristico dei metodi virtuali (metodi di istanza normali), che possono essere sovrascritti nelle sottoclassi. La JVM, al momento dell'esecuzione, determina quale metodo chiamare in base al tipo reale dell'oggetto.

Esempio:

class Animal {
    void sound() {
        System.out.println("Qualche suono");
    }
    static void staticMethod() {
        System.out.println("Metodo statico in Animal");
    }
}

class Dog extends Animal {
    @Override
    void sound() {
        System.out.println("Abbaio");
    }
    static void staticMethod() {
        System.out.println("Metodo statico in Dog");
    }
}

public class Test {
    public static void main(String[] args) {
        Animal a = new Dog();
        a.sound(); // binding dinamico, chiamerà Dog.sound()
        a.staticMethod(); // binding statico, chiamerà Animal.staticMethod()
    }
}

In sintesi, il binding dinamico garantisce il polimorfismo, mentre quello statico offre un funzionamento più veloce e prevedibile per i metodi che non possono essere sovrascritti.