Scala泛型詳解

一、Scala泛型擦除

Scala的類型系統是基於泛型的，而泛型又是基於類型擦除的。也就是說，在編譯期間泛型類型會被編譯器擦除為原始類型，在運行期間無法訪問泛型參數的類型信息。這意味着我們可以在編寫泛型代碼時，不必關心其具體的類型實參，這為我們編寫通用的代碼提供了很大的方便。

由於Scala泛型的類型擦除，導致Scala中不能直接獲取泛型的類型信息。通常情況下，我們可以使用Scala的Manifest或ClassTag來獲取泛型參數的類型信息。

def getTypeTag[T: TypeTag](obj: T) = typeTag[T]
def getClassTag[T: ClassTag](obj: T) = classTag[T]

二、Scala泛型上下界

Scala中的類型參數可以有其上下界。上界限定了類型參數必須是某個類型或其子類，而下界則限定了類型參數必須是某個類型或其父類。

trait Animal
class Dog extends Animal
class Cat extends Animal

class Cage[A : Dog <: Animal](animal: A)  // 上界Animal, 下界Dog

三、Scala泛型方法

Scala允許我們在方法中使用泛型。我們可以使用類型參數來定義我們要使用的類型，在方法體中使用這些類型。

def echo[T](value: T) = println(value)
echo(1)     // 1
echo("hello scala")   // hello scala

四、泛型instanceof

在Java中，我們可以使用instanceof關鍵字來檢查一個對象是否是某個類型的實例。

而在Scala中，instanceof被替換為了isInstanceof方法，其與Java中的用法類似。

class Animal
class Dog extends Animal
class Cat extends Animal

def printClassName(obj: Any): Unit = {
  if (classOf[Dog].isInstance(obj))
    println("It's a Dog!")
  else if (classOf[Cat].isInstance(obj))
    println("It's a Cat!")
  else
    println("It's something else")
}

五、Scala的類型推斷機制

Scala的類型推斷機制可以在編譯器推斷出某個表達式的類型。我們在代碼中使用類型推斷機制時，則可以省略掉冗餘的類型參數。但我們也需要注意不要過度使用類型推斷，以免降低代碼的可讀性和可維護性。

val intList = List(1, 2, 3)  // 推斷List[Int]
val map = Map("one" -> 1, "two" -> 2)  // 推斷Map[String, Int]

def identity[T](x: T) = x    // 類型推斷可推導T的類型
val a = identity(1)           // a推斷為Int類型
val b = identity("hello")     // b推斷為String類型

六、Scala的泛型選取

Scala的泛型選取允許我們通過指定泛型實參來創建泛型類的實例。我們可以在泛型類名稱後面加上一對中括號，將泛型實參傳遞給它。我們也可以使用類型推斷來簡化泛型實參的指定。

trait Animal
class Dog extends Animal

val a = new Box[Animal](new Dog)
val b = new Box(new Dog)  // 類型推斷自動推導為Box[Dog]