Klasse B ist abgeleitet von Klasse A. Klasse B überschreibt eine Methode p von A. Ein B-Objekt x wird als A-Objekt benutzt. Was bedeutet x.p?
abhängig vom deklarierten Typ (Basisklasse)
virtual
abhängig vom tatsächlichen Typ (abgeleitete Klasse)
implementiert durch Methodentabelle (virtual function table)