Scala 在 Scala 中的泛型声明中的正负符号

在本文中，我们将介绍 Scala 中的泛型声明中的正负符号以及其用法和示例。Scala 是一种多范式编程语言，它支持面向对象编程和函数式编程。Scala 中的泛型允许我们在编写通用代码时指定类型参数，以增加代码的灵活性和可重用性。在泛型声明中，正负符号可以用来指定类型的上界和下界。

阅读更多：Scala 教程

上界和下界

在 Scala 的泛型声明中，我们可以使用上界和下界来限制类型参数的范围。上界指定了类型参数必须是某个类的子类，而下界指定了类型参数必须是某个类的超类。

上界案例

下面是一个使用上界的示例。假设我们有一个泛型函数 max，用于比较两个数的大小并返回较大的那一个。我们希望函数能够接受任意类型的参数，但是传入的参数必须实现了 Comparable 接口，这样我们才能使用它们的比较方法。

def max[T <: Comparable[T]](a: T, b: T): T = {
  if (a.compareTo(b) > 0) a else b
}

val result = max(3, 5)
println(result) // 输出 5

val result2 = max("Scala", "Java")
println(result2) // 输出 Scala

在上面的示例中，类型参数 T 使用了 <: Comparable[T] 上界限定，表示 T 必须是 Comparable[T] 的子类型。这样，我们就可以使用 a.compareTo(b) 方法来比较两个参数的大小。

下界案例

下面是一个使用下界的示例。假设我们有一个泛型函数 printAll，用于打印列表中的所有元素以及它们的超类的方法。我们希望函数能够接受任意类型的参数列表，但是传入的参数必须是某个类的超类。

def printAll[T >: String](list: List[T]): Unit = {
  list.foreach { element =>
    println(element)
    if (element.isInstanceOf[String]) {
      val str = element.asInstanceOf[String]
      println(str.length)
    }
  }
}

val list1 = List("Scala", "Java", "Python")
printAll(list1)

val list2 = List(1, 2, 3)
printAll(list2)

在上面的示例中，类型参数 T 使用了 >: String 下界限定，表示 T 必须是 String 的超类。这样，我们可以安全地调用 element.length 方法，因为 T 可能是 String 类型或者 String 的超类类型。