Comment le réifiée mot-clé dans Kotlin travail?

TL;DR: qu'est-Ce que reified bon pour

fun <T> myGenericFun(c: Class<T>) 

Dans le corps d'une fonction générique comme myGenericFun, vous ne pouvez pas accéder au type T parce que c'est uniquement disponible au moment de la compilation mais effacé au moment de l'exécution. Par conséquent, si vous souhaitez utiliser le type générique comme une classe normale dans le corps de la fonction, vous devez transmettre explicitement la classe comme un paramètre comme indiqué dans myGenericFun.

Si vous créez un inline fonction avec un réifiée T cependant, le type de T peut être consulté, même au moment de l'exécution et vous n'avez donc pas besoin de passer le Class<T> de plus. Vous pouvez travailler avec T comme si c'était une classe normale, par exemple, vous pourriez vouloir vérifier si une variable est un instance de T, que vous pouvez facilement le faire alors: myVar is T.

Une inline fonction avec reified type T se présente comme suit:

inline fun <reified T> myGenericFun()

---

Comment reified œuvres

Vous ne pouvez utiliser reified en combinaison avec un inline function. Une telle fonction, le compilateur copier la fonction du bytecode à chaque endroit où la fonction (la fonction "inline").
Lorsque vous appelez une fonction inline avec réifiée type, la compilateur sait le type réel utilisé comme un argument de type et modifie le bytecode généré à l'usage de la catégorie correspondante directement.
Par conséquent, les appels de ce genre myVar is T devenir myVar is String (si l'argument de type ont été String) dans le bytecode et au moment de l'exécution.

---

Exemple

Jetons un coup d'oeil à un exemple qui montre comment utile reified peut être.
Nous voulons créer une fonction d'extension pour String appelé toKotlinObject qui essaie de convertir une chaîne JSON à une plaine Kotlin objet avec un type spécifié par la fonction est de type générique T. Nous pouvons utiliser com.fasterxml.jackson.le module.kotlin pour cette et la première démarche est la suivante:

a) Première approche sans réifiée type

fun <T> String.toKotlinObject(): T {
      val mapper = jacksonObjectMapper()
                                                        //does not compile!
      return mapper.readValue(this, T::class.java)
}

La readValue méthode prend un type qu'il est censé analyser les JsonObject pour. Si nous essayons d'obtenir le Class du paramètre de type T, le compilateur se plaint: "Impossible d'utiliser le" T " comme réifiée paramètre de type. Utiliser une classe à la place."

b) Solution explicite Class paramètre

fun <T: Any> String.toKotlinObject(c: KClass<T>): T {
    val mapper = jacksonObjectMapper()
    return mapper.readValue(this, c.java)
}

Comme une solution de contournement, la Class de T peut être faite d'un paramètre de méthode, qui est ensuite utilisé comme un argument pour readValue. C'est un modèle courant dans les génériques de code Java. Il peut être appelé comme suit:

data class MyJsonType(val name: String)

val json = """{"name":"example"}"""
json.toKotlinObject(MyJsonType::class)

c) La Kotlin façon: reified

À l'aide d'un inline fonction avec reified paramètre de type T rend possible la mise en œuvre différemment la fonction:

inline fun <reified T: Any> String.toKotlinObject(): T {
    val mapper = jacksonObjectMapper()
    return mapper.readValue(this, T::class.java)
}

Il n'y a pas besoin de prendre le Class de T en outre, T peut être utilisé comme si c'était une classe ordinaire. Pour le client, le code ressemble à ceci:

json.toKotlinObject<MyJsonType>()

Remarque importante: Travailler avec Java

Une fonction inline avec reified type est pas appelable à partir de Java code.