फ़ंक्शन संरचना

Question

Compose फ़ंक्शन के नीचे। यदि f और g समान कार्य हैं जो मान वापस करते हैं, तो Compose(f,g) एक फ़ंक्शन देता है जिसे x पर कॉल किया जाता है f(g(x)) के बराबर करता है।

Func<int, bool> is_zero = x => { return x == 0; }; 

Func<int, int> mod_by_2 = x => { return x % 2; }; 

जैसे:

static Func<X, Z> Compose<Z, Y, X>(Func<Y, Z> f,Func<X, Y> g) 
{ return x => f(g(x)); } 

यहाँ सरल Func मूल्यों के एक जोड़े जो बना जा सकता है इस काम करता है:

Console.WriteLine(Compose(is_zero, mod_by_2)(4)); 

हालांकि, अगर मैं बजाय इन बराबर स्थिर तरीकों:

static bool IsZero(int n) { return n == 0; } 

static int ModBy2(int n) { return n % 2; } 

एक ही उदाहरण लोगों के साथ काम नहीं करता। अर्थात।

Console.WriteLine(Compose(IsZero, ModBy2)(4)); 

स्पष्ट रूप से गुजर प्रकार Compose को ठीक करता है मुद्दा:

Console.WriteLine(Compose<bool, int, int>(IsZero, ModBy2)(4)); 

वहाँ वैसे भी है लिखने के लिए Compose इस तरह यह स्पष्ट प्रकार के बिना स्थिर तरीकों पर काम करता है कि यह एक संकलन समय त्रुटि पैदा करता है?

Compose लागू करने के लिए यह एक अच्छा तरीका है? क्या कोई इस में सुधार कर सकता है?

Answer 1

यहां समस्या static विधियों का उपयोग नहीं है बल्कि विधि समूहों का उपयोग नहीं है। जब आप फ़ंक्शन नाम का उपयोग बिना अभिव्यक्ति के अभिव्यक्ति के रूप में करते हैं तो यह एक विधि समूह है और विधि समूह रूपांतरण के माध्यम से जाना चाहिए। उदाहरण विधियों के साथ आपको एक ही समस्या होगी।

जिस समस्या में आप चल रहे हैं वह यह है कि सी # विधि समूहों पर रिटर्न प्रकार अनुमान नहीं कर सकता है। Compose(IsZero, ModBy2)) का उपयोग करने के लिए वापसी प्रकार को IsZero और ModBy2 दोनों के लिए अनुमानित किया जाना चाहिए और इसलिए यह ऑपरेशन विफल हो जाता है।

यह सी # कंपाइलर की अनुमान क्षमताओं में एक ज्ञात सीमा है। एरिक Lippert जो विस्तार से इस समस्या को

• http://blogs.msdn.com/b/ericlippert/archive/2007/11/05/c-3-0-return-type-inference-does-not-work-on-member-groups.aspx