Polymorphism ve Pointer ilişkisi

OOP programlamanın özelliklerinden biri olan Polymorphism mekanizmasının nasıl çalıştığını incelemeye çalışacağız.Wiki sayfasında görüleceği üzere Polymorphism'in farklı şekilleri mevcut.
Bizim inceleyeceğimiz türü ise Subtyping Polymorphism.


Subtyping Polymorphism'in implementasyonundaki ilüzyon ise şu şekilde açıklanabilir; Derleyici virtual method (yada diğer adıyla function) tanımlı bir sınıf tespit ettiğinde, sınıfın içerisine fonksiyonların pointer(adres) bilgilerini tutacağı gizli bir array, diğer adıyla virtual method table(VMT) yerleştirmekte ve daha sonra bu array içerisindeki pointerlara (adreslere), alt sınıfta ki fonksiyonların pointer bilgisini set etmektedir.
Fonksiyon pointer'larının çalışma zamanında set edilmesi veya değiştirilmesinin diğer adı "run time method binding" yada late binding olarak ifade edilmektedir.


Kod üzerinden mekanizmanın nasıl çalıştığını anlamaya çalışalım.
C++
Delphi

Yukarıda ki C++ kod bloğunda Calculation sınıfında Calc ismine sahip bir pure virtual function ve yine Calculation sınıfından miras alan CalculationSum ve CalculationDiv sınıflarını görmekteyiz.

Kodu çalıştırıp, inceleyecek olursak; Calculation sınıfı içersinde ki Calc fonksiyonunun,CalculationSum(Sub Class) içinde ki Calc fonksiyonuna yönlendirildiği,diğer adıyla method binding işleminin gerçekleştiğini görebiliriz.

calculation ve CalculationSum içersinde vftable array'lerin, ilk elemanlarında ki Calc fonksiyonlarına ait adreslerin(Sarı ile çizili) aynı olduğu görebiliriz.

Class,virtual function olmasaydı,yada method binding işlemini biz yapmak isteseydik basit olarak nasıl yapabilirdik ?
C++
Delphi

Son olarak bu konuyu araştırmamı salık veren Tuğrul Beye teşekkür etmeden geçmek olmaz.  :)