रस्ट रनटाइम पर सरणी सीमाओं को क्यों चेक करता है, जब (अधिकतर) अन्य चेक संकलन समय पर होते हैं?

Question

पढ़ना basic introduction:

If you try to use a subscript that is not in the array, you will get an error: array access is bounds-checked at run-time.

क्यों जब ऐसा लगता है कि अधिकांश अन्य चेक के संकलन समय पर पाए जाते हैं, कार्यावधि में जंग की जांच सरणी सीमा करता है?

Answer 1

क्योंकि संकलन समय पर सूचकांक की जांच करना संभव नहीं है। मनमानी चर के संभावित मूल्यों के बारे में तर्क छोटे कार्यक्रमों के लिए भी मुश्किल और असंभव के बीच कहीं है।

1. औपचारिक रूप से साबित होता है कि सूचकांक सीमा से बाहर नहीं किया जा सकता और हर एक के लिए,
2. एनकोड प्रकार प्रणाली

में है कि सबूत ...: कोई नहीं है करने के लिए करना चाहता है टुकड़ा/वीइसी/आदि। पहुंच। क्योंकि संकलन समय पर सीमा शुल्क करने के लिए आपको यही करना होगा। आपको अनिवार्य रूप से निर्भर टाइपिंग की आवश्यकता है। संभावित रूप से टाइपिंग की जांच करने के अलावा अनिश्चित (और एक प्रोग्राम को बहुत कठिन टाइप करने के लिए प्रोग्राम प्राप्त करना), सामान्य रूप से अनुमान सामान्य रूप से असंभव हो जाता है (और सबसे अच्छे मामले में कहीं अधिक प्रतिबंधित), प्रकार अधिक जटिल और शब्दशः, और जटिलता प्राप्त करते हैं भाषा में काफी वृद्धि हुई है। यह सूचकांक सीमाओं में हैं केवल बहुत ही सरल परिस्थितियों में महत्वपूर्ण अतिरिक्त प्रोग्रामर प्रयास किए बिना सिद्ध किए जा सकते हैं।

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