क्यों structs को कॉन्स के रूप में घोषित नहीं किया जा सकता है?

Question

वे ढेर पर अपरिवर्तनीय मूल्य प्रकार हैं। मुझे उन्हें एक स्थिरता रखने से क्या बचाता है?

संदर्भ:

• http://msdn.microsoft.com/en-us/library/ah19swz4(v=vs.71).aspx
• http://msdn.microsoft.com/en-us/library/aa664465(v=vs.71).aspx
• http://msdn.microsoft.com/en-us/library/aa288471(v=vs.71).aspx

Answer 1

मान प्रकार निर्माता कुछ भी कर सकता क्योंकि - उदाहरण के लिए, स्विच तर्क दिन के समय के आधार पर । निरंतर मूल्य प्रकार बौद्धिक रूप से समझ में आता है, लेकिन यह रचनाकारों की लचीलापन के कारण जो भी वे कृपया करने के लिए अभ्यास में कस्टम मूल्य प्रकारों पर काम नहीं कर सकते हैं। (याद रखें कि स्थिरांक संकलन समय, जिसका अर्थ है अपने निर्माता संकलन समय पर चलाने के लिए होता है पर मूल्यांकन किया जाता है।)

Answer 2

सी # में कॉन्स्ट मतलब है कि यह संकलन समय पर निर्धारित किया जा सकता है, जिसके कारण बहुत ही आदिम int और string जैसे प्रकार एक कॉन्स हो सकते हैं।

यदि आप सी पृष्ठभूमि से आ रहे हैं, तो readonly कीवर्ड आपको बेहतर तरीके से अनुकूल कर सकता है।

Answer 3

मैं बस एक साधारण परिवर्तनशील struct साथ readonly कीवर्ड का परीक्षण किया:

struct Test 
{ 
    public int value; 

    public void setInt(int val) 
    { 
     value = val; 
    } 
} 

static class Program 
{ 
    public static readonly Test t = new Test(); 

    static void Main() 
    { 
     Console.WriteLine(t.value); // Outputs "0" 
     t.setInt(10); 
     //t.value = 10; //Illegal, will not let you assign field of a static struct 
     Console.WriteLine(t.value); // Still outputs "0" 
    } 
} 

हालांकि एक readonly struct एक संकलन समय निरंतर technicly नहीं है, क्रम अभ्यस्त इसे बदल दें। यहां तक ​​कि setInt() विधि को फेंकने के तरीके में यह मूल्य परिवर्तन की तरह दिखता है, लेकिन मुख्य में परिवर्तन नहीं दिखाता है।

मुझे लगता है कि संरचना स्वयं को "पठनीय" स्मृति में रखा गया है, जिससे उन्हें बदलने की अनुमति नहीं है। एक वर्ग के विपरीत, जो सूचक को स्थिर रखता है, जिससे कक्षा के क्षेत्र स्वयं को अपनी इच्छा के अनुसार बदल सकते हैं।

तो ऐसा लगता है कि static readonly प्रभावी रूप से const है, यहां तक ​​कि उत्परिवर्तनीय structs के लिए भी।

Answer 4

सी # कंपाइलर के लिए एक संरचना प्रकार के const मूल्य का उत्पादन करने के लिए यह पता होना चाहिए कि इसके सभी क्षेत्रों में मूल्यों को क्या जाना चाहिए। सी # कंपाइलर आंतरिक रूप से जानता है कि Decimal जैसे कुछ प्रकार के क्षेत्रों को कैसे प्रारंभ किया जाए, लेकिन अधिकांश मूल्य प्रकारों के लिए इसका कोई ज्ञान नहीं है।

एक कंपाइलर के लिए संदर्भों में संरचना प्रकार के निरंतर मूल्यों को घोषित करने का साधन प्रदान करना संभव होगा जहां struct फ़ील्ड का खुलासा किया गया था। यदि संरचना का क्षेत्र private था, तो उस प्रकार के स्थिरांक को केवल संरचना के भीतर घोषित किया जा सकता था; यदि फ़ील्ड internal थे, तो असेंबली के भीतर कहीं भी स्थिरांक घोषित किया जा सकता था; यदि public, उन्हें कहीं भी घोषित किया जा सकता है।

हालांकि मैं ऐसी सुविधा देखना चाहता हूं, मुझे किसी भी मुख्यधारा के .NET भाषाओं को लागू करने की उम्मीद नहीं है। कंपाइलर के स्वाभाविक रूप से जानता है कि प्रकार के स्थिरांक अन्य निरंतर अभिव्यक्तियों में भाग ले सकते हैं, जबकि static readonly चर नहीं कर सकते हैं। यदि NumRows 4 के बराबर स्थिर है, तो Arr[3*NumRows+7] जैसी अभिव्यक्ति को Arr[19] द्वारा प्रतिस्थापित किया जा सकता है भले ही NumRows किसी बाहरी असेंबली में परिभाषित किया गया हो।यह ऐसे स्थिरांक को static readonly चर से अधिक लाभ प्रदान करता है। यदि, हालांकि, स्थिरता एक प्रकार का है जो एक कंपाइलर आंतरिक रूप से पहचान नहीं लेता है, तो किसी भी निरंतर अभिव्यक्ति में भाग लेने की बहुत सीमित क्षमता होगी, जो पहले स्थान पर स्थिर होने के लाभ को प्रभावी ढंग से अस्वीकार कर देगी। यदि एक मूल्य-प्रकार निरंतर एक खुला क्षेत्र था, तो एक कंपाइलर के लिए निरंतर के रूप में उस क्षेत्र के मूल्य का उपयोग करना संभव होगा, लेकिन चूंकि .NET भाषाओं के निर्माता दार्शनिक रूप से खुला क्षेत्रों के साथ संरचनाओं का विरोध कर रहे हैं, तो मुझे उम्मीद नहीं होगी उन्हें इस तरह के उपयोग की इजाजत देने के लिए भी अगर वे कर सकते हैं।

static readonly चर से अधिक स्थिरांक के पक्ष में कुछ संभावित उपयोग मामले होंगे, लेकिन ऐसे कई मामलों को मौजूदा प्रकारों का उपयोग करके स्वीकार्य रूप से संभाला जा सकता है। उदाहरण के लिए, एक लाइब्रेरी const Int64 को अपने संस्करण के बारे में जानकारी एन्कोड करने के लिए उजागर कर सकती है, और उस मान का उपयोग GetLinkedVersionInfo विधि के लिए डिफ़ॉल्ट पैरामीटर मान के रूप में करें। प्रश्न में मूल्य कॉलिंग कोड को "बेक किया गया" जब संकलित किया गया था, इस प्रकार विधि को यह रिपोर्ट करने की इजाजत दी गई कि लाइब्रेरी के किस संस्करण के साथ कॉलर लिंक किया गया था, और संभावित रूप से यह पहचानने की अनुमति है कि संस्करण के साथ कोई संगतता समस्या है या नहीं।