<:表示泛型的上限，傳遞數(shù)據(jù)應(yīng)該是當(dāng)前類，或者當(dāng)前類的子類

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

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

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