Gedanken zur Vererbung

[yeTh7]

Hi!

Nachdem ich immer versuche die Logik hinter den Spracheigenschaften zu verstehen, was mir auch sehr beim Erlernen von Java geholfen hat, bin ich nun auf ein paar Fragen gestossen wozu ich gerne mal eure Meinung hören würde.

Und zwar ist mir folgendes aufgefallen:
Erste Frage:

Dem Polymorphismus zufolge ruft dieses Konstrukt ...

class Ober {
 int i = 3;

  void bla() {
    // tut irgendwas
  }
}

class Unter extends Ober {
  int i = 5;

  void bla() {
    // macht es noch viel besser
  }
}

...

Ober o = new Unter();
o.bla();

... die (evtl. überschriebene) bla() Methode in Unter auf. - logisch

Wenn man jetzt nach dieser Logik geht dann müsste doch das hier

System.out.println(o.i);

5 ergeben. Aber nein... es verhält sich als ob der Typ statisch wäre und gibt das i vom Ober Objekt aus.

Ich kann nicht ganz nachvollziehen warum... jemand mit mehr Ahnung hier?

____________________________
Zweite Frage:

class Ober {
  void foo() {
    write();
  }
  
  void write() {
    System.out.println("ich bin die oberklasse");
  }
}

class Unter extends Ober {
  void write() {
    System.out.println("ich bin die unterklasse");
  }
}

...

Ober o = new Unter();
o.foo();

Hier wird "ich bin die unterklasse" ausgegeben obwohl foo() nur in der Oberklasse verfügbar ist und man denken könnte dass dieser also auch die Methode aus der selben Klasse verwendet. OK, es ist aber noch nachvollziehbar wenn man davon ausgeht, dass einfach immer die aktuellste Methode verwendet werden soll.

Was mich allerdings stört ist das hier:

class Ober {
  Ober() {
    write();
  }
  
  void write() {
    System.out.println("ich bin die oberklasse");
  }
}

class Unter extends Ober {
  void write() {
    System.out.println("ich bin die unterklasse");
  }
}

...

Ober o = new Unter();

Sogar hier wird das write() aus der erbenden Klasse aufgerufen, wo doch der Kosntruktor aus Ober eben das "obere Objekt" initialisieren soll.



Naja... das wärs erstmal, für Denkanstösse wär ich euch dankbar!

 

[Wildcard]

1.) Variablen können nicht überschrieben werden. Unter anderem deshalb sollte man Variablen auch private machen und getter/setter verwenden
2.) Naja, so funktioniert die Sache nunmal. Wenn eine Methode überschrieben wird, ist sie überschrieben. Schau dir zu dem Thema mal single- vs. double bzw. multiple dispatch an, dann wird erstens die Sache klarer und dir fällt zweitens eine weitere kleine Merkwürdigkeit auf :wink:

 

[yeTh7]

1.) Variablen können nicht überschrieben werden. Unter anderem deshalb sollte man Variablen auch private machen und getter/setter verwenden

Aber wieso ist das Ergebnis dann 3?
Ober o = new Unter();
o.i

Warum gehört i plötzlich zum statischen Typ der Objektvariable wo doch ein Unter Objekt tatsächlich dran hängt? :?:

 

[Wildcard]

Aber wieso ist das Ergebnis dann 3?
Ober o = new Unter();
o.i

Weil Variablen nicht überschrieben werden können. Der Variablentyp ist Ober. Also greift er auf das Feld i von Ober zurück. Unter hat ein super.i und ein this.i, beide mit unterschiedlichem Inhalt.
Sehr hässlich sowas, deshalb private :wink:

 

[yeTh7]

Weil Variablen nicht überschrieben werden können. Der Variablentyp ist Ober. Also greift er auf das Feld i von Ober zurück. Unter hat ein super.i und ein this.i, beide mit unterschiedlichem Inhalt.
Sehr hässlich sowas, deshalb private :wink:

Ahh... jetz is es klar... hier greift also der Polymorphismus nicht...

Nur noch eines: macht man alle Methoden static, dann wird durch Unter.foo() auch das write() aus Ober aufgerufen... sehr verwirrend das alles...

 

[Murray]

Nur noch eines: macht man alle Methoden static, dann wird durch Unter.foo() auch das write() aus Ober aufgerufen... sehr verwirrend das alles...

Weil statische Methoden ebensowenig überschrieben werden können wie Variablen.

 

[yeTh7]

Weil statische Methoden ebensowenig überschrieben werden können wie Variablen.

Naja, überschrieben können sie ja schon werden, denn ich kann sie einfach in der erbenden Klasse neu deklarieren und werden dann auch in jedem Objekt von diesem Typ herangezogen... nur scheint das eben bei Polymorphsimus und bei statischen Geschichten die Ausnahme zu bilden.

 

[hupfdule]

Was mich allerdings stört ist das hier:

class Ober {
  Ober() {
    write();
  }
  
  void write() {
    System.out.println("ich bin die oberklasse");
  }
}

class Unter extends Ober {
  void write() {
    System.out.println("ich bin die unterklasse");
  }
}

...

Ober o = new Unter();

Sogar hier wird das write() aus der erbenden Klasse aufgerufen, wo doch der Kosntruktor aus Ober eben das "obere Objekt" initialisieren soll.

Der Grund ist, dass du in Unter keinen eigenen Konstruktor angegeben hast. Damit wird der Vaterkonstruktor verwendet (klappt nur bei Defaultkonstruktoren oder indem du eplizit super(..) aufrufst). Und in diesem steht write(). Diese Methode wurde überschrieben, also wird die überschriebene verwendet.