Untertypen in Java

Objekte der Klasse "Object" enthalten verschiedenen Methoden, darunter die Methode "hashCode". Zur Vereinfachung wird hier nur diese Methode betrachtet.

hashCode [Synopsis]

java.lang

  Object

    int hashCode()

      Returns a hash code value for the object.

Jedes Objekt der Klasse "Objekt" enthält also diese parameterlose Methode "hashCode" mit einem Ergebnis vom Typ "int" und dem beschriebenen Verhalten.

In Java ist es nun so, daß jedes Objekt des Typs "java.io.PrintStream" auch eine Methode "hashCode" mit einem Ergebnis vom Typ "int" und dem beschriebenen Verhalten enthält.

Da auch alle anderen Methoden der Klasse "Object" in Objekten vom Typ "java.io.PrintStream" enthalten sind und dort auch die gleiche Schnittstelle (Bedeutung) haben, ist der Typ "java.io.PrintStream" ein semantischer Untertyp des Typs "Object". Er ist in Java auch als Untertyp des Typs "Object" gekennzeichnet und daher auch ein deklarierter Untertyp.

Der Typ "java.io.PrintStream" implementiert alle Signaturen des Typs "Object".

Die Operationen erfüllen auch die Spezifikationen der Operationen des Typs "Object".

Der Typ "java.io.PrintStream" enthält darüber hinaus aber noch weitere Methoden, wie etwa die Methode "println"

Ein Typ und ein Untertyp

.------------------------. 
|                        | 
|        Object          | 
|                        | 
|------------------------| 
|------------------------| 
| + hashCode() : int     | 
'------------------------' 
            | 
            | ist-ein-Untertyp-von ^ 
            | 
.------------------------. 
|                        | 
|  java.io.PrintStream   | 
|                        | 
|------------------------| 
|------------------------| 
| + hashCode() : int     | 
| + println() : void     | 
'------------------------'

Substituierbarkeit von Ausdrücken

Der Typ eines Argumentausdrucks in einem Aufruf muß ein deklarierter Untertyp des Typs des Parameters (gemäß der Dokumentation der Methode) sein.

Diese Anforderung motiviert es auch gleich, warum es für den Programmierer wichtig ist, zu wissen, ob ein Typ ein deklarierter Untertyp eines anderen Typs ist.

Übungsfragen

/ Substituierbarkeit: Welche der folgenden Aufruf ist fehlerfrei? (Zur Lösung soll die Dokumentation der aufgerufenen Methoden herangezogen werden)
o »java.lang.System.out.println( java.lang.System.out )«
o »java.lang.Integer.getInteger( java.lang.System.out )«