Objektreferenz

[Say]

Hallo zusammen,

Obwohl ich super(o); im Konstruktor Y entferne (Zeile 14), kompiliert das Programm und gibt das Richtige aus. Warum darf man das? Ich dachte, super muss immer vorhanden sein, solange es eine Vererbung gibt.

class X {
    public X m(){
        return new X(this);
    }
    public X(){}
    public X(X o){}

}
class Y extends X{
    public Y m(){
        return new Y(this);
    }
    public Y(){}
    public Y(Y o) { super(o);}
}
class Test{
    public static void main(String [] args){
        Y y1 = new Y();
        Y y2 = new Y(y1);
        System.out.println(y1.equals(y2));
    }
}

 

[LimDul]

Wenn du keinen super-Aufruf explizit drin hast, wird implizit der Standard-Konstruktor der Oberklasse (der ohne Parameter - Zeile 5) aufgerufen.

 

[Say]

Wenn du keinen super-Aufruf explizit drin hast, wird implizit der Standard-Konstruktor der Oberklasse (der ohne Parameter - Zeile 5) aufgerufen.

Also d.h. ohne super, würde es immer funktionieren, es wird einfach der Standard-Konstruktor der Superklasse aufgerufen. Gibt es Fälle, wo super sicher drin sein muss?

 

[LimDul]

Wenn die Oberklasse keinen Standard-Konstruktor hat, es also in der Oberklasse nur Konstruktoren mit Parameter gibt. Dann musst du den passenden explizit aufrufen. Wenn du also Zeile 14 und Zeile 5 löschst, wirst du eine Fehlermeldung vom Compiler bekommen.

 

[Say]

Wenn die Oberklasse keinen Standard-Konstruktor hat, es also in der Oberklasse nur Konstruktoren mit Parameter gibt. Dann musst du den passenden explizit aufrufen. Wenn du also Zeile 14 und Zeile 5 löschst, wirst du eine Fehlermeldung vom Compiler bekommen.

Wenn ich die Zeile 5 lösche, könnte es nicht den automatisch generierten Konstruktor aufrufen?

 

[temi]

Wenn ich die Zeile 5 lösche, könnte es nicht den automatisch generierten Konstruktor aufrufen?

Nein. der Standard-Konstruktor wird nur automatisch generiert, wenn es keine anderen Konstruktoren gibt.

 

[Say]

public Object m(){ return new Y(this);}

Wenn ich diesen Code in die Klasse Y einfüge, warum kompiliert es nicht? Ist Objekt nicht die Superklasse von allen?

 

[Say]

Nein. der Standard-Konstruktor wird nur automatisch generiert, wenn es keine anderen Konstruktoren gibt.

Danke! Alles klar!

 

[Say]

Was ist genau ein Kopie-Konstruktor, wann brauche ich den überhaupt? Verstehe das Prinzip nicht. Können wir uns auf den Default-Konstruktor verlassen, wenn wir den Kopie-Konstruktor entfernen. Welcher ist der Default-Konstruktor und welcher ist der Kopie-Konstruktor?

 

[temi]

Was ist genau ein Kopie-Konstruktor, wann brauche ich den überhaupt? Verstehe das Prinzip nicht. Können wir uns auf den Default-Konstruktor verlassen, wenn wir den Kopie-Konstruktor entfernen. Welcher ist der Default-Konstruktor und welcher ist der Kopie-Konstruktor?

Der Kopier-Konstruktor dient dazu eine Kopie des Objektes zu erstellen. Er wird benötigt, wenn man eine Kopie des Objektes benötig, sehr platt gesagt.

class Foo {
 
    int bar;
 
    public Foo(int val) {
        bar = val;
    }
 
    // Copy constructor
    public Foo(Foo foo) {
        this(foo.bar); // new Foo with bar from foo
    }
}

Das kann natürlich deutlich komplizierter werden, wenn im Objekt dynamischere Datenstrukturen gespeichert sind. Default- und Kopier-Konstruktor haben miteinander überhaupt nichts zu tun.

 

[temi]

Je nach Implementation der Klasse hinterlässt der Default-Konstruktor ein mehr oder weniger initialsiertes Objekt.

class Foo {
    int value1; // wird mit 0 initialsiert
    int value2 = 42; // wird mit 42 initialsiert
    List<String> list1; // wird mit null (!!!) initialsiert
    List<String> list2 = new ArrayList<>(); // wird mit einer leeren Liste initialisiert
}

 

