Kotlin 7 泛型

泛型的定义
泛型是一种类型层面的抽象
泛型通过泛型参数实现构造更加通用的类型的能力
泛型可以让符合继承关系的类型批量实现某些能力

fun <T> maxOf(a:T,b:T):T {return a}
class  Generecicity<T>{}

泛型的约束

fun <T:Comparable<T>> maxOf(a:T,b:T):T {//T需要实现Comparable接口 
 	return if(a>b) a else b
}

fun <T,R> callMax(a:T,b:T):R where  T:Comparable<T>,T:() ->R,R:Number{//where为多个泛型实现多个约束
return if(a>b) a() else b()

}

泛型的型变
泛型的实参的继承关系对泛型类型的继承关系的影响

	协变：继承关系一致（out 表示 协变 当泛型类作为泛型参数类实例的生产者时使用协变）
	逆变:继承关系相反（in 表示）
	不变:没有继承关系

星投影

泛型的实现原理

伪泛型 ：编译时擦除类型，运行时无实际类型生成

reified 内联特化

fun <T> geneMethod(t:T){
	val t=T()//报错
	val ts= Array<T>(3)//报错
	val jclass=T::class.java//报错
	val  list= ArrayList<T>()
}
inline fun <reified  T> geneMethod(t:T){
	val t=T()//报错 无法确定有没有默认无参构造方法
	val ts= Array<T>(3) 
	val jclass=T::class.java
	val  list= ArrayList<T>()
}