Come ottenere il compilatore C# per inferire tipi generici?

Question

Ho il seguente metodo:

public TResult Get<TGenericType, TResult>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

In questo momento, un utente di questo metodo deve usare in questo modo:

//Notice the duplicate int type specification 
int number = Get<SomeGenericType<int>, int>(); 

Perché devo specificare TResult nel metodo defintion? Il compilatore conosce già TResult da quando l'ho specificato in TGenericType. Idealmente (se il compilatore C# è stato un po 'più intelligente), il mio metodo sarà simile a questa:

public TResult Get<TGenericType>() 
          where TGenericType : SomeGenericType<TResult> 
          where TResult : IConvertible { 
    //...code that uses TGenericType... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

Così l'utente può semplicemente usare in questo modo:

//Much cleaner 
int number = Get<SomeGenericType<int>>(); 

C'è un modo per farlo cosa voglio fare?

Answer 1

La specifica C# non consente inferire metà degli argomenti di tipo. Dovresti lasciare che il compilatore deduca tutti gli argomenti di tipo (che non sono sempre applicabili, come nel tuo caso) o specificarli manualmente.

UPDATE (Rispondi al commento): Mentre io non sono nella squadra di C# per dare una risposta assoluta alla tua domanda, la mia ipotesi è che la complessità della risoluzione di sovraccarico (che è già strabiliante, tu lo sai che se leggessi quella sezione di specifiche C#) aumenterebbe significativamente se volessero consentire che metà dei tipi fosse dedotta e metà non (specialmente considerando il fatto che puoi sovraccaricare i metodi solo dal numero di argomenti generici).

Answer 2

Dipende ...

Se stai usando solo SomeGenericType<TResult>, si può fare:

public TResult Get<TResult>() where TResult : IConvertible { 
    SomeGenericType<TResult> myInstance = ... 
    //...code that sets someValue... 
    return (TResult) someValue; 
} 

non v'è necessariamente un modo per mettere il primo tipo in là, in questo caso . Poiché il tuo esempio non sta passando esplicitamente come parametro a SomeGenericType<TResult>, suggerisce che ciò sarebbe possibile.

Altrimenti, è necessario specificare completamente tutti gli argomenti generici. Sfortunatamente, è proprio così come è in C#.