Wat is 'type inference' in Kotlin?

Type-inferentie is de mogelijkheid van de compiler om het type van een variabele of uitdrukking te bepalen zonder dat de ontwikkelaar dit expliciet hoeft aan te geven. De compiler analyseert de context (bijvoorbeeld de initialisatiewaarde) en wijst automatisch het bijbehorende type toe.

Voorbeelden:

// Type-inferentie voor var
var count = 10 // De compiler inferreert het type Int
// count = "hello" // Compileerfout: kan geen String toewijzen aan een Int

// Type-inferentie voor val
val name = "Kotlin" // De compiler inferreert het type String
// name = "Java" // Compileerfout: val is onveranderlijk

// Type-inferentie voor uitdrukkingen
val sum = 5 + 3.14 // De compiler inferreert het type Double

Voordelen:

• Vermindert de hoeveelheid code, waardoor deze beter leesbaar wordt.
• Vermindert de kans op fouten gerelateerd aan type-incompatibiliteit door het niet expliciet aangeven.
• Verhoogt de productiviteit tijdens ontwikkeling.

Belangrijke punten:

• Type-inferentie is beperkt. In sommige gevallen (bijvoorbeeld bij het declareren van een variabele zonder initialisatie) is het nodig om het type expliciet aan te geven.
• Variabelen gedeclareerd met var kunnen van waarde veranderen, maar niet van type, na type-inferentie.

var number: Int // Vereist expliciete typeaanduiding, omdat er geen initialisatie is