Typ-Inferenz in Java 5.0.
Martin Plümicke · Softwaretechnik-Trends · 2006
in Java 5.0 ein korrekter Typ. Programmierern fallt es oftmals schwer zu erkennen, dass Typen dieser Art fur bestimmte Java 5.0 Methoden eine korrekte Typisierung waren. Desweiteren gibt es Java 5.0 Methoden, die Durchschnittstypen als allgemeinste Typisierung hatten. Durchschnittstypen sind allerdings in Java 5.0 nicht implementiert. Das heist oftmals haben Java 5.0 Methoden nicht den allgemeinst moglichen Typ, was dem Ziel wiederverwendbaren Code zu schreiben entgegensteht. Das hat uns veranlasst ein Typinferenz–System fur Java 5.0 zu entwickeln, das den Benutzer durch automatische Typberechnungen unterstutzt. Typinferenz in Java 5.0 ermoglicht es, Parameter von Methoden und lokale Variablen ungetypt zu deklarieren. Der Typinferenz–Algorithmus berechnet dann jeweils den allgemeinsten Typ.