5.Kotlin-泛型

1.泛型（generics）
与java类似，kotlin的类页游类型参数：
class Box(t:T){
var value = t
}
一般情况，使用泛型实例，需要类型参数：
val box : Box = Box(1)

如果类型参数可推断出来，可省略类型参数：
val box = Box(1) //1是Int,编译器可推断出Box

2.型变（Variance）
Java泛型中最棘手部分就是通配符类型，但是kotlin没有
所以kotlin通过型变（Variance）弥补：
声明处型变（declaration-site variance）
类型投影（type projections）
为什么Java泛型需要通配符类型？
在Effective Java解释了该问题-第28条：利用有限制通配符来提升api的灵活性。
Java泛型是不型变的，意味着List不是List