は、（それが拡張され、通常のもののために同じになるというけれども、それはおそらく無関係です）それは

Question

を返された場合、私は非常に単純な拡張メソッドを持つジェネリック型を推論することはできません：

public static T Content<T>(this HttpResponseMessage response) 
{ 
    var content = (ObjectContent<T>) response.Content; 
    return (T) content.Value; 
} 

は今、私は次のようにそれを使用するのですその：

MyContent content = response.Content(); 

しかし、私はタイプが用法から推測することができないエラーが発生しますので、私はこれをしなければならない。

MyContent content = response.Content<MyContent>(); 

これは単なる欠けている機能なのでしょうか、ここで何か間違っていますか？ Tは明示的に言っていなくてもMyContentであると推測することは問題ありませんが、私はコンパイラを書きませんでしたが、すべての詳細を知ることはできません。

Answer 1

私はTが明示的にまあそう

言わずにMyClassのにもタイプであることを推測しても問題が表示されない、問題は言語が全くそのように指定されていないということです。引数に基づいて汎用型推論が実行されます。メソッド呼び出し式は、常に型を持つ一種の式であり、どのメソッドのオーバーロードが使用されているかを解決し、汎用型の引数はその型を確立するためのものです。結果がどのように使用されるかは、単にではなく、オーバーロードの分解能または型推論の部分であるです。これらは、自分自身で型を持っていない表現ですが、適切な型に単に転換している - それ

は無名関数、メソッドグループやヌルリテラルからの変換を実行する際に使用です。

短いストーリーを短縮するには、型引数を指定する必要があります。

すべての詳細を取得するためにコンパイラを記述する必要はないことに注意してください。これが言語仕様です。最新の仕様はC# 5です。