नल

Question

के साथ मिलान टुपल मुझे समझ में नहीं आता कि निम्न केस क्यों मेल नहीं खाता है। नल किसी का उदाहरण होना चाहिए, लेकिन यह मेल नहीं खाता है। क्या कोई बता सकता है कि क्या हो रहा है?

val x = (2, null) 
x match { 
    case (i:Int, v:Any) => println("got tuple %s: %s".format(i, v)) 
    case _ => println("catch all") 
} 

prints catch all 

धन्यवाद।

Answer 1

यह बिल्कुल निर्दिष्ट है।

Type patterns consist of types, type variables, and wildcards. 
A type pattern T is of one of the following forms: 

* A reference to a class C, p.C, or T#C. 
This type pattern matches any non-null instance of the given class. 

यह दिलचस्प है कि इतनी प्रासंगिकता को किसी के सदस्य होने के लिए जिम्मेदार ठहराया गया है। यह हर प्रकार का सदस्य है लेकिन AnyVal और कुछ भी नहीं।

Answer 2

मैं सिर्फ अनुमान लगा रहा हूं क्योंकि मैं कोई स्केल विशेषज्ञ नहीं हूं लेकिन स्केल में किसी भी वर्ग के लिए documentation के अनुसार मैं सोच रहा हूं कि चूंकि शून्य शून्य नहीं है, यह किसी से और जैसा नहीं है ऐसा पहले सूचीबद्ध मामले से मेल नहीं खाता है।

नीचे कोड नमूना जोड़ना। यह दौड़ते समय "कुछ और" प्रिंट करता है।

val x = (2, null) 
x match { 
    case (i:Int, v:Any) => println("got tuple %s: %s".format(i, v)) 
    case (i:Int, null) => println("something else %s".format(i)) 
    case _ => println("catch all") 
} 

और अधिक शोध करने के बाद ऐसा लगता है अशक्त की तरह किसी भी भावना के साथ मैच चाहिए documentation कहना है कि यह AnyRef जो किसी भी फैली फैली हुई है।

संपादित करें: हर किसी की तरह कहा है। पहला मामला उद्देश्य पर शून्य से मेल नहीं खाता है। यह प्रलेखन में निर्दिष्ट है।

Answer 3

निर्दिष्ट के रूप में (स्काला संदर्भ 2.7, खंड 8.2) है कि:

एक वर्ग सी, p.C, या टी # सेल्सियस के लिए एक संदर्भ। इस प्रकार के पैटर्न को दिए गए वर्ग के किसी भी गैर-शून्य उदाहरण को स्वरूपित करता है। ध्यान दें कि कक्षा का उपसर्ग, यह दिया गया है, कक्षा के उदाहरण निर्धारित करने के लिए प्रासंगिक है। उदाहरण के लिए, पैटर्न पी.सी. केवल कक्षाओं के उदाहरणों से मेल खाता है जो थे जो उपसर्ग के रूप में पथ पी के साथ बनाए गए थे।

Answer 4

आप कुछ भी के लिए v प्लेसहोल्डर की कोशिश की है?

val x = (2, null) 
x match { 
    case (i:Int, v) => println("got tuple %s: %s".format(i, v)) 
    case _ => println("catch all") 
}