Antwoord

In Kotlin worden generieken (generieke parameters) standaard gewist (type erasure): tijdens runtime is er geen type-informatie beschikbaar. Dit bemoeilijkt reflectie, type-conversies en het lezen van type-annotaties. Voor de meeste taken is dit acceptabel; gewone generieken werken vergelijkbaar met Java.

Inline functies met een reified parameter stellen de compiler in staat om een specifieke type in te voegen op het moment van aanroep, waardoor de functie bewerkingen met dat type kan uitvoeren tijdens runtime (bijvoorbeeld typecontroles, nieuwe instanties maken met reflectie, enz.). Echter, reified kan alleen worden toegepast op parameters in inline functies.

Voorbeeld van vergelijking:

// Gewone generiek
fun <T> printType(t: T) {
    println(t.javaClass) // Zal ClassCastException oproepen voor List<Int> en anderen.
}

// met reified
inline fun <reified T> printType(t: T) {
    println(T::class.simpleName)
}

fun main() {
    printType(123)       // Geeft: Int
    printType("hello")  // Geeft: String
}

Praktische toepassing: Meestal gebruikt voor type-controle, casting, reflectie, het maken van instanties, waar je het type op een andere manier niet kunt verkrijgen.

Vraag met een valstrik

"Kan een functie met een reified type niet inline zijn?"

• Nee — reified werkt alleen in inline-functies. Anders is type-invoegen tijdens compilatie niet mogelijk.

Voorbeeld van onjuist gebruik:

fun <reified T> failFunction() {} // Compilerfout: reified type parameter kan alleen worden gebruikt in een inline functie

Correct:

inline fun <reified T> goodFunction() {}

Voorbeelden van echte fouten door onwetendheid over de fijne kneepjes van het onderwerp

---

Verhaal

In het project was het nodig om JSON-strings universeel te parseren naar elk type via een functie met een generieke parameter. De standaardimplementatie via fun <T> parse(json: String): T werkte niet correct door type erasure — het was niet mogelijk om Class<T> voor het parseren van collecties en generieke modellen te verkrijgen. We besloten om het via inline met een reified type te doen — het probleem verdween.

---

Verhaal

Een van de ontwikkelaars probeerde instanties van type T te maken met een gewone constructor T(), zonder inline en reified te gebruiken. Tijdens de compilatie ontstond er een fout, omdat de type-informatie was gewist. Door het te herschrijven naar inline fun <reified T: Any> kon alles worden opgelost met de standaard middelen van de taal.

---

Verhaal

Bij het proberen om reified in een gewone functie (zonder inline) te gebruiken - gaf de IDE een verwarrende compilerfout. De ontwikkelaar zocht lange tijd naar de oorzaak, totdat hij de documentatie bestudeerde en de functie corrigeerde door inline toe te voegen.