Scala的泛型界限

在Scala中，泛型界限（Type Bounds）用于限制泛型类型参数的范围。

 

 一、上界（Upper Bounds）

1. 语法

   - 使用`<:>`来表示上界。例如，`class A[T <: B]`表示类型参数`T`必须是`B`或者`B`的子类型。

2. 示例

   - 假设我们有一个类层次结构，`class Animal`，`class Dog extends Animal`，`class Cat extends Animal`。

   - 如果我们有一个方法，它接受一个泛型类型参数并且有上界：  

   - 这样我们就可以使用`Dog`或`Cat`类型的实例来调用`makeSound`方法，因为`Dog`和`Cat`都是`Animal`的子类型。

 

二、下界（Lower Bounds）

1. 语法

   - 使用`>:`来表示下界。例如，`class A[T >: B]`表示类型参数`T`必须是`B`或者`B`的超类型。

2. 示例

   - 假设我们有`class Parent`，`class Child extends Parent`。

   - 如果我们有一个函数：

   - 我们可以使用`Child`或者`Parent`类型的实例来调用`printParent`函数，因为`Child`是`Parent`的子类，`T`必须是`Child`或者`Child`的超类型。

泛型界限在Scala中有助于提高代码的类型安全性和灵活性，使得我们可以更精确地控制泛型类型的使用范围。