C++'ta dinamik bağlama yapılırken tip denetimi nasıl statik kalır?

• Sanal fonksiyonlarla gerçek tip seçimi runtime’da olur, derleyici sadece göstericinin sınıfını kontrol eder. • CRTP gibi şablon teknikleri ise bağlamı compile‑time’da çözer, tip denetimi tamamen statik kalır.

Dinamik bağlama için sanal (virtual) fonksiyonlar kullanılır; çağrı zamanı nesnenin gerçek (dinamik) tipine göre gerçekleşir, ancak göstericinin tip kontrolü derleme zamanında (statik) yapılır.