Kurai operācijai ir nepieciešama reified izmantošana Kotlinā?

Kotlinā vārds reified ir obligāts, strādājot ar ģeneriskām funkcijām, kad būtu pieejams parametra tips laikā izpildes laikā. Parasti, sakarā ar tipu izzušanu (type erasure), informācija par ģeneriskajiem tipiem nav pieejama izpildes laikā, bet ar inline funkcijām un reified šo informāciju var saglabāt un izmantot.

Tipisks piemērs ir funkcija, kas izveido klases instanci vai veic tipa pārbaudi:

inline fun <reified T> isInstance(value: Any): Boolean {
    return value is T
}

val result = isInstance<String>("test") // true

Bez reified, nav iespējams izmantot T is operatorā vai iegūt T::class.

Tādēļ, reified ir nepieciešams operācijām, kurās ir jāiegūst informācija par ģeneriskā parametra tipu izpildes laikā, piemēram, tipu pārbaudēm, instanču izveidei, klases iegūšanai un tā tālāk.