Statik tipleme özellikli C++ dinamik bağlamayı nasıl mümkün kılar?

Sanallaştırma (virtual) fonksiyonlar sayesinde, nesnenin gerçek (dinamik) sınıfı çalıştırma zamanında tespit edilerek, statik tipteki göstericiden doğru yönteme bağlanır.