Nächste Seite: Ausdrücke
Aufwärts: Grundlagen der Java-Programmierung (Vorlesung
Vorherige Seite: Deklarationen von Variablen
Name bezeichnet zu jeder Zeit einen Wert vom deklarierten Typ.
Falls nicht, dann durch Fehler im Programm.
So früh wie möglich feststellen!
(umso geringer sind die Kosten)
- (gar nicht: Zentimeter und Zoll addiert, Mars-Sonde abgestürzt)
- vor Ausführen von Operationen (nur typreine Addition)
- bereits beim Zuweisen an Variablen Typ prüfen
- statische Typ-Prüfung:
nicht erst bei Ausführung,
sondern vorher (beim Kompilieren)
Nutzen: nicht nur Sicherheit, sondern Effizienz
(vollständige statische Prüfung: keine dynamische Prüfung nötig)
Johannes Waldmann
2004-01-30