Perché l'inferenza del metodo non riesce a dedurre un parametro di tipo?

Question

Non sono esattamente sicuro di come rendere questa domanda leggibile/comprensibile, ma ascoltami e spero che capirai il mio problema quando arriveremo alla fine (per lo meno è facilmente riproducibile).

Provo a chiamare un metodo utilizzato per la convalida dei risultati in UnitTests. Essa ha la seguente firma:

void AssertPropertyValues<TEnumerable, TElement, TProperty>(
    TEnumerable enumerable, 
    Func<TElement, TProperty> propertyPointer, 
    params TProperty[] expectedValues) 
    where TEnumerable : System.Collections.Generic.IList<TElement> 

Ciò significa, che prende il seguente ingresso

1. Qualsiasi oggetto enumerabile, e contiene oggetti dello stesso tipo come gli input per 2).
2. Un Func (espressioni lambda di solito incapsulanti) che accetta un oggetto dello stesso tipo come "contenuto" di 1) e restituisce un oggetto dello stesso tipo del Tipo del contenuto dell'array fornito in 3).
3. Un array di oggetti dello stesso tipo dell'output di Func in 2).

Quindi, una effettiva esecuzione di questo metodo potrebbe essere la seguente:

AssertPropertyValues(
    item.ItemGroups, 
    itemGroup => itemGroup.Name, 
    "Name1", "Name2", "Name3"); 

Almeno, è così che mi piacerebbe farlo sembrare come, ma mi imbatto in l'errore del compilatore ben nota: "Gli argomenti tipo per il metodo 'X' non possono essere dedotti dall'utilizzo.", Ed è quello che non capisco. Dovrebbe avere tutte le informazioni necessarie per quanto posso vedere, o forse è un'altra versione del problema "Covariance and Contravariance"?

Quindi per ora sono costretto a farlo in questo modo, invece:

AssertPropertyValues(
    item.ItemGroups, 
    (ItemGroup itemGroup) => itemGroup.Name, 
    "Name1", "Name2", "Name3"); 

Chiunque può segnalare il motivo per cui questo scenario non si può dedurre dal compilatore?

Answer 1

Il problema è causato dal fatto che i vincoli non sono considerati parte della firma e non vengono mai utilizzati per dedurre durante l'inferenza di tipo. Ti aspetti che la deduzione vada:

• TEnumerable viene determinato prendendo il tipo del primo argomento.
• TElement è determinato prendendo le informazioni IList<T> attuazione da TElement
• TProperty è determinato dal tipo di corpo del lambda

Ma C# non fa che secondo passo perché richiede considerando informazioni da un vincolo . Come si nota, se si forniscono tali informazioni nel lambda, il compilatore effettua la detrazione in base al tipo di parametro formale.

Fortunatamente il vincolo non è necessario. Riscrivere il tuo metodo per avere una firma più semplice che non ha un vincolo:

void AssertPropertyValues<TElement, TProperty>(
    IList<TElement> sequence, 
    Func<TElement, TProperty> projection, 
    params TProperty[] expectedValues) 

e ora si dovrebbe andare bene.

E mentre ci sei, probabilmente dovresti semplificarlo a IEnumerable<TElement> a meno che non sia necessario un IList<T> per qualche motivo.