यदि वर्ग पदानुक्रम के नीचे कुछ भी प्रकार नहीं है, तो मैं इस पर किसी भी कल्पनीय विधि को क्यों नहीं बुला सकता?

Question

स्कैला प्रकार Nothing प्रकार पदानुक्रम के नीचे (जैसा कि मैं इसे समझता हूं) का प्रतिनिधित्व करता है, जो प्रतीक den द्वारा भी दर्शाया गया है। यही है, Nothing किसी दिए गए प्रकार का उप-प्रकार है। टाइप सिद्धांत में सैद्धांतिक पृष्ठभूमि के बिना Nothing प्रकार explained well by James Iry के लिए आवश्यकता है!

तो मेरे सवाल है, अगर Nothing हर प्रकार की एक उप-प्रकार है, मैं क्यों नहीं Nothing पर किसी भी प्रकार के तरीकों कॉल कर सकते हैं क्या है? जाहिर है, मैं कुछ भी नहीं कर सकता लेकिन निम्नलिखित संकलन क्यों नहीं करता?

var n: Nothing = _ 

def main(args: Array[String]) { 
    println(n.length) //compile error: value length is not a member of Nothing 
} 

Nothing रूप

निश्चित रूप से String की एक उप-प्रकार इस ठीक होना चाहिए है? ध्यान दें कि निम्नलिखित संकलित बस ठीक है!

var n: Nothing = _ 

def foo(s: String) : Int = s.length 

def main(args: Array[String]) { 
    println(foo(n)) 
} 

करता है:

def main(args: Array[String]) { 
    println(n.asInstanceOf[String].length) 
} 

Answer 1

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

यहां ऑब्जेक्ट उन्मुख पृष्ठभूमि से आने वाले लोगों के लिए भेद थोड़ा अजीब है, लेकिन तथ्य यह है कि एक अवधारणा के रूप में उपनिवेश ओओपी से बहुत अलग है। अनुमोदित, ऑब्जेक्ट उन्मुख वास्तव में कुछ रूपों में subtyping का तात्पर्य है, लेकिन विपरीत सच नहीं है। बेंजामिन पिएर्स की प्रकार और प्रोग्रामिंग भाषाएँ भाषा F_< (उच्चारण "एफ उप") प्रस्तुत करने का एक अच्छा काम करता है, जो सबटाइपिंग (लेकिन ओओ नहीं) वाली भाषा का एक न्यूनतम उदाहरण के रूप में कार्य करता है।

अब, वह सब कहा साथ, मैं मानता हूँ कि तथ्य यह है कि Nothing सामान्य विरासत नियमों से प्रतिरक्षा थोड़ा असंगत प्रतीत होता है है। हालांकि, एक सैद्धांतिक दृष्टिकोण से, यह सही समझ में आता है।

Answer 2

मैं Nothing किसी भी विधि को स्वीकार कर सकता है, और उन सभी पर एक मानक कार्रवाई करने लगता है (एक अपवाद फेंक)। हालांकि, यह बहुत उपयोगी नहीं होगा।

संकलन त्रुटि पेश करके, संकलक प्रोग्रामर को चेतावनी दे रहा है कि वह जिस प्रकार की सबसे अधिक संभावना नहीं चाहता था, Nothing, किसी भी तरह कोड में किसी निश्चित बिंदु पर अनुमान लगाया गया।

Answer 3

आप Nothing चर पर toString कॉल कर सकते हैं की वजह से यह defintion है:
final trait Nothing extends Any
और toString Any के सदस्य है। मुझे लगता है कि स्कैला कंपाइलर ट्रीट का Nothing केवल टाइप सीमाओं में है और इसे सभी मामलों पर किसी भी अन्य विशेषता की तरह व्यवहार करता है। Nothing के प्रकार के साथ परिवर्तनीय पर किसी भी विधि का आह्वान करना मुझे लगता है कि बहुत अजीब होगा।