'संरचना Nullable <T>' संरचना क्यों नहीं है?

Question

असल में सी # में निम्नलिखित क्यों अमान्य है? मुझे इसके लिए बहुत अच्छे उपयोग मिल सकते हैं और वास्तव में इसे अपनी खुद की नामुमकिन संरचना वर्ग बनाकर ठीक कर सकते हैं, लेकिन सी # विनिर्देश (और इसलिए संकलक) क्यों और कैसे रोकता है?

नीचे जो मैं बात कर रहा हूं उसका आंशिक उदाहरण नीचे दिया गया है।

struct MyNullable<T> where T : struct 
{ 
    public T Value; 
    public bool HasValue; 

    // Need to overide equals, as well as provide static implicit/explit cast operators 
} 

class Program 
{ 
    static void Main(string[] args) 
    { 
     // Compiles fine and works as expected 
     MyNullable<Double> NullableDoubleTest; 
     NullableDoubleTest.Value = 63.0; 

     // Also compiles fine and works as expected 
     MyNullable<MyNullable<Double>> NullableNullableTest; 
     NullableNullableTest.Value.Value = 63.0; 

     // Fails to compile...despite Nullable being a struct 
     // Error: The type 'double?' must be a non-nullable value type in order to use it as parameter 'T' in the generic type or method 'ConsoleApplication1.MyNullable<T>' 
     MyNullable<Nullable<Double>> MyNullableSuperStruct; 
    } 
} 

Answer 1

यह struct है। यह सिर्फ मान प्रकार जेनेरिक प्रकार पैरामीटर बाधा को संतुष्ट नहीं करता है। 10.1.5 भाषा विनिर्देशन से:

मान प्रकार की बाधा निर्दिष्ट करती है कि प्रकार पैरामीटर के लिए उपयोग किए जाने वाले एक प्रकार का तर्क एक गैर-शून्य मूल्य मान होना चाहिए। सभी गैर-नामुमकिन संरचना प्रकार, enum प्रकार, और मान पैरामीटर वाले प्रकार पैरामीटर इस बाधा को पूरा करते हैं। ध्यान दें कि हालांकि मान प्रकार के रूप में वर्गीकृत, एक शून्य प्रकार (§4.1.10) मान प्रकार की बाधा को पूरा नहीं करता है।

तो, where T : struct का मतलब यह नहीं है कि इसका क्या अर्थ है।

असल में सी # में निम्नलिखित क्यों अमान्य है?

क्योंकि where T : struct केवल T से संतुष्ट हो सकता है जो गैर-शून्य मूल्य प्रकार हैं। Nullable<TNonNullableValueType> इस बाधा को पूरा नहीं करता है।

संकलक इसे क्यों और कैसे रोकता है?

क्यों? विनिर्देश के साथ संगत होने के लिए। कैसे? वाक्य रचनात्मक और अर्थपूर्ण विश्लेषण करके और यह निर्धारित करना कि आपने एक सामान्य प्रकार पैरामीटर T प्रदान किया है जो सामान्य प्रकार की बाधा where T : struct को संतुष्ट नहीं करता है।

[मैं] यह मेरे अपने नल struct वर्ग बनाने के द्वारा ठीक कर सकते हैं लेकिन

नहीं, आप संस्करण यह दुरुस्त नहीं होता हो। यह मूल रूप से Nullable<T> जैसा ही है, सिवाय इसके कि आपको कंपाइलर द्वारा विशेष हैंडलिंग नहीं मिलती है, और आप कुछ मुक्केबाजी का कारण बनेंगे कि कंपाइलर का कार्यान्वयन बॉक्स नहीं होगा।

मैं के लिए यह

सच अच्छा उपयोग करता है के बहुत सारे मिल सकते हैं? जैसे कि? ध्यान रखें, Nullable<T> का मूल विचार एक संग्रहण स्थान है जिसमें T हो सकता है या "मान गुम है" का प्रतिनिधित्व कर सकता है। यह घोंसला करने का मुद्दा क्या है? यही है, Nullable<Nullable<T>> का बिंदु क्या है? यह वैचारिक भावना भी नहीं बनाता है। यही कारण है कि यह निषिद्ध है, लेकिन मैं केवल अनुमान लगा रहा हूं (एरिक लिपर्ट के पास confirmed है कि यह अनुमान सही है)। उदाहरण के लिए, int?? क्या है? यह एक भंडारण स्थान का प्रतिनिधित्व करता है जो मानता है कि मान गुम है या int? है, जो स्वयं एक भंडारण स्थान है जो मानता है कि मान गुम है या int है? क्या फायदा?

Answer 2

संरचना बाधाओं के निचले स्तरों को हटाने का एक कारण यह है कि हम सामान्य तरीकों से T? का उपयोग करने में सक्षम होना चाहते हैं। यदि struct ने अनुपलब्ध मान प्रकारों की अनुमति दी है, तो संकलक को T? को प्रतिबंधित करना होगा।

नल प्रकार अन्य मामलों में संकलक में विशेष हैंडलिंग के साथ-साथ होना चाहिए:

• अशक्त कीवर्ड परोक्ष एक नल प्रकार के लिए परिवर्तनीय होना चाहिए; यह एक मूल्य प्रकार के साथ असंभव है।
• शून्य मूल्य वाले कीवर्ड के साथ शून्य मूल्यों की तुलना की जा सकती है; गैर-शून्य मूल्य प्रकारों के साथ, यह तुलना हमेशा झूठी होती है।
• शून्य मूल्य प्रकार ?? ऑपरेटर के साथ काम करते हैं; गैर-शून्य नहीं है।