7.1 Den Compiler kennenlernen
236
7.1.1 Schwäche: Das Halteproblem begrenzt unser Wissen zur Kompilierzeit
236
7.1.2 Stärke: Erreichbarkeit garantiert, dass eine Methode »return« erreicht
237
7.1.3 Stärke: Definitive Zuweisung verhindert Zugriff auf uninitialisierte Variablen
238
7.1.4 Stärke: Zugriffskontrolle hilft beim Kapseln von Daten
239
7.1.5 Stärke: Typprüfung beweist Eigenschaften
239
7.1.6 Schwäche: »null« zu dereferenzieren verursacht Abstürze
241
7.1.7 Schwäche: Arithmetische Fehler verursachen Überläufe und Abstürze
241
7.1.8 Schwäche: Zugriff außerhalb der Array-Grenzen verursacht Abstürze
242
7.1.9 Schwäche: Endlosschleifen lassen unsere Anwendung stillstehen
242
7.1.10 Schwäche: Deadlocks und Wettlaufsituationen verursachen unbeabsichtigtes Verhalten
243