6.6 Klassen- und Objektinitialisierung

Eine wichtige Eigenschaft guter Programmiersprachen ist ihre Fähigkeit, keine uninitialisierten Zustände zu erzeugen. Bei lokalen Variablen achtet der Compiler auf die Belegung, also ob vor dem ersten Lesezugriff schon ein Wert zugewiesen ist. Bei Objektvariablen und Klassenvariablen haben wir bisher festgestellt, dass die Variablen automatisch mit 0, null oder false oder mit einem eigenen Wert belegt werden. Wir wollen jetzt sehen, wie dies genau funktioniert.

6.6.1 Initialisierung von Objektvariablen

Wenn der Compiler eine Klasse mit Objekt- oder Klassenvariablen sieht, dann müssen diese Variablen an irgendeiner Stelle initialisiert werden. Werden sie einfach deklariert und nicht mit einem Wert initialisiert, so regelt die virtuelle Maschine die Vorbelegung. Spannender ist der Fall, wenn den Variablen explizit ein Wert zugewiesen wird (der auch 0 sein kann). Dann erzeugt der Compiler automatisch einige zusätzliche Zeilen.

Betrachten wir dies zuerst für eine Objektvariable:

Listing 6.37 InitObjectVariable.java

class InitObjectVariable 
{ 
  int j = 1; 
 
  InitObjectVariable() 
  { 
    // Nothing to add 
  } 
 
  InitObjectVariable( int j ) 
  { 
    this.j = j; 
  } 
 
  InitObjectVariable( int x, int y ) 
  { 
    // Nothing to add 
  } 
}

Die Variable j wird mit 1 belegt. Es ist wichtig zu wissen, an welcher Stelle Variablen ihre Werte bekommen. So erstaunlich es klingt, aber die Zuweisung findet im Konstruktor statt. Das heißt, der Compiler wandelt das Programm bei der Übersetzung eigenmächtig wie folgt um:

class InitObjectVariable 
{ 
  int j; 
  InitObjectVariable() 
  { 
    j = 1; 
  } 
 
  InitObjectVariable( int j ) 
  { 
    this.j = 1; 
    this.j = j; 
  } 
 
  InitObjectVariable( int x, int y ) 
  { 
    j = 1; 
  } 
}

Wir erkennen, dass die Variable wirklich nur bei Aufruf des Konstruktors initialisiert wird. Die Zuweisung steht dabei in der ersten Zeile. Dies kann sich als Falle erweisen, denn problematisch ist etwa die Reihenfolge der Belegung.

Manuelle Nullung

Genau genommen initialisiert die Laufzeitumgebung jede Objekt- und Klassenvariable zunächst mit 0, null oder false und später mit einem Wert. Daher ist die Nullung von Hand nicht nötig:

class NeedlessInitNull 
{ 
  int    i = 0;                  // unnötig 
  String s = null;               // unnötig 
}

Der Compiler würde nur zusätzlich in jeden Konstruktor die Initialisierung i = 0, s = null einsetzen. [Wir wollen hier den Fall, dass der Konstruktor der Oberklasse i einen Wert ungleich 0 setzt, nicht betrachten.] Aus diesem Grund ist auch Folgendes nicht meisterhaft:

class NeedlessInitNull 
{ 
  int i = 0; 
  NeedlessInitNull( int i ) { this.i = i; } 
}

Die Belegung für i wird sowieso überschrieben.

6.6.2 Statische Blöcke als Klasseninitialisierer

Eine Art Konstruktor für das Klassenobjekt selbst (nicht die Exemplare der Klasse) ist ein static-Block, der einmal oder mehrmals in eine Klasse gesetzt werden kann. Jeder Block wird genau dann ausgeführt, wenn die Klasse vom Klassenlader in die virtuelle Maschine geladen wird. [In der Regel geschieht dies nur einmal während eines Programmlaufs. Unter gewissen Umständen – ein eigener Klassenlader für die Klasse – kann jedoch eine Klasse auch aus dem Speicher entfernt und dann mit einem anderen Klassenlader wieder neu geladen werden. Dann werden die static-Blöcke neu ausgeführt.] Der Block heißt Klasseninitialisierer oder statischer Initialisierungsblock.

Listing 6.38 StaticBlock.java

class StaticBlock 
{ 
  static 
  { 
    System.out.println( "Eins" ); 
  } 
 
