Implementierungsvererbung

class A     { void P () { WriteLine ("A"); } }
class B : A { void P () { WriteLine ("B"); } }

Variable mit statischem Typ A, dynamischem Typ B:

A x = new B (); x.P(); // druckt "A" oder "B"?

Möglichkeiten:

• (default) statischer Dispatch: benutzt statischen Typ

  in B: void new P ()

• dynamischer Dispatch: benutzt dynamischen Typ

  in A: void virtual P(); in B: void override P();