Nesne yönelimli programlamada çok biçimlilik kavramını açıklayabilir misiniz?

Nesne yönelimli programlamada çok biçimlilik, farklı sınıflardan nesnelerin aynı mesajlara (yöntem çağrılarına) farklı şekilde yanıt verme yeteneğidir. Bu, farklı nesne türleriyle çalışmak için tek bir arayüz kullanmaya olanak tanır.

Java'da örnek:

class Animal {
    void sound() {
        System.out.println("Bir ses");
    }
}

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

class Cat extends Animal {
    @Override
    void sound() {
        System.out.println("Miyav");
    }
}

public class Main {
    public static void main(String[] args) {
        Animal a1 = new Dog();
        Animal a2 = new Cat();
        a1.sound(); // Çıktı: Havlama
        a2.sound(); // Çıktı: Miyav
    }
}

Burada, sound() yöntemi Animal türündeki nesnelerde çağrılır, ancak davranış belirli alt sınıfa bağlıdır — bu çok biçimlilik (polymorphism) örneğidir.