泛形

1.协变和逆变

泛型的多态

语法

//不变
class MyList[T]{}
//协变
class MyList[+T]{}
//逆变
class MyList[-T]{}

协变 (泛形中的多态)

Class MyList[+T]{}
//var list:Father = new Child()  
var list:MyList[Fater] = new MyList[Child]

逆变

Class MyList[-T]{}
var list:MyList[Child] = new MyList[Father]()

2.泛型上下限

语法

class MyList[T <: Person]{ //泛型上限
}
class MyList[T >: Person]{ //泛型下限
}