Übersetzungszeit und Laufzeit

[bartholomaeus87]

Hallo miteinander,

ich habe grade ein kleines Verständnisproblem bezgl. der Übersetzungszeit und der Laufzeit bei Java.
Man liest immer wieder, dass etwas zur Übersetzungszeit noch nicht bekannt ist. Zum Beispiel bei dynamischer Bindung.

Mal angenommen, ich schreibe in meinem Code:

Object a = new JButton("Button1");

Dann ist Object der statische Typ und JButton der dynamische Typ. Und man sagt, dass zur Übersetzungszeit nur der statische Typ bekannt ist. Aber warum ist das so?
Die Übersetzungszeit beginnt doch mit javac name.java? Dann steht doch zu diesem Zeitpunkt in meinem Code bereits JButton. Warum kennt der Compiler denn dann den dynamischen Typ erst zur Laufzeit?

Danke.

 

[temi]

Weil du dem "a" während der Laufzeit auch irgendeinen anderen, in diesem Fall sogar beliebigen, Typen zuweisen kannst. Der statische Typ dagegen bleibt - statisch.

 

[bartholomaeus87]

Ok, danke

 

[mihe7]

Dann ist Object der statische Typ und JButton der dynamische Typ. Und man sagt, dass zur Übersetzungszeit nur der statische Typ bekannt ist. Aber warum ist das so?

Der statische Typ ist einfach der, mit dem eine Variable, ein Parameter oder der Rückgabewert einer Methode deklariert wurde. Der dynamische Typ ist dagegen der Typ des Werts, der der/dem betreffenden Variable/Parameter zugewiesen oder von einer Methode zurückgegeben wurde.

Ein etwas deutlicheres Beispiel:

public void doSomething(Runnable runnable) {
    Runnable r = runnable;
    r.run();
}

Die Variable r ist als Variable vom Typ Runnable deklariert. Damit hat r den statischen Typ Runnable. Die Methode kann mit Objekten beliebigen Typs aufgerufen werden, sofern sie das Runnable-Interface implementieren. Welcher Typ das ist, ist in der Methode doSomething zum Zeitpunkt der Übersetzung nicht bekannt. Erst, wenn die Methode aufgerufen wird, ist klar, wie der dynamische Typ von r lautet.

Man kann sich den Typ auch ausgeben lassen:

public void printDynamicType(Object o) {
    System.out.println("Laufzeittyp: " + 
            (o == null ? "unbekannt, Parameter war null"
                      : o.getClass().getName()));
}

Man beachte, dass hier der Parameter o den statischen Typ Object besitzt.

jshell> printDynamicType("X")
Laufzeittyp: java.lang.String

jshell> List<String> list
list ==> null

jshell> printDynamicType(list)
Laufzeittyp: unbekannt, Parameter war null

jshell> list = new ArrayList<>();
list ==> []

jshell> printDynamicType(list)
Laufzeittyp: java.util.ArrayList