类型边界指定了泛型类型参数的上下限,它限制了泛型类型参数的取值范围。在Scala中,类型边界有两种形式:上界和下界。
上界(Upper Bounds):使用 <: 符号来表示。它指定了类型参数必须是指定类型的子类型或者与指定类型相同。例如,T <: Comparable[T] 表示类型参数T必须是Comparable[T]的子类型或者相同类型。
下界(Lower Bounds):使用 >: 符号来表示。它指定了类型参数必须是指定类型的超类型或者与指定类型相同。例如,T >: Comparable[T] 表示类型参数T必须是Comparable[T]的超类型或者相同类型。
类型边界可以在泛型类、泛型方法和泛型函数中使用,它可以帮助我们在编译期间捕获类型错误,并提高代码的类型安全性。