स्कैला एकाधिक फ़ंक्शन कॉल पैरामीटर को टुपल में जोड़ता है - क्या इसे अक्षम किया जा सकता है?

Question

यह मेरी परियोजना में प्रकार की सुरक्षा का एक परेशानीपूर्ण उल्लंघन है, इसलिए मैं इसे अक्षम करने का एक तरीका ढूंढ रहा हूं। ऐसा लगता है कि यदि कोई फ़ंक्शन एनीरफ (या java.lang.Object) लेता है, तो आप फ़ंक्शन को पैरामीटर के किसी भी संयोजन के साथ कॉल कर सकते हैं, और स्कैला पैरामीटर को टुपल ऑब्जेक्ट में जोड़ देगा और फ़ंक्शन का आह्वान करेगा।

मेरे मामले में फ़ंक्शन टुपल की अपेक्षा नहीं कर रहा है, और रनटाइम पर विफल रहता है। मैं उम्मीद करता हूं कि संकलन समय पर इस स्थिति को पकड़ा जाएगा।

object WhyTuple { 
def main(args: Array[String]): Unit = { 
    fooIt("foo", "bar") 
} 
def fooIt(o: AnyRef) { 
    println(o.toString) 
} 
} 

आउटपुट:

(foo,bar) 

Answer 1

संकलन दौर कोष्ठक के बिना तरीकों व्याख्या करने में सक्षम है। तो यह फू में राउंड ब्रैकेट लेता है इसका मतलब टुपल है।

fooIt(("foo","bar")) 

कहा जा रहा है, तो आप विधि कॉल, और मान प्राप्त बाहर करने के लिए यदि आप Tuple1 (AnyRef) कुछ (AnyRef) जैसे कुछ आवरण या का उपयोग पैदा कर सकता है: आपका कॉल के समान है।

Answer 2

मुझे लगता है कि प्रिडफ में (x, y) की परिभाषा ज़िम्मेदार है। "-Yno-predefs" कंपाइलर ध्वज कुछ उपयोगों का हो सकता है, यह मानते हुए कि आप अन्यथा आवश्यक किसी भी implicits को मैन्युअल रूप से आयात करने के काम को करने के इच्छुक हैं। इसके द्वारा मेरा मतलब है कि आपको जगह पर आयात scala.Predef._ जोड़ना होगा।

Answer 3

संपादित: this answer देखें: लोग मुझ से बेहतर जानकारी के अनुसार, निम्नलिखित जवाब वास्तव में गलत है। इस बिंदु को इंगित करने के लिए धन्यवाद Aaron Novstrup।

यह वास्तव में पार्सर का एक क्विर्क है, प्रकार सिस्टम या कंपाइलर नहीं। स्कैला बिना किसी तर्क के शून्य-या एक-तर्क फ़ंक्शंस को बुलाया जा सकता है, लेकिन एक से अधिक तर्क के साथ कार्य नहीं करता है। तो Fred Haslam says के रूप में, आपने जो लिखा है दो तर्कों के साथ एक आमंत्रण नहीं है, यह एक tuple- मूल्यवान तर्क के साथ एक आमंत्रण है। हालांकि, यदि विधि दो तर्क लेती है, तो आमंत्रण दो-तर्क आमंत्रण होगा। ऐसा लगता है कि कोड का अर्थ यह प्रभावित करता है कि यह कैसे पार्स करता है (जो थोड़ा सा चूसना है)।

इस बारे में आप वास्तव में क्या कर सकते हैं, यह मुश्किल है। अगर विधि को वास्तव में दो तर्कों की आवश्यकता होती है, तो यह समस्या दूर हो जाएगी (यानी अगर किसी ने गलती से इसे एक तर्क के साथ या तीन के साथ कॉल करने का प्रयास किया, तो आपको एक संकलन त्रुटि मिल जाएगी जैसा आप उम्मीद करते हैं)। मान लीजिए कि उस अतिरिक्त पैरामीटर को आप उस विधि में जोड़ रहे हैं? :)

Answer 4

क्या कुछ इस तरह के बारे में:

object Qx2 { 
    @deprecated def callingWithATupleProducesAWarning(a: Product) = 2 
    def callingWithATupleProducesAWarning(a: Any) = 3 
} 

tuples उत्पाद विशेषता, callingWithATupleProducesAWarning को इसलिए किसी भी कॉल है कि एक टपल एक प्रतिवाद चेतावनी का उत्पादन करेगा गुजरता है।

Answer 5

यहां पर कोई प्रभाव या प्रिटफ नहीं है - बस पुराना पुराने फैशन कंपाइलर जादू। आप इसे type checker में पा सकते हैं। मैं इसे अभी spec में नहीं ढूँढ सकता।

यदि आप पर्याप्त प्रेरित हैं, तो आप इसे रोकने के लिए एक -X विकल्प जोड़ सकते हैं।

वैकल्पिक रूप से, आप TupleN के सुपरटेप को स्वीकार करते हुए arity-1 विधियों को लिखने से बच सकते हैं।

Answer 6

क्या आप दो-पैरा ओवरराइड भी जोड़ सकते हैं, जो संकलक चीनी को लागू करने वाले संकलक को रोक देगा? प्रकार को अस्पष्ट रूप से अस्पष्ट करने के द्वारा आपको झूठी सकारात्मक प्राप्त करने की संभावना नहीं है। E.g:

object WhyTuple { 

    ... 

    class DummyType 

    def fooIt(a: DummyType, b: DummyType) { 
    throw new UnsupportedOperationException("Dummy function - should not be called") 
    } 
}