Frage zur Vererbung/Überladung

[newbe]

Hallo,

bin grade beim probieren auf folgendes gestoßen was mir nicht ganz einleuchtet. Dazu folgender code:

class Tier {}
class Fisch extends Tier {}
class Vogel extends Tier {}
class Huhn extends Vogel {}
class Spatz extends Vogel {}
class Karpfen extends Fisch {}
class Super {
	public void m(Tier t1, Tier t2)
	{ System.out.println("1"); }
	public void m(Tier t, Fisch f)
	{ System.out.println("2"); }
	public void m(Fisch f, Tier t)
	{ System.out.println("5"); }
}
class Sub extends Super {
	public void m(Vogel v, Fisch f)
	{ System.out.println("4"); }
	public void m(Tier t1, Fisch t2)
	{ System.out.println("3"); }
}
public class TierTest {
	public static void main(String[] args) {
		Tier t1 = new Tier();
		Tier t2 = new Vogel();
		Fisch f = new Karpfen();
		Vogel v1 = new Vogel();
		Vogel v2 = new Spatz();
		Huhn h = new Huhn();
		Karpfen k = new Karpfen();

		Super sup1 = new Super();
		Super sup2 = new Sub();

		sup1.m(h, v2); // Aufruf #1
		sup2.m(v1, f); // Aufruf #2
		sup1.m(t1, t2); // Aufruf #3
		sup1.m(v1, k); // Aufruf #4
		sup1.m(v2, f); // Aufruf #5
		sup2.m(v1, f); // Aufruf #6
	}
}

die Ausgabe des Programm sollte nach meinem Wissen 1 4 1 2 2 4 sein. Ist Sie aber nicht sondern 1 3 1 2 2 3. Nun bin ich aber der Meinung das die Methode public void m(Vogel v, Fisch f) spezieller ist als public void m(Tier t1, Fisch t2). Also änderte ich den Namen der Methode in Sub auf "test" und den Aufruf auf "sup2.test(v1, f);" wenn ich nun compeliere bekomme ich folgenden Fehler:

TierTest.java:40: cannot find symbol
symbol : method test(Vogel,Fisch)
location: class Super
sup2.test(v1, f); // Aufruf #6
^
1 error

Nun hab ich gesehen das sup2 vom Typ Super ist und die Methode test in Super ja nicht existiert. Wenn aber bei der Ausführung des eigentlich Programms sowieso nur die Methoden in der Klasse Super für die Ausführung in Frage kommen warum gibt es dann in der Ausgabe die "3" die ja nur in einer Methode in der Klasse Sub ausgegeben wird.

Ich glaube ich hab das noch nicht ganz verstanden wann bei dieser Zuweisung "Super sup2 = new Sub();" für die Auflösung wichtig ist der Typ von dem sup2 ist oder welches Objekt dem zugeordnet wird.

Wäre für eine kurze Erläuterung dankebar
Gruß

 

[SlaterB]

eine Sub-Klasse kann nur exakt gleichlautende Methoden überschreiben,

wenn der Compiler entscheidet, dass m(Tier t, Fisch f) aufgerufen wird, weil nix besser passt,
dann hat m(Vogel v, Fisch f) in der Subklasse nix zu melden,

wenn aber die Subklasse die Methode m(Tier t, Fisch f) neu implementiert, dann überschreibt diese die Methode der Suber-Klasse,
und wird zur Laufzeit aufgerufen

 

[newbe]

also so ganz hab ich noch nicht verstanden

bei folgender Deklaration:
Super sup1 = new Super();
Super sup2 = new Sub();
Ergebnis: 1 3 1 2 2 3

bei:
Super sup1 = new Super();
Sub sup2 = new Sub();
Ergebnis 1 4 1 2 2 4

und bei:
Super sup1 = new Super();
Super sup2 = new Super();
Ergebnis 1 2 1 2 2 2

beim letzten Bespiel ist klar werden nur die Methoden in Super berücksichtigt, im zweiten auch klar, es werden alle Methoden in Sub und in Super berücksichtigt sofern diese nicht überschrieben wurden. Nur das erste ist nicht ganz klar. Die Methoden aus Super nach dem Sie von Sub überschrieben wurden??

 

[SlaterB]

es gibt kein nachdem, keine zeitliche Reihenfolge,
es wird genau eine Methode aufgerufen, und zwar je nachdem welches Objekt vorliegt, am Typ der Variablen kann man es nicht erkennen,
wenn die Sub-Klasse die Methode überschreibt kommt sie dran, sonst die Super-Klasse