Composizione funzione

Question

Sotto una funzione Compose. Se f e g sono funzioni unarie che restituiscono valori, quindi Compose(f,g) restituisce una funzione che quando viene chiamata su x esegue l'equivalente a f(g(x)).

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

Ecco un paio di semplici Func valori che può essere composto da:

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

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

Ad es questo funziona:

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

Tuttavia, se invece ho questi metodi statici equivalenti:

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

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

stesso esempio non funziona con quelli. Cioè questo produce un errore di compilazione:

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

tipi in modo esplicito che passano a Compose corregge il problema:

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

Esiste un modo per scrivere Compose tale che funziona sui metodi statici senza i tipi espliciti?

È un buon approccio da adottare per implementare Compose? Qualcuno può apportare miglioramenti a questo?

Answer 1

Il problema qui non è l'uso dei metodi static ma l'uso di gruppi di metodi. Quando si utilizza un nome di funzione come espressione senza invocarlo, si tratta di un gruppo di metodi e deve passare attraverso la conversione del gruppo di metodi. Avresti lo stesso identico problema con i metodi di istanza.

Il problema che si sta verificando è che C# non può restituire un'inferenza di tipo sui gruppi di metodi. L'utilizzo di Compose(IsZero, ModBy2)) richiede che il tipo di reso sia dedotto sia per IsZero sia per ModBy2 e quindi questa operazione non riesce.

Questa è una limitazione nota nelle capacità di inferenza del compilatore C#. Eric Lippert ha scritto un lungo articolo del blog su questo particolare argomento, che copre questo problema in dettaglio

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