表达继承的不同符号

Question

为什么有不同的符号来表达继承？在泛型中，我必须使用 <:- 运算符 - 在普通的类继承中，我必须使用 extends 关键字。

例如，我必须这样写：

class X[A <: B] extends Y

但为什么不写这样的东西：

class X[A <: B] <: Y

或者

class X[A extends B] extends Y // like Java

我对当前的表示法没有问题，但我想知道是否有理由以不同的方式表示泛型的类型层次结构。

Answer 1

好吧，没有什么可以阻止 Scala 这样做，但事实上，它们根本不表达相同的东西。而且，事实上，您可以在 Java 中看到这一点，您可以写 X super Y，但不能写 class X super Y。

关键字extends表达了类之间的关系，一种继承关系。另一方面，<:和>:表达了类型之间的关系，即边界之一。当我说 X <: Y 时，X 和 Y 都是有效的 String，例如， while String extends String 是没有意义的。 List[String] <: List[AnyRef] 也是这种情况，但同样，List[String] extends List[AnyRef] 是没有意义的。而且，为了说明这一点，Set[String] <: Set[AnyRef] 不是真的。在我刚刚给出的所有这些示例中，我们谈论的是相同的类，但不一定是相同的类型。

当然，类型之间还存在其他关系，例如视图边界 (<%) 和上下文边界 (:)。

因此，仅仅因为 extends 隐含 <:，并不意味着 <: 隐含 extends，仅此一点就足以避免使用相同的关键字。再加上类型之间的其他关系，您就几乎达成了交易。

Answer 2

当您将示例扩展（没有双关语）超出这一简单情况时，它会变得更加明显。

多重继承：

class C[A] extends X with Y with Z

Mixins：

val x = new X with Y

参数化：

class X[A <: B] extends Y[A]

多个（相关）类型参数：

class X[A >: B, B](x: A, xs: Seq[B])

上下文边界：视图

class X[A : Manifest]

边界：

class X[A <% Ordered[A]]

通用方法：

class Foo[B] {
  def bar[A <: B](x: A) = ...
}

如您所见，类型参数中可以指定的关系比类型参数中指定的关系丰富得多声明类时可以使用简单的线性层次结构，特别是当您允许边界时。

还值得注意的是，类或方法的泛型类型参数经常会被推断，允许您编写：

val myList = List(1, 2, 3)

而不是

val myList = List[Int](1, 2, 3)

因此，使用符号的方式非常不同。

更新

我刚刚想到了一个特定的例子，它演示了两种符号的同时使用，并展示了它们如何保持不同：

def someMethod[T <: Foo with Bar](x: T) = ...

这要求类型参数 T 是混合 Foo 和 Bar 中的子类型。

这同样适用于结构类型：

type Closable = { def close: Unit } //alias for a structural type
def someMethod[T <: Closable](x: T) = ...