類型邊界指定了泛型類型參數(shù)的上下限,它限制了泛型類型參數(shù)的取值范圍。在Scala中,類型邊界有兩種形式:上界和下界。
上界(Upper Bounds):使用 <: 符號來表示。它指定了類型參數(shù)必須是指定類型的子類型或者與指定類型相同。例如,T <: Comparable[T] 表示類型參數(shù)T必須是Comparable[T]的子類型或者相同類型。
下界(Lower Bounds):使用 >: 符號來表示。它指定了類型參數(shù)必須是指定類型的超類型或者與指定類型相同。例如,T >: Comparable[T] 表示類型參數(shù)T必須是Comparable[T]的超類型或者相同類型。
類型邊界可以在泛型類、泛型方法和泛型函數(shù)中使用,它可以幫助我們在編譯期間捕獲類型錯誤,并提高代碼的類型安全性。