[Say]

Der Kopier-Konstruktor dient dazu eine Kopie des Objektes zu erstellen. Er wird benötigt, wenn man eine Kopie des Objektes benötig, sehr platt gesagt.

class Foo {
 
    int bar;
 
    public Foo(int val) {
        bar = val;
    }
 
    // Copy constructor
    public Foo(Foo foo) {
        this(foo.bar); // new Foo with bar from foo
    }
}

Das kann natürlich deutlich komplizierter werden, wenn im Objekt dynamischere Datenstrukturen gespeichert sind. Default- und Kopier-Konstruktor haben miteinander überhaupt nichts zu tun.

Warum braucht man einen Kopier-Konstruktor, verstehe ich nicht ganz.

 

[Say]

public Object m(){ return new Y(this);}

Wenn ich diesen Code in die Klasse Y einfüge, warum kompiliert es nicht? Ist Objekt nicht die Superklasse von allen?

Warum?

 

[temi]

Warum?

Weil du versuchst die gleichnamige Methode von X zu überschreiben, dort hat sie aber einen anderen Rückgabetyp.

 

[mihe7]

wann brauche ich den überhaupt? Verstehe das Prinzip nicht

Es geht um den Unterschied von "das gleiche" und "das selbe". Zwei Referenzen können auf das selbe Objekt verweisen oder auf zwei Objekte, die inhaltlich gleich sind.

Point punkt = new Point(3,2); // rechts wird ein neues Objekt erzeugt, dessen Adresse in Variable punkt abgelegt wird.
System.out.println(punkt.x); // es wird 3 ausgegeben.
Point zweiterPunkt = punkt; // die in punkt gespeicherte Adresse wird der Variablen zweiterPunkt zugewiesen
zweiterPunkt.x = 5; // die x-Koordinate des Objekts wird geändert.
System.out.println(punkt.x); // es wird 5 ausgegeben.

EDIT: Hier verweisen punkt und zweiterPunkt also auf das selbe Objekt.

Punkt punkt = new Point(3,2);
Punkt zweiterPunkt = new Point(3,2);

Hier hat man zwei Objekte, die nur inhaltlich gleich sind.

Möchte man nicht, dass ein Objekt verändert wird, verwendet man eine Kopie des Objekts. Dafür eignet sich dann ein Copy-Konstruktor.

 

[mihe7]

Und noch eine Ergänzung: aus dem Grund vergleicht man Objekte normalerweise per equals(), weil man an der inhaltlichen Gleichheit interessiert ist. Will man wissen, ob zwei Variablen auf das selbe Objekt verweisen, verwendet man ==.

 

[Say]

Weil du versuchst die gleichnamige Methode von X zu überschreiben, dort hat sie aber einen anderen Rückgabetyp.

Also heisst das ich muss den Typ explizit angeben und kann es nicht mit Object als Rückgabetyp angeben?

 

[Say]

Es geht um den Unterschied von "das gleiche" und "das selbe". Zwei Referenzen können auf das selbe Objekt verweisen oder auf zwei Objekte, die inhaltlich gleich sind.

Point punkt = new Point(3,2); // rechts wird ein neues Objekt erzeugt, dessen Adresse in Variable punkt abgelegt wird.
System.out.println(punkt.x); // es wird 3 ausgegeben.
Point zweiterPunkt = punkt; // die in punkt gespeicherte Adresse wird der Variablen zweiterPunkt zugewiesen
zweiterPunkt.x = 5; // die x-Koordinate des Objekts wird geändert.
System.out.println(punkt.x); // es wird 5 ausgegeben.

EDIT: Hier verweisen punkt und zweiterPunkt also auf das selbe Objekt.

Punkt punkt = new Point(3,2);
Punkt zweiterPunkt = new Point(3,2);

Hier hat man zwei Objekte, die nur inhaltlich gleich sind.

Möchte man nicht, dass ein Objekt verändert wird, verwendet man eine Kopie des Objekts. Dafür eignet sich dann ein Copy-Konstruktor.

Vielen Dank für die ausführliche Erklärung.

 

[mihe7]

Vielen Dank für die ausführliche Erklärung.

Die war nicht ausführlich. Eine ausführliche Erklärung zu den Referenzen (insbesondere im Zusammenhang mit Arrays) findest Du - mit Bildchen - unter https://www.java-forum.org/thema/von-datentypen-und-mehrdimensionalen-arrays.189506/