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