我听说 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
因此,坐标
的类型取决于实例化它的Board
实例。可以用它来完成各种各样的事情,提供一种依赖于值而不是仅依赖于类型的类型安全性。
这可能听起来像依赖类型,但它的局限性更大。例如,占用
的类型取决于Board
的值。上面,最后一行不起作用,因为 c2
的类型是 b2.Cooperative
,而 占用
的类型是 Set [b1.坐标]
。请注意,可以使用具有相同类型 b1
的另一个标识符,因此它不是与该类型关联的标识符 b1
。例如,以下作品:
val b3: b1.type = b1
val c3 = b3.Coordinate(10, 10)
b1.occupied += c3
关于scala - Scala 的路径依赖类型是什么意思?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2693067/