एक स्थिर टाइप की गई भाषा में महत्वपूर्ण प्रकार की घोषणा क्यों है?

Question

मैं एक प्रोग्रामिंग भाषा को स्थिर रूप से टाइप किए जाने के लाभ को समझने की कोशिश कर रहा हूं, और इसके माध्यम से, मुझे आश्चर्य है कि हमें घोषणा में प्रकार शामिल करने की आवश्यकता क्यों है? क्या यह स्पष्ट प्रकार बनाने के बजाय किसी भी उद्देश्य की सेवा करता है? यदि यह मामला है, तो मुझे बिंदु नहीं दिख रहा है। मैं समझता हूं कि स्थैतिक टाइपिंग संकलन-समय पर टाइपिंग की जांच करने की अनुमति देती है, लेकिन अगर हम स्पष्ट प्रकार की घोषणा छोड़ देते हैं, तो जावा अभी भी संकलन-समय के दौरान अनुमानित प्रकार नहीं कर सकता है?

myClass test = new myClass(); 

यहाँ प्रकार घोषणा अनावश्यक नहीं है:

उदाहरण के लिए, मान लीजिए कि हम जावा में डालते हैं? अगर मैं गलत नहीं हूँ, यह स्थिर बंधन है, और जावा पता होना चाहिए test भी संकलन समय पर प्रकार की स्पष्ट घोषणा के बिना प्रकार myClass की है।

संभव डुप्लिकेट करने के लिए उत्तर: यह स्थिर बनाम गतिशील प्रकार के बारे में एक सवाल के रूप में स्वीकार जवाब में विस्तार से बताया नहीं है, बल्कि के बारे में स्थिर टाइप किया भाषाओं में प्रकार निष्कर्ष,।

Answer 1

सांख्यिकीय रूप से टाइप की गई भाषाएं हैं जो आपको प्रकार की घोषणा को छोड़ने की अनुमति देती हैं। इसे type inference कहा जाता है। कमियां यह है कि यह (भाषा डिजाइनरों के लिए) डिजाइन करने के लिए मुश्किल है कर रहे हैं (संकलक लेखकों के लिए) को लागू करने के मुश्किल है, और मुश्किल हो सकता है समझने के लिए जब कुछ गलत हो जाता (प्रोग्रामर के लिए)। अक्सर एक गुप्त संदेश के माध्यम से - उन लोगों में से पिछले एक के साथ समस्या यह है कि अगर कई (या सभी) अपने प्रकार के द्वारा बताए गए हैं, संकलक वास्तव में आप ज्यादा से ज्यादा "प्रकार सभी संगत नहीं हैं" नहीं बता सकता है।

एक आप का हवाला देते हैं जैसे एक छोटी सी मामले में, हाँ, यह आसान है। लेकिन जैसे ही आप मामूली मामले से आगे निकलते हैं, प्रणाली जटिलता में तेजी से बढ़ती है।

जावा वास्तव में सीमित रूप में, प्रकार निष्कर्ष का एक सा क्या करता है। उदाहरण के लिए, इस स्निपेट में के लिए:

List<String> emptyStrings = Collections.emptyList(); 

... संकलक अनुमान लगाया गया है कि विधि कॉल emptyList रिटर्न एक List<String>, और न सिर्फ एक List<T> प्रकार T अनिर्दिष्ट है जहां। उस रेखा के गैर अनुमानित संस्करण (जो भी वैध जावा है):

List<String> emptyStrings = Collections.<String> emptyList(); 

Answer 2

यह आवश्यक है। आप विरासत प्राप्त कर सकते हैं, जहां प्रकार आवश्यक हैं।

उदाहरण के लिए:

Building build1 = new House(); 
Building build2 = new SkyScraper(); 

यह बहुरूपता में एक ही है।

फिर आप उदाहरण के लिए सरणी के लिए सभी Building रों एकत्र कर सकते हैं। यदि एक House और एक SkyScraper होगा तो आप ऐसा नहीं कर सकते हैं।