Java: Vererbung/Überschreibung

[Antigo]

Da wird ja das Prinzip der Ersetzbarkeit(?) angewendet, also man Unter als Ober einsetzen, weil Unter ja ein Untertyp von Ober ist.

Wo ist denn da jetzt der Unterschied zu einem expliziten Typecast? Ich spreche in dem Beispiel doch u als Ober an. Das müsste doch äquivalent sein zu einem Aufruf (Ober)u?!