泛型实化

泛型实化

要理解泛型实化，首先你需要知道泛型擦除的概念。

不管是Java还是Kotlin，只要是基于JVM的语言，泛型基本都是通过类型擦除来实现的。也就是说泛型对于类型的约束只在编译时期存在，运行时期是无法直接对泛型的类型进行检查的。例如，我们创建一个List<String>集合，虽然在编译时期只能向集合中添加字符串类型的元素，但是在运行时期JVM却并不能知道它本来只打算包含哪种类型的元素，只能识别出来它是个List。

Java的泛型擦除机制，使得我们不可能使用if (a instanceof T)，或者是T.class这样的语法。

而Kotlin也是基于JVM的语言，因此Kotlin的泛型在运行时也是会被擦除的。但是Kotlin中提供了一个内联函数的概念，内联函数中的代码会在编译的时候自动被替换到调用它的地方，这就使得原有方法调用时的形参声明和实参传递，在编译之后直接变成了同一个方法内的变量调用。这样的话也就不存在什么泛型擦除的问题了，因为Kotlin在编译之后会直接使用实参替代内联方法中泛型部分的代码。

简单点来说，就是Kotlin是允许将内联方法中的泛型进行实化的。

那么具体该怎么写才能将泛型实化呢？首先，该方法必须是内联方法才行，也就是要用inline关键字来修饰该方法。其次，在声明泛型的地方还必须加上reified关键字来表示该泛型要进行实化。示例代码如下所示：

inline fun <reified T> instanceOf(value: Any) {

}

上述方法中的泛型T就是一个被实化的泛型，因为它满足了内联函数和reified关键字这两个前提条件。那么借助泛型实化，我们到底可以实现什么样的效果呢？从方法名上就可以看出来了，这里我们借助泛型来实现一个instanceOf的效果，代码如下所示：

inline fun <reified T> instanceOf(value: Any) = value is T

虽然只有一行代码，但是这里实现了一个Java中完全不可能实现的功能 —— 判断参数的类型是不是属于泛型的类型。这就是泛型实化不可思议的地方。

那么我们如何使用这个方法呢？在Kotlin中可以这么写：

val result1 = instanceOf<String>("hello")
val result2 = instanceOf<String>(123)
// result1为true，result2为false

可以看到，第一行代码指定的泛型是String，参数是字符串"hello"，因此最后的结果是true。而第二行代码指定泛型是String，参数却是数字123，因此最后的结果是false。

除了可以做类型判断之外，我们还可以直接获取到泛型的Class类型。看一下下面的代码：

inline fun <reified T> genericClass() = T::class.java

这段代码就更加不可思议了，genericClass()方法直接返回了当前指定泛型的class类型。T.class这样的语法在Java中是不可能的，而在Kotlin中借助泛型实化功能就可以使用T::class.java这样的语法了。

然后我们就可以这样调用：

val result1 = genericClass<String>()
val result2 = genericClass<Int>()
// result1为java.lang.String，result2为java.lang.Integer

可以看到，我们如果指定了泛型String，那么最终就可以得到java.lang.String的Class，如果指定了泛型Int，最终就可以得到java.lang.Integer的Class。