C++ dinamik bağlamayı nasıl sağlayabilir ve aynı zamanda statik tipleme korur?

Sanal işlev tabloları (v‑table) ve virtual fonksiyonlar sayesinde nesne gerçek türü dinamik olarak seçilirken, derleme zamanında pointer tipinin statik tipi korunur.