Scala 抽象类型和多态性

Question

This Scala tutorial让我感到困惑； Node 抽象类型似乎不遵循多态性的传统规则...

type Node <: NodeIntf                // NodeIntf is assignable to Node.
abstract class NodeIntf {
  def connectWith(node: Node): Edge
}
class NodeImpl extends NodeIntf {
  def connectWith(node: Node): Edge = {
    val edge = newEdge(this, node)   // NodeImpl (this) is assignable to NodeIntf.
    edges = edge :: edges
    edge
  }
}
protected def newEdge(from: Node, to: Node): Edge

如果 Node = NodeIntf 和 NodeIntf = NodeImpl，那为什么我们不能做 Node = NodeImpl？我问是因为显然上面的代码无法编译——为什么必须使用“自键入引用”？ ( see tutorial )

Answer 1

你颠倒了<:的意思. Node可分配给 NodeIntf ，即:

val x: NodeIntf = y: Node

现在，再往下说 Node = NodeIntf和 NodeIntf = NodeImpl ，这是不正确的。 Node是 NodeIntf 的任意子类型, 和 NodeImpl是 NodeIntf 的特定子类型.

是一个，Node是 NodeIntf , 和 NodeImpl是 NodeIntf ，但这对它们之间的关系没有任何意义——你还不如说这两个 Node和 NodeImpl都是 Any 的子类型.