ジェネリック型を推論するためにC＃コンパイラを取得するには？

Question

次のメソッドがあります：

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

このメソッドのユーザーは、このように使用する必要があります。

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

なぜメソッド定義にTResultを指定する必要がありますか？コンパイラはTGenericTypeで指定してから既にTResultを知っています。理想的には（C＃コンパイラが少しスマートだった場合）、私の方法は次のようになります：

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

したがって、ユーザーは単純に次のように使用できます：

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

私がやりたいこと？

Answer 1

C＃仕様では、型引数の半分を推論することはできません。コンパイラにすべての型引数（あなたの場合のようにいつも適用可能ではない）を推論させるか、またはそれらのすべてを手動で指定する必要があります。

私はC＃チームであなたの質問に絶対的な答えをしているわけではありませんが、私の推測では、過負荷解決の複雑さ（既に心が吹き荒れています; C＃仕様のそのセクションを読んだ場合）は、型の半分が推定され、半分は許容されないようにするためには大幅に増加します（特に、汎用引数の数だけメソッドをオーバーロードできるという事実を考慮して）。

Answer 2

それが依存...

あなただけSomeGenericType<TResult>を使用している場合は、行うことができます：

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

が、必ずしもこのような場合には、そこに最初のタイプを配置する方法はありません。あなたの例は明示的にパラメータとしてSomeGenericType<TResult>を渡さないので、これが可能であることを示唆しています。

それ以外の場合は、すべての汎用引数を完全に指定する必要があります。残念ながら、これはC＃でのやり方です。