명시 적으로 제네릭 매개 변수 형식을 제공해야하는 이유 컴파일러에서 형식을 유추해야하는 이유는 무엇입니까?

Question

명시 적으로 제네릭 매개 변수 형식을 제공해야하는 이유 컴파일러에서 형식을 유추해야하는 이유는 무엇입니까?

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

샘플 사용법 : 더 지능적인 컴파일러 내 원하는 용도에 비해

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

:

objOfTypeT2 = objOfTypeT1.Cast<TypeT2>(); 

또는 어쩌면 내가해야 더 지능 :-)

주의 사항 : 반환 유형. 나는 함수를 호출 한 객체를 제공하지 않으려합니다. 메서드는 확장 메서드입니다.

Answer 1

제네릭 메서드에 대한 형식 매개 변수 유추가 all 또는 nothing으로 제한됩니다. 부분 추론은 할 수 없습니다.

이론적 근거는 아마도 형식 유추 규칙을 단순화하는 것입니다.이 유추 규칙은 너무 과중한 규칙을 고려해야하기 때문에 이미 꽤 복잡합니다.

Answer 2

유추는 반환 형식을 고려하지 않습니다. 그러나 당신은 generics를 분리하려고 시도 할 수 있습니다. (가, 나타내는 유일한 검증되지 않은) 정상적인 방법 (들)을 주조 잘못 무엇

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 
    } 
}