स्कैला के पथ-निर्भर प्रकारों का क्या अर्थ है?

Question

मैंने सुना है कि स्कैला में पथ-निर्भर प्रकार हैं। यह आंतरिक वर्गों के साथ कुछ करने के लिए है लेकिन इसका वास्तव में क्या अर्थ है और मुझे परवाह क्यों है?

Answer 1

मेरा पसंदीदा उदाहरण:

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 का उदाहरण है, जिसमें से यह instantiated गया था पर निर्भर है। ऐसी सभी चीजें हैं जिन्हें इस के साथ पूरा किया जा सकता है, एक प्रकार की सुरक्षा प्रदान करना जो मूल्यों पर निर्भर है और अकेले प्रकार नहीं।

यह निर्भर प्रकार की तरह ध्वनि सकता है, लेकिन यह अधिक सीमित है। उदाहरण के लिए, 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