सी # में वैध केस का उपयोग क्यों कर रहा है?

Question

क्या कोई मुझे बता सकता है कि नीचे दिखाया गया कोड सी # में मान्य क्यों है और Console.WriteLine पर कॉल निष्पादित करता है?

using (null) 
{ 
    Console.WriteLine ("something is here") 
} 

यह संकलित करता है (अंत में ब्लॉक दिखाया गया है)। जैसा कि आप देख सकते हैं कि संकलक Dispose() विधि निष्पादित नहीं करने का निर्णय लेता है और endfinally निर्देश पर कूदता है।

IL_0013: ldnull 
IL_0014: ceq 
IL_0016: stloc.1 
IL_0017: ldloc.1 
IL_0018: brtrue.s IL_0021 // branches here and decide not to execute Dispose() 
IL_001a: ldnull 
IL_001b: callvirt instance void [mscorlib]System.IDisposable::Dispose() 
IL_0020: nop 
IL_0021: endfinally 

हालांकि, अगर मैं निम्नलिखित कोड चलाने के लिए, यह एक NullReferenceException (जो की उम्मीद है) के साथ असफल हो जायेगी:

((IDisposable)null).Dispose(); 
IL_0023: ldnull 
IL_0024: callvirt instance void [mscorlib]System.IDisposable::Dispose() 

क्यों पहले संस्करण संकलित करता है? संकलक Dispose() निष्पादित न करने का निर्णय क्यों लेता है? क्या कोई अन्य मामला है जब संकलक using ब्लॉक में Dispose() पर कॉल न करने का निर्णय ले सकता है?

Answer 1

भाषा कल्पना स्पष्ट रूप से कहा (8.13) है कि कब्जा कर लिया मूल्य

if(tmp != null) tmp.Dispose(); 

मैं अक्सर के लिए इसका उपयोग (गैर-व्यर्थ प्रकार के आसपास कैविएट्स के साथ), अशक्त यदि आवश्यक हो तो के लिए परीक्षण किया यानी finally अनिवार्य है मेरी लाभ, शून्य हो सकता है, लेकिन जब वे नहीं हैं: निपटान की आवश्यकता है। वास्तव में, यहाँ एक उपयोगी परिदृश्य (स्वयं IEnumerable गणना) है:

IEnumerable blah = ...; // note non-generic version 
IEnumerator iter = blah.GetEnumerator(); 
using(iter as IDisposable) 
{ 
    // loop 
} 

रूप IEnumerator के गैर जेनेरिक वर्जन जरूरी IDisposable नहीं है, लेकिन जब यह है, निपटारा किया जाना चाहिए।

Answer 2

मुझे लगता है कि यह using(some_expression) के अधिक सामान्य मामले का प्राकृतिक परिणाम है, जहां some_expressionis allowed to evaluate to null।

इस मामले को अधिक सामान्य से अलग करने के लिए इसे एक विशेष नियम की आवश्यकता होगी।

Answer 3

यह अगर वस्तु रिक्त है पर ध्यान नहीं देगा - http://msdn.microsoft.com/en-us/library/yh598w02.aspx