在Scala中,泛型界限(Type Bounds)用于限制泛型类型参数的范围。
一、上界(Upper Bounds)
- 语法
- 使用`<:>`来表示上界。例如,`class A[T <: B]`表示类型参数`T`必须是`B`或者`B`的子类型。
- 示例
-
假设我们有一个类层次结构,`class Animal`,`class Dog extends Animal`,`class Cat extends Animal`。
-
如果我们有一个方法,它接受一个泛型类型参数并且有上界:
-
这样我们就可以使用`Dog`或`Cat`类型的实例来调用`makeSound`方法,因为`Dog`和`Cat`都是`Animal`的子类型。
二、下界(Lower Bounds)
- 语法
- 使用`>:`来表示下界。例如,`class A[T >: B]`表示类型参数`T`必须是`B`或者`B`的超类型。
- 示例
-
假设我们有`class Parent`,`class Child extends Parent`。
-
如果我们有一个函数:
- 我们可以使用`Child`或者`Parent`类型的实例来调用`printParent`函数,因为`Child`是`Parent`的子类,`T`必须是`Child`或者`Child`的超类型。
泛型界限在Scala中有助于提高代码的类型安全性和灵活性,使得我们可以更精确地控制泛型类型的使用范围。