<:表示泛型的上限，傳遞數據應該是當前類，或者當前類的子類

>:表示泛型的下限，和java不太一樣，什么類型都可以傳遞

scala中為了豐富泛型的功能，提供了協變（+）和逆變（-）的功能

1. Scala的協變(+)，逆變(-)，協變covariant、逆變contravariant、不可變invariant
2. 對于一個帶類型參數的類型，比如 C[T]，如果對A及其子類型B，滿足C[B]也符合 C[A]的子類型，那么就稱為covariance(協變) ，如果 C[A]是 C[B]的子類型，即與原來的父子關系正相反，則稱為contravariance(逆變)。如果一個類型支持協變或逆變，則稱這個類型為variance(翻譯為可變的或變型)，否則稱為invariance(不可變的)
   3)在Java里，泛型類型都是invariant，比如 List 并不是 List 的子類型。而scala支持，可以在定義類型時聲明(用加號表示為協變，減號表示逆變)，如: trait List[+T] // 在類型定義時聲明為協變這樣會把List[String]作為List[Any]的子類型。
   C[+T]：如果A是B的子類，那么C[A]是C[B]的子類，稱為協變（泛型變量的值可以是本身類型或者其子類的類型）
   C[-T]：如果A是B的子類，那么C[B]是C[A]的子類，稱為逆變 （泛型變量的值可以是本身類型或者其父類的類型）
   C[T]：無論A和B是什么關系，C[A]和C[B]沒有從屬關系。稱為不變.