¿Por qué debo proporcionar tipos de parámetros explícitamente genéricos mientras que el compilador debe inferir el tipo?

Question

¿Por qué debo proporcionar tipos de parámetros explícitamente genéricos mientras que el compilador debe inferir el tipo? Uso

public static T2 Cast<T1,T2>(this T1 arg) where T2 : class where T1 : class 
{ 
    return arg as T2; 
} 

muestra:

objOfTypeT2 = objOfTypeT1.Cast<TypeT1,TypeT2>(); 

En comparación con mi uso deseado con un compilador más inteligente:

objOfTypeT2 = objOfTypeT1.Cast<TypeT2>(); 

o tal vez debería ser más inteligente :-)

Ten en cuenta que I prov ide el tipo de devolución. No deseo proporcionar el objeto al que he llamado la función, el método es Método de extensión.

Answer 1

La especificación limita la inferencia del parámetro de tipo para métodos genéricos a todo o nada. No puedes tener una inferencia parcial.

La razón de ser es, probablemente, simplificar las reglas de inferencia de tipo (que ya son bastante complejas, ya que también deben tener en cuenta las reglas de sobrecarga).

Answer 2

La inferencia no tiene en cuenta el tipo de devolución; sin embargo, puedes intentar dividir los genéricos; por ejemplo, podría escribir código para permitir:

.Cast().To<Type2>() 

por tener (no probado; sólo indicativas)

public static CastHelper<T> Cast<T>(this T obj) { 
    return new CastHelper<T>(obj); 
} 
public struct CastHelper<TFrom> { 
    private readonly TFrom obj; 
    public CastHelper(TFrom obj) { this.obj = obj;} 
    public TTo To<TTo>() { 
     // your code here 
    } 
}