केस क्लास कॉपी() विधि abstraction

Question

मैं जानना चाहता हूं कि केस कक्षाओं की प्रति विधि को सारणी बनाना संभव है या नहीं। असल में मेरे पास sealed trait Op और कुछ case class Push(value: Int) extends Op और case class Pop() extends Op जैसे कुछ है।

पहली समस्या: बिना तर्क/सदस्यों के केस केस एक प्रति विधि परिभाषित नहीं करता है। आप आरईपीएल में कोशिश कर सकते हैं।

scala> case class Foo() 
defined class Foo 

scala> Foo().copy() 
<console>:8: error: value copy is not a member of Foo 
     Foo().copy() 
      ^

scala> case class Foo(x: Int) 
defined class Foo 

scala> Foo(0).copy() 
res1: Foo = Foo(0) 

क्या कोई कारण है कि संकलक इस अपवाद को बनाता है? मुझे लगता है कि यह अपेक्षाकृत असंभव है और मैं प्रत्येक केस क्लास की प्रतिलिपि विधि को परिभाषित करने की अपेक्षा करता हूं।

दूसरी समस्या: मेरे पास एक विधि def ops: List[Op] है और मैं ops map { _.copy() } जैसे सभी ऑप्स कॉपी करना चाहता हूं। मैं Op विशेषता में प्रतिलिपि विधि को कैसे परिभाषित करूं? अगर मैं def copy(): Op कहता हूं तो मुझे "बहुत अधिक तर्क" त्रुटि मिलती है। हालांकि, चूंकि सभी प्रतिलिपि() विधियों में केवल वैकल्पिक तर्क हैं: यह गलत क्यों है? और, मैं यह कैसे सही करूं? def clone(): Op नामक एक और विधि बनाकर और सभी केस कक्षाओं के लिए def clone() = copy() लिखें? मुझे आशा नहीं है।

Answer 1

1. किसी भी तर्क के बिना कक्षा कक्षाओं के लिए एक कंपाइलर जेनरेट की गई प्रति विधि का लाभ क्या होगा? यह सिर्फ एक नया फू वापस करेगा, और कुछ भी कॉपी नहीं करेगा।
2. quote Lukas Rytz करने के लिए (मेरा मानना ​​है कि वह इसे लागू):

अगर कोई सदस्य "कॉपी" वर्ग में नामित किया गया है प्रतिलिपि तरीकों केवल उत्पन्न कर रहे हैं, सीधे परिभाषित या विरासत में मिला।

Answer 2

आपको अपने केस क्लास उदाहरणों की समान प्रतियां बनाने की आवश्यकता क्यों है? केस क्लास डिफ़ॉल्ट रूप से अपरिवर्तनीय हैं, इसलिए सुरक्षित रूप से साझा किया जा सकता है।

किसी भी मामले में, मुझे नहीं लगता है कि तुम क्या आप डिफ़ॉल्ट पैरामीटर के साथ पूछ रहे हैं क्या कर सकते हैं करते हैं:

scala> trait Op { def copy():Op }   
defined trait Op 

scala> case class Op1(v:Int) extends Op  
<console>:6: error: class Op1 needs to be abstract, since method copy in trait Op of type()Op is not defined 
     case class Op1(v:Int) extends Op 

संकलक को परिभाषित कक्षा में वैकल्पिक पैरामीटर के सभी संयोजनों के साथ तरीकों का निर्माण नहीं करता । डिफ़ॉल्ट मान उस स्थान पर डाले जाते हैं जहां विधि कहा जाता है।

Answer 3

उपरोक्त बेन का जवाब। लेकिन क्या होगा अगर आप कुछ इस तरह करना चाहता था:

sealed trait Op 
case class Push(value: Int, context:String) extends Op 
case class Pop(context:String) extends Op 

val stackOps = List(Push(3, "foo"), Pop("foo")) 

def copyToContext(newContext:String, ops:List[Op]): List[Op] = { 
    // ... ? 
} 

val changedOps = copyToContext("bar", stackOps) 

// would return: List(Push(3, "bar"), Pop("bar")) 

Answer 4

आप clone साथ भ्रमित copy होने लगते हैं। copy का लक्ष्य लगभग समान प्रतिलिपि बनाने के लिए है, लेकिन कुछ बदल गया है। कुछ ऐसा हो सकता है जो केस क्लास के पैरामीटर पर निर्भर करता है, इसलिए इसे एक सामान्य विधि बनाना संभव नहीं है।

case class X() के मामले में, यह copy विधि के लिए बहुत अधिक समझ में नहीं आता है, क्योंकि वहां कुछ भी नहीं बदला जा सकता है।

दूसरी तरफ, clone एक जावा विधि है जिसका लक्ष्य किसी ऑब्जेक्ट की सही प्रतियां उत्पन्न करना है, जो आपको लगता है कि ऐसा लगता है।

Answer 5

जैसा कि मिर्को सही ढंग से इंगित करता है, आप कॉपी विधि पर वास्तव में अमूर्त नहीं हो सकते हैं। मैं डैनियल के विचार का समर्थन करता हूं, जो क्लोनिंग आप चाहते हैं, हालांकि मैं बॉयलरप्लेट को कम करने के लिए इसे कुछ सहायक कोड से लपेटूंगा।

आप प्रतिलिपि कार्यशीलता के साथ एक mixin विशेषता परिभाषित कर सकते हैं और बस उसके बाद अपने मामले वर्गों में यह मिश्रण: बजाय

trait ClonableAs[T] extends Cloneable { this: T => 
    def makeClone() = super.clone().asInstanceOf[T] 
} 

case class Foo(i: Int) extends ClonableAs[Foo] 

List(Foo(1), Foo(2), Foo(3)).map(_.makeClone()) 

इस तरह अपने मामले वर्गों में से प्रत्येक के लिए एक समान विधि जोड़ने के लिए, आप उन्हें विस्तार करना सहायक विशेषता, जो उन्हें क्लीनर बनाती है और आपको कुछ कीस्ट्रोक बचाती है।

दूसरी ओर, क्लोनिंग अपरिवर्तनीय वस्तुओं के लिए कोई समझ नहीं लेता है, इसलिए मैं अनुमान लगाता हूं कि आपके वर्गों में उत्परिवर्तनीय स्थिति है। मैं आपको पुनर्विचार करने की सलाह दूंगा यदि आप वास्तव में उन्हें अपरिवर्तनीय नहीं बना सकते हैं, और अंतिम उपाय पर केवल उस प्रकार के क्लोनिंग का उपयोग करें। अपरिवर्तनीयता त्रुटियों की कक्षा से खुद को सुरक्षित रखेगी।