क्या स्केल अमूर्त प्रकार के उपयोग का उदाहरण है जो जेनेरिकों के साथ हासिल करना असंभव है?

Question

प्रकारों पर अमूर्तता व्यक्त करने के दो संभावित तरीके हैं।

abstract class Buffer { 
    type T 
    val element: T 
} 

बल्कि जेनेरिक, उदा।

abstract class Buffer[T] { 
    val element: T 
} 

मैं विभिन्न संदर्भों में विभिन्न दृष्टिकोणों का उपयोग करने की उपयोगिता में लाभ को समझता हूं। लेकिन मुझे उदाहरणों में रूचि है जहां सार प्रकार संस्करण को जेनेरिक संस्करण में परिवर्तित करना बिल्कुल असंभव है।

पीएस कोड स्निपेट का स्वागत है।

Answer 1

सार प्रकार पथ निर्भर प्रकारों से बंधे जा सकते हैं जो प्रकार पैरामीटर के साथ संभव नहीं है। इस प्रकार आप उदा। एक ठोस भीतरी वर्ग के साथ एक अमूर्त प्रकार लागू:

trait A { type T } 
class B extends A { class T } 

या स्पष्ट रूप से कक्षाओं दायरे के अंदर एक पथ निर्भर प्रकार के लिए यह बाँध:

class C { type T = this.type } 
class D { object Q; type T = Q.type } 

Answer 2

// This is possible 
trait M { type TM } 
trait P[TP] extends M { type TM = TP } 

// This is not 
trait P[TP] 
trait M extends P[TM] { type TM } 

Answer 3

एक और अंतर यह: केवल टाइप मापदंडों स्वयं के रूप में इस्तेमाल किया जा सकता प्रकार,

abstract class Buffer[T] { self: T => 
    val element: T 
}