Scala的路径相关类型是什么意思？

我听说Scala具有依赖于路径的类型。这与内部类有关，但这实际上意味着什么，为什么我要关心？

我最喜欢的例子：

case class Board(length: Int, height: Int) {
  case class Coordinate(x: Int, y: Int) { 
    require(0 <= x && x < length && 0 <= y && y < height) 
  }
  val occupied = scala.collection.mutable.Set[Coordinate]()
}

val b1 = Board(20, 20)
val b2 = Board(30, 30)
val c1 = b1.Coordinate(15, 15)
val c2 = b2.Coordinate(25, 25)
b1.occupied += c1
b2.occupied += c2
// Next line doesn't compile
b1.occupied += c2

因此，的类型Coordinate取决于实例Board化的实例。使用此方法可以完成所有事情，从而提供一种类型安全性，该类型安全性依赖于值而不是类型本身。

这听起来像是依赖类型，但它的局限性更大。例如，的类型occupied取决于的值Board。在上方，最后一行无效，因为的类型c2为b2.Coordinate，而occupied的类型为Set[b1.Coordinate]。请注意，一个人可以使用具有相同类型的另一个标识符b1，因此与该类型关联的不是标识符 b1。例如，以下工作：

val b3: b1.type = b1
val c3 = b3.Coordinate(10, 10)
b1.occupied += c3