क्या एक प्रकार पैरामीटर के साथ 'केस ऑब्जेक्ट' का उपयोग करना संभव है?

Question

मैं वर्तमान में स्काला सीख रहा हूँ, और इस हास्केल बीजीय डेटा प्रकार को दोहराने के लिए चाहता था:

sealed trait Tree[T] 
case class Empty[T]() extends Tree[T] 
case class Leaf[T](value: T) extends Tree[T] 
case class Node[T](left: Tree[T], right: Tree[T]) extends Tree[T] 

हालांकि, किसी ने मुझे कि मुझे बताया गया है:

data Tree = Empty 
      | Leaf Int 
      | Node Tree Tree 

यह है कि मैं क्या स्काला में लेकर आए हैं Empty के लिए case object का उपयोग करना चाहिए, जो मुझे लगता है कि यह सच है क्योंकि यह पैरामीटर नहीं लेता है - लेकिन फिर इसे एक प्रकार पैरामीटर की आवश्यकता होती है।

मैंने कोशिश की निम्नलिखित लेकिन उनमें से कोई संकलन:

case object Empty[T] extends Tree[T] 
case object Empty extends Tree[T] 
case object Empty extends Tree 

इसलिए मैं अगर वहाँ एक तरह से इस उदाहरण में है या नहीं case object उपयोग करने के लिए सोच रहा हूँ।

Answer 1

एक सिंगलटन सामान्य नहीं हो सकता क्योंकि उनमें से केवल एक ही है। आप Tree चाहते हैं covariant जा करने के लिए (अर्थात Tree[Int]Tree[Any] की एक उप-प्रकार है), तो आप प्रकार के रूप में

sealed trait Tree[+T] 
case object Empty extends Tree[Nothing] 

अन्यथा, परिभाषित कर सकते हैं एक मामले वर्ग के रूप में छोड़।