16、Scala 类型系统与 Scala 与 Java 互操作性详解

Scala 类型系统与 Scala 与 Java 互操作性详解

1. Scala 类型系统

1.1 类型边界

• 上界限制 ：在 Scala 中，类型参数可以设置上界限制。例如，若有方法 employeeName 定义了类型参数 [A <: Employee] ，意味着该方法只接受 Employee 或其子类型的参数。当尝试使用 Customer 类调用该方法时，由于 Customer 不是 Employee 的子类型，代码将无法编译。示例如下：

employeeName (new Customer ("Peter"))

运行上述代码会报错，提示类型不匹配，因为 Customer 不符合 employeeName 方法的类型参数边界。
- 下界限制 ：下界类型被限制为特定类型或其超类型。所选类型必须等于或为下界限制的超类型。以下是定义下界类型的示例：

class A {
  type B >: List[Int]
  def someMethod(a : B) = a
}

在上述代码中，类 A