Cevap

Java'da dinamik bağlama (dynamic binding) mekanizması, hangi metodun çalıştırılacağını çalışma zamanında (runtime) belirler, derleme zamanında değil. Statik bağlama (static binding)'dan temel farkı, statik olarak belirli, örneğin private, static, final metodlar ve çalışma zamanında geçersiz kılınmayan metotların (bağlama derleme aşamasında gerçekleşirken) dinamik olarak ise normal örnek metotlarının (geçersiz kılınmış olanlar dahil) bağlanmasıdır. Bu durum, çok biçimliliği (polimorfizm) mümkün kılar.

Örnek:

class Animal {
    void makeSound() { System.out.println("Bazı sesler"); }
}
class Dog extends Animal {
    void makeSound() { System.out.println("Havlama"); }
}
public class Test {
    public static void main(String[] args) {
        Animal a = new Dog();
        a.makeSound(); // Çıktı: Havlama (dinamik bağlama)
    }
}

Burada makeSound() metodu dinamik olarak bağlanıyor - JVM, hangi versiyonun çağrılacağını sadece çalışma zamanında belirliyor.

Kandırmaca Sorusu

Soru: "Bir arayüz veya soyut sınıf türünde bir değişken tanımlayıp alt sınıfın bir örneğini atadığımızda, geçersiz kılınmış bir metoda eriştiğimizde hangi metod çağrılacaktır? Derleyici bunu nasıl belirler?"

Yanlış Yapanlar: Birçok kişi, çağırmanın derleme aşamasında referans türüne göre yapıldığını düşünür, ancak bu, JVM tarafından çalışma zamanında yapılır.

Doğru cevap: JVM, metodun çağrılması için gerçek nesnenin türünü kullanır (dinamik bağlama), referans türünü değil.

Shape s = new Circle();
s.draw(); // Circle'dan draw() çağrılacak, Shape'den değil

Konunun inceliklerini bilmemekten kaynaklanan gerçek hata örnekleri

---

Hikaye

Büyük bir bankacılık projesinde bir geliştirici toString() ve equals() metodlarını geçersiz kılarken, bir değişkeni arayüz üzerinden tanımladığında metodun arayüzden çağrılacağını düşündü. Bu nedenle nesnelerin karşılaştırılması yanlış oldu - referanslar değil, değerler karşılaştırıldı, bu da müşteri karşılaştırmalarında hata mantığına yol açtı.

---

Hikaye

E-ticaret projesinde bir geliştirici Temel sınıf Product ve onun alt sınıfı ElectronicProduct'ı oluşturdu. Product[] dizisinde her iki türün nesneleri saklandı. ElectronicProduct'ta geçersiz kılınan bir metodla ürünü çıkardığında sadece temel sınıfın bilgileri çıktı, çünkü statik bir metod çağrıldı! Hata yayınlanmadan önce fark edildi.

---

Hikaye

Taşıma simülasyon projesinde Factory tasarım deseni kullanıldı. Geliştirici, metodlarla değil, alanlarla çalıştığını fark etmedi: türetilmiş sınıfın bir alanına erişim, geçersiz kılınmış olmayan, temel sınıfın değerini döndürüyordu; çünkü alanlar polimorfik değildir! Sistem, tüm nesnelere "Taşıma" türü çıkararak rotaları yanlış hesapladı.