Was ist 'Type Inference' in Kotlin?

Typinferenz ist die Fähigkeit des Compilers, den Typ einer Variablen oder eines Ausdrucks zu bestimmen, ohne dass der Entwickler ihn explizit angeben muss. Der Compiler analysiert den Kontext (z.B. Initialwert) und weist automatisch den entsprechenden Typ zu.

Beispiele:

// Typinferenz für var
var count = 10 // Der Compiler schätzt den Typ als Int
// count = "hello" // Kompilierungsfehler: String kann nicht einem Int zugewiesen werden

// Typinferenz für val
val name = "Kotlin" // Der Compiler schätzt den Typ als String
// name = "Java" // Kompilierungsfehler: val ist unveränderlich

// Typinferenz für Ausdrücke
val sum = 5 + 3.14 // Der Compiler schätzt den Typ als Double

Vorteile:

• Reduziert die Code-Menge und macht ihn lesbarer.
• Verringert die Wahrscheinlichkeit von Fehlern durch falsche Typzuweisungen.
• Steigert die Produktivität bei der Entwicklung.

Wichtige Punkte:

• Die Typinferenz ist begrenzt. In manchen Fällen (z.B. bei Variablendeklaration ohne Initialisierung) ist eine explizite Angabe des Typs notwendig.
• Variablen, die mit var deklariert sind, können ihren Wert ändern, aber nicht den Typ, nach der Typinferenz.

var number: Int // Explizite Angabe des Typs erforderlich, da keine Initialisierung