¿Cómo obtener el compilador de C# para inferir tipos genéricos?

Question

tengo el siguiente método:

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

En este momento, un usuario de este método tiene que utilizar de esta manera:

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

¿Por qué tengo que especificar TResult en el Defintion método? El compilador ya conoce TResult desde que lo especifiqué en TGenericType. Lo ideal sería que (si el compilador de C# fue un poco más inteligente), mi método sería así:

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

Así el usuario simplemente puede utilizar de esta manera:

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

¿Hay una manera de hacerlo ¿lo que quiero hacer?

Answer 1

La especificación C# no permite inferir la mitad de los argumentos de tipo. Debe permitir que el compilador deduzca todos los argumentos de tipo (que no siempre son aplicables, como en su caso) o especifique todos manualmente.

ACTUALIZACIÓN (Responder al comentario): Aunque no estoy en el equipo de C# para dar una respuesta absoluta a su pregunta, mi especulación es que la complejidad de la resolución de sobrecarga (que ya está alucinante; sabes eso si lees esa sección de la especificación C#) aumentaría significativamente si quisieran permitir que la mitad de los tipos se infieran y la mitad no (especialmente considerando el hecho de que puedes sobrecargar los métodos únicamente por el número de argumentos genéricos).

Answer 2

Depende ...

Si sólo está utilizando SomeGenericType<TResult>, puede hacerlo:

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

no hay necesariamente una manera de poner el primer tipo en ese país, en este caso . Como su ejemplo no está pasando en un SomeGenericType<TResult> explícitamente como un parámetro, sugiere que esto sea posible.

De lo contrario, debe especificar por completo todos sus argumentos genéricos. Desafortunadamente, así es como está en C#.