Kotlin泛型强势分析

一、什么是泛型
1.泛化的类型或者说是类型的抽象
2.鸭子类型在静态语言中的一种近似实现

二、泛型的实现机制
1.何为真泛型？（C#）
2.何为伪泛型？（Java，Kotlin）

三、首先来看一下JAVA和Kotlin中的伪泛性

但是如果在C#语言中，他就是真泛型了，它不仅仅存在于编译期，也存在于运行期，它是没有任何问题的。

四、在kotlin中定义泛型类和泛型方法

package com.test /** * @author:wangdong * @description:泛型 */ /** * 为函数声明泛型 * 定义一个方法,求两个数的最大值 * 那么这两个数首先得能够比较 * 参数类型为T,返回值为T * <T: Comparable<T>> T类型的上界是可以比较的,<T>是实参 */ fun <T: Comparable<T>> maxOf(a:T,b:T): T{ return if (a < b) b else a } fun main(args: Array<String>) { val a = 5 val b = 8 val c = maxOf(a,b) println(c) val complex = Complex(3.0,2.4) val complex2 = Complex(3.0,5.0) println(complex) //比大小 println(maxOf(complex,complex2)) // 输出//complex2的值(3.0 + 5.0 i) //自动推导出double val complex3 = Complex2(5.3,6.9) val complex4 = Complex2(4,55) println(complex3) println(complex4) } /**实现Complex接口，现在指定的是一个Double，实际上给它一个泛型T应该是更好的*/ data class Complex(val a:Double, val b: Double): Comparable<Complex>{ /** * Compares this object with the specified object for order. Returns zero if this object is equal * to the specified [other] object, a negative number if it's less than [other], or a positive number * if it's greater than [other]. */ override fun compareTo(other: Complex): Int { return (value() - other.value()).toInt() } fun value():Double{ return a*a + b*b } /** * Returns a string representation of the object. */ override fun toString(): String { return "($a + $b i)" } } /**为类声明泛型：参数泛型化*/ data class Complex2<T>(val a:T, val b: T){ /** * Returns a string representation of the object. */ override fun toString(): String { return "($a + $b i)" } }

五、通过kotlin的字节码分析，看看能不能获取到泛型T是什么东西
可以看到编译完，T就变成了Object了，这就是伪泛型

六、看一下JAVA和Kotlin中的伪泛型实例

import com.google.gson.Gson import java.io.File /** * @author:wangdong * @description:Java和kotlin的伪范型问题 * reifile 是让泛型参数具体化 * reifile为什么需要定义在inline函数中 * 因为kotlin和Java是伪泛型，编译完之后就没有了T,所以只能通过inline关键字， * （接上句）将这段代码植入到调用处，才能知道参数的类型 */ fun main(args: Array<String>) { val person = Person("wangdong",18) Gson().toJson(person).let{ //写的 File("person.json").writeText(it) } //读的 needAPerson(Gson().fromJson<Person>(File("person.json").readText())) } /** * 定义一个需要person的类 */ fun needAPerson(person: Person){ } /** * 看一下能不能获取到T */ fun <T> testGenerics(){ //把泛型打印出来,这样是打印不了的，会报错 //看一下这个T到底有没有 val t: T? = null //println(T::class.simpleName) } /** * 采用Kotlin的特性关键字inline 将方法中的泛型绑定指向调用者 * 关键字将代码植入到调用点 */ inline fun <reified T> testGenerics2(){ println(T::class.java) } /** * 给Gson定义一个拓展方法 * 通过依赖把这段代码植入到调用点 */ inline fun <reified T> Gson.fromJson(json: String): T = fromJson(json,T::class.java) /** * 定义一个person类 */ data class Person(val name: String,val age: Int){ }

七、好了，泛型到这里就结束啦。