सी # इस प्रकार अनुमानित विधि कॉल अस्पष्ट क्यों है?

Question

कार्यों के निम्नलिखित जोड़ी सी # 6.0 में अशक्त सशर्त ऑपरेटर उपलब्ध प्रतिकृति बनाने का प्रयास:

public static TResult Bind<T, TResult>(this T obj, Func<T, TResult> func) 
    where T : class 
{ 
    return obj == null ? default(TResult) : func(obj); 
} 

public static TResult Bind<T, TResult>(this Nullable<T> obj, Func<T, TResult> func) 
    where T : struct 
{ 
    return obj.HasValue ? func(obj.Value) : default(TResult); 
} 

पहले समारोह वर्गों के लिए विवश है और एक String s के लिए मेरे जैसे कुछ लिखने के लिए अनुमति देता है:

var x = s.Bind(a => a.Substring(1)); 

दूसरा कार्य वह जगह है जहां मैं परेशानी में भाग रहा हूं। उदाहरण के लिए, दिए गए एक int? number मैं लिखने के लिए करना चाहते हैं:

The call is ambiguous between the following methods or properties: 'BindingExtensions.Bind<T, TResult>(T, Func<T, TResult>)' and 'BindingExtensions.Bind<T, TResult>(T?, Func<T, TResult>)'

मेरा अनुमान है कि इस बीच परस्पर क्रिया के साथ क्या करना है कि कुछ:

var y = number.Bind(a => a + 1); 

बहरहाल, यह मुझे निम्न त्रुटि देता है अज्ञात फ़ंक्शन और विधि अधिभार रिज़ॉल्यूशन का अनुमान टाइप करें। अगर मैं int के प्रकार को निर्दिष्ट करता हूं तो यह ठीक से संकलित करता है।

var y = number.Bind((int a) => a + 1); 

हालांकि, यह वांछनीय से स्पष्ट रूप से कम है। क्या कोई मुझे बता सकता है कि क्यों संकलक सोचता है कि उपरोक्त कॉल बांधने के लिए संदिग्ध है और/या इसे ठीक करने का तरीका प्रदान करता है? मुझे पता है कि मैं बस दो कार्यों को अलग-अलग नाम दे सकता हूं, लेकिन वह मजेदार क्या है?

Answer 1

अधिभारित कार्यों को प्रकार की बाधाओं से असंबद्ध नहीं किया जा सकता है (देखें "Generic constraints, where T : struct and where T : class")। कोई भी शून्य प्रकार एन N : T और N : Nullable<T> को संतुष्ट करता है, जो क्रमशः पूर्व और बाद में Bind परिभाषाओं की आवश्यकता होती है। मुझे लगता है कि numberNullable<int> या इसी प्रकार का है।

var x = s.Bind(a => a.Substring(1)); 

क्योंकि s, प्रकार string की और सभी T नहीं string : Nullable<T> के लिए है, इसलिए केवल पहले अधिभार स्वीकार्य है यह स्पष्ट है।

var y = number.Bind(a => a + 1); 

यह अस्पष्ट है क्योंकि a => a + 1 के प्रकार या तो Func<int?,int?> या Func<int,int> के रूप में अनुमान लगाया जा सकता है। यदि Func<int?,int?> के रूप में अनुमानित पहला अधिभार लागू होता है, और यदि Func<int,int> के रूप में अनुमानित दूसरा ओवरलोड लागू होता है। यदि number, प्रकार Nullable<int> की है, उदाहरण के लिए

var y = number.Bind((int a) => a + 1); 

यह स्पष्ट है। सभी TT : Nullable<int> और T : int के लिए पहले अधिभार के लिए, इसलिए यह लागू नहीं होता है। दूसरे अधिभार के लिए आपको केवल T : int की आवश्यकता है जो आसानी से T = int से संतुष्ट है।

Answer 2

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

public static TResult Bind<T, TResult>(this T? obj, Func<T?, TResult> func) 
    where T : struct 
    { 
     return obj.HasValue ? func(obj.Value) : default(TResult); 
    }