在 Scala 中泛型概念與 Java 相同，泛型指將類型參數化。與 Java 不同，Scala 泛型類定義格式如下，以List 為例： ```scala class List[+A] +表示型變類型 ``` <br/> **1. 基本泛型類定義** ```scala class ClassA[A, B, C] ``` <br/> **2. 類型上界和下界** ```scala class ClassA class ClassC[P<:ClassA] // P必須是ClassA或者他的子類，所以ClassA是P的上界 class ClassD[P>:ClassA] // P必須是ClassA或者它的超類，所以ClassA是P的下界 ``` <br/> **3. 型變類型** ```scala 1. 協變 語法：class ClassA[+A] 如果A是B的子類，則ClassA[A]就是ClassA[B]的子類。 2. 逆變 語法：class ClassA[-A] 如果A是B的子類，則ClassA[A]就是ClassA[B]的父類。 3. 不變 語法：class ClassA[A] ```