निरर्थक प्रकार और टर्नरी ऑपरेटर: `क्यों है? 10: शून्य 'वर्जित?

Question

मैं बस एक अजीब त्रुटि में आया:

private bool GetBoolValue() 
{ 
    //Do some logic and return true or false 
} 

फिर, किसी अन्य विधि में, इस तरह कुछ:

int? x = GetBoolValue() ? 10 : null; 

सरल, यदि विधि सही होती है, तो Nullable int x को 10 असाइन करें। अन्यथा, nullable int को शून्य दें। हालांकि, संकलक शिकायत करता है:

Error 1 Type of conditional expression cannot be determined because there is no implicit conversion between int and <null> .

क्या मैं पागल हो रहा हूँ?

Answer 1

संकलक पहले दाएँ हाथ अभिव्यक्ति का मूल्यांकन करने की कोशिश करता है:

आप के साथ बेहतर किस्मत हो सकता है

GetBoolValue() ? 10 : null 

10 एक int शाब्दिक (नहीं int?) और null है , ठीक है, null। उन दोनों के बीच त्रुटि संदेश इसलिए कोई अंतर्निहित रूपांतरण नहीं है।

आप उसके बाद निम्न यह संकलित क्योंकि int? और null के बीच एक अंतर्निहित रूपांतरण है वहाँ (# 1) और int और int? के बीच से एक के लिए दाएँ हाथ अभिव्यक्ति को बदलते हैं (# 2, # 3)।

GetBoolValue() ? (int?)10 : null // #1 
GetBoolValue() ? 10 : (int?)null // #2 
GetBoolValue() ? 10 : default(int?) // #3 

Answer 2

इस प्रयास करें:

int? x = GetBoolValue() ? 10 : (int?)null; 

असल में क्या हो रहा है कि सशर्त ऑपरेटर अभिव्यक्ति की "वापसी प्रकार" निर्धारित करने में असमर्थ है। चूंकि संकलक निहित रूप से निर्णय लेता है कि 10 एक int है, तो यह निर्णय लेता है कि इस अभिव्यक्ति का वापसी प्रकार int होगा। चूंकि intnull (सशर्त ऑपरेटर का तीसरा ऑपरेंड) नहीं हो सकता है, इसलिए यह शिकायत करता है।

null को Nullable<int> पर कास्ट करके हम संकलक को स्पष्ट रूप से बता रहे हैं कि इस अभिव्यक्ति का रिटर्न प्रकार Nullable<int> होगा। आप 10 से int? पर भी आसानी से डाले जा सकते थे और इसका भी असर पड़ा था।

Answer 3

int? x = GetBoolValue() ? 10 : (int?)null; 

कारण आप देख इस वजह से पर्दे के पीछे आप Nullable का उपयोग कर रहे हैं और आप सी # है कि आपके "अशक्त" Nullable की एक अशक्त उदाहरण है बताने के लिए की जरूरत है।

Answer 4

इनमें से किसी एक का प्रयास करें:

int? x = GetBoolValue() ? (int?)10 : null; 

int? x = GetBoolValue() ? 10 : (int?)null; 

Answer 5

बस एक explict वर्णक जोड़ने।

int? x = GetBoolValue() ? 10 : (int?)null; 

यह त्रिगुट ऑपरेटर भ्रमित हो जाता है वह यह है कि - दूसरा तर्क एक पूर्णांक है और इसलिए तीसरा तर्क एक पूर्णांक होना करने के लिए, भी exspected है, और अशक्त फिट नहीं करता है।

Answer 6

समस्या यह है कि टर्नरी ऑपरेटर आपके पहले पैरामीटर असाइनमेंट के आधार पर प्रकार का उल्लंघन कर रहा है ... इस मामले में 10, जो एक int है, एक शून्य नहीं है।

int? x = GetBoolValue() (int?)10 : null; 

Answer 7

ऐसा इसलिए है क्योंकि संकलक सशर्त ऑपरेटर के दूसरे और तीसरे ऑपरेंड द्वारा निर्धारित करता है, न कि आप परिणाम को निर्दिष्ट करते हैं। एक पूर्णांक और शून्य संदर्भ के बीच कोई प्रत्यक्ष कलाकार नहीं है जिसे संकलक प्रकार निर्धारित करने के लिए उपयोग कर सकते हैं।

Answer 8

संयोग से, सी # कंपाइलर का माइक्रोसॉफ्ट कार्यान्वयन वास्तव में सशर्त ऑपरेटर का प्रकार विश्लेषण बहुत सूक्ष्म और रोचक (मेरे लिए) तरीके से गलत हो जाता है। मेरा लेख Type inference woes, part one है।

Answer 9

इस प्रयास करें:

int? result = condition ? 10 : default(int?);