Kotlin中的具体化关键词是如何工作的？

Question

我试图理解reificed关键字的用途，显然它允许我们对泛型进行反思。

然而，当我把它排除在外时，它的工作也一样好。有人想解释一下这什么时候会有实际的不同吗？

Answer 1

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

在像MyGenericFun这样的泛型函数的主体中，您不能访问T类型，因为它只在编译时可用，但在运行时被擦除。因此，如果希望将泛型类型用作函数体中的普通类，则需要显式地将该类作为参数传递，如MyGenericFun所示。

如果您创建一个内联函数，该函数带有一个具体化的T，那么即使在运行时也可以访问T的类型，因此您不需要另外传递类 。您可以使用T，就像它是一个普通的类一样-例如，您可能希望检查一个变量是否是T的实例，那么您可以很容易地做到这一点:MyVar is t。

这样的内联函数具有reificed类型t如下所示：

inline fun <reified T> myGenericFun()

让我们看一个示例，该示例显示reificed有多大帮助。我们希望为string创建一个名为TokotlinObject的扩展函数，该函数尝试将JSON字符串转换为普通Kotlin对象，其类型由函数的泛型类型T指定。我们可以使用com.fasterxml.jackson.module.kotlin，第一种方法如下：

a）没有具体化类型的第一种方法

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

ReadValue方法采用了一种它应该解析JSONObject的类型。如果我们试图获取类型参数t的类，编译器会抱怨：“不能使用't'作为具体化的类型参数，而是使用类。”

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

作为一种解决办法，可以将T的类设置为方法参数，然后将其用作readvalue的参数。这是有效的，并且是通用Java代码中的一个常见模式。可以这样称呼：

data class MyJsonType(val name: String)

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

c）科特林方式:具体化

使用内联函数并将具体化类型参数t使用，可以以不同的方式实现函数：

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

json.toKotlinObject<MyJsonType>()