  public static void main( String[] args ) 
  { 
    System.out.println( "Jetzt geht's los." ); 
  } 
  static 
  { 
    System.out.println( "Zwei" ); 
  } 
}

Lädt der Klassenlader die Klasse StaticBlock, so führt er zuerst den ersten Block mit der Ausgabe »Eins« aus und dann den Block mit der Ausgabe »Zwei«. Da die Klasse StaticBlock auch das main() besitzt, führt die virtuelle Maschine anschließend die Startfunktion aus.

6.6.3 Initialisierung von Klassenvariablen

Abschließend bleibt die Frage, wo Klassenvariablen initialisiert werden. Im Konstruktor ergibt dies keinen Sinn, da für Klassenvariablen keine Objekte angelegt werden müssen. Dafür gibt es den static{}-Block. Dieser wird immer dann ausgeführt, wenn der Klassenlader eine Klasse in die Laufzeitumgebung geladen hat. Für eine statische Initialisierung wird also wieder der Compiler etwas einfügen.

public class InitStaticVariable 
{ 
  static int staticInt = 2; 
}

public class InitStaticVariable 
{ 
  static int staticInt; 
  static 
  { 
    staticInt = 2; 
  } 
}

6.6.4 Exemplarinitialisierer (Instanzinitialisierer)

Neben den Konstruktoren haben die Sprachschöpfer eine weitere Möglichkeit vorgesehen, um Objekte zu initialisieren. Diese Möglichkeit wird insbesondere bei anonymen, inneren Klassen wichtig, also bei Klassen, die sich in einer anderen Klasse befinden.

Ein Exemplarinitialisierer ist ein Konstruktor ohne Namen. Er besteht in einer Klassendeklaration nur aus einem Paar geschweifter Klammern und gleicht einem statischen Initialisierungsblock ohne das Schlüsselwort static:

class Klasse 
{ 
  { 
     // Exemplarinitialisierer. 
  } 
}

Mit Exemplarinitialisierern Konstruktoren vereinfachen

Die Exemplarinitialisierer können gut dazu verwendet werden, Initialisierungsarbeit bei der Objekterzeugung auszuführen. In den Blöcken lässt sich Programmcode setzen, der sonst in jeden Konstruktor kopiert oder andernfalls in einer gesonderten Methode zentralisiert werden müsste. Mit dem Exemplarinitialisierer lässt sich der Programmcode vereinfachen, denn der gemeinsame Teil kann in diesen Block gelegt werden, und wir haben Quellcode-Duplizierung im Quellcode vermieden. Allerdings hat die Technik gegenüber einer langweiligen Initialisierungsmethode auch Nachteile:

• Zwar ist im Quellcode die Duplizierung nicht mehr vorhanden, aber in der Klassendatei steht sie wieder. Das liegt daran, dass der Compiler alle Anweisungen des Exemplarinitialisierers in jeden Konstruktor kopiert.

• Exemplarinitialisierer können schnell übersehen werden. Ein Blick auf den Konstruktor verrät uns dann nicht mehr, was er alles macht, da verstreute Exemplarinitialisierer Initialisierungen ändern oder hinzufügen können. Die Initialisierung trägt damit nicht zur Übersichtlichkeit bei.

• Ein weiteres Manko ist, dass die Initialisierung nur bei neuen Objekten, also mit new(), durchgeführt wird. Wenn Objekte wiederverwendet werden sollen, ist eine private Methode wie initialize(), die das Objekt wie frisch erzeugt initialisiert, gar nicht so schlecht. Eine Methode lässt sich immer aufrufen, und damit sind die Objektzustände wie neu.

• Die API-Dokumentation führt Exemplarinitialisierer nicht auf; die Konstruktoren müssen also die Aufgabe erklären.

Mehrere Exemplarinitialisierer

In einer Klasse können mehrere Exemplarinitialisierer auftauchen. Sie werden der Reihe nach durchlaufen, und zwar vor dem eigentlichen Konstruktor. Der Grund liegt in der Realisierung der Umsetzung: Der Programmcode der Exemplarinitialisierer wird an den Anfang aller Konstruktoren gesetzt. Objektvariablen wurden schon initialisiert. Ein Programmcode wie der folgende ...

Listing 6.39 WhoIsAustin.java

class WhoIsAustin 
{ 
  String austinPowers = "Mike Myers"; 
 
  { 
    System.out.println( "1 " + austinPowers ); 
  } 
 
  WhoIsAustin() 
  { 
    System.out.println( "2 " + austinPowers ); 
  } 
}

... wird vom Compiler also umgebaut zu:

class WhoIsAustin 
{ 
  String austinPowers; 
 
  WhoIsAustin() 
  { 
    austinPowers = "Mike Myers"; 
    System.out.println( "1 " + austinPowers ); 
    System.out.println( "2 " + austinPowers ); 
  } 
}

Wichtig ist abschließend zu sagen, dass vor dem Zugriff auf eine Objektvariable im Exemplarinitialisierer diese auch deklariert sein muss. So führt Folgendes zu einem Fehler:

class WhoIsDrEvil 
{ 
  { 
    System.out.println( drEvil );      // Ein Compilerfehler 
  } 
 
  String drEvil = "Mike Myers"; 
}

6.6.5 Finale Werte im Konstruktor und in statischen Blöcken setzen

Wie die Beispiele im vorangegangenen Abschnitt zeigen, werden Objektvariablen erst im Konstruktor gesetzt und statische Variablen in einem static-Block. Diese Tatsache müssen wir jetzt mit finalen Variablen zusammenbringen, was uns dazu bringt, dass auch sie in Konstruktoren beziehungsweise in Initialisierungsblöcken zugewiesen werden. Im Unterschied zu nicht-finalen Variablen müssen finale Variablen auf jeden Fall gesetzt werden, und nur genau ein Schreibzugriff ist möglich.

Finale Werte aus dem Konstruktor belegen

Eine finale Variable darf nur einmal belegt werden. Das bedeutet nicht zwingend, dass sie am Deklarationsort mit einem Wert belegt werden muss, sondern es ist möglich, das auch später vorzunehmen. Der Konstruktor darf zum Beispiel finale Objektvariablen beschreiben. Das Paar finale Variable und initialisierender Konstruktor ist ein häufig genutztes Idiom, wenn Variablenwerte später nicht mehr geändert werden sollen. So ist im Folgenden die Variable pattern final, da sie nur einmalig über den Konstruktor gesetzt und anschließend nur noch gelesen wird.

Listing 6.40 Pattern.java

public class Pattern 
{ 
  private final String pattern; 
 
  public Pattern( String pattern ) 
  { 
    this.pattern = pattern; 
  } 
 
  public String getPattern() 
  { 
    return pattern; 
  } 
}

Konstante mit Dateiinhalt initialisieren

Mit diesem Vorgehen lassen sich auch »variable« Konstanten angeben, deren Belegung sich erst zur Laufzeit ergibt. Im nächsten Beispiel soll eine Datei eine Konstante enthalten: die Hubble-Konstante [http://de.wikipedia.org/wiki/Hubble-Konstante] :

Listing 6.41 hubble-constant.txt

77

Die Hubble-Konstante bestimmt die Expansionsgeschwindigkeit des Universums und ist eine zentrale Größe in der Kosmologie. Dummerweise ist die genaue Bestimmung schwer und der Name Konstante eigentlich unpassend. Damit eine Änderung des Wertes nicht zur Neuübersetzung des Java-Programms führen muss, legen wir den Wert in eine Datei und belegen gerade nicht direkt die finale statische Konstantenvariable. Die Klasse liest in einem static-Block den Wert aus der Datei und belegt die finale statische Konstante.

Listing 6.42 LateConstant.java

public class LateConstant 
{ 
  public final static int     HUBBLE; 
  public final        String  ISBN; 
 
  static 
  { 
    HUBBLE = new java.util.Scanner( 
      LateConstant.class.getResourceAsStream("hubble-constant.txt")).nextInt(); 
  } 
 
  public LateConstant() 
  { 
    ISBN = "3572100100"; 
  } 
 
  public static void main( String[] args ) 
  { 
    System.out.println( HUBBLE );                      // 77 
 
    System.out.println( new LateConstant().ISBN );     // 3572100100 
  } 
}

Die Methode getResourceAsStream() liefert einen Datenstrom zum Dateiinhalt, den die Klasse Scanner als Eingabequelle zum Lesen nutzt. Die Objektmethode nextInt() liest anschließend eine Ganzzahl aus der Datei.

Ihr Kommentar