ประเภทที่ขึ้นกับพา ธ ของ 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