制約付きの戻り値の型に明示的キャストが必要なのはなぜですか？

Question

なぜこのようなメソッドでは、戻り値の型を明示的にキャストする必要がありますか？

public T Test<T>() 
     where T : Response 
    { 
     var ret = new Response(); 

     return ret; // Explicit cast needed here 
    } 

制約を明示的にTが応答するかの子であることを述べ、その種類の多型を返すキャストせずにこれを許可する、またはそう私は思ったはずです。

as Tを追加すると、コンパイルが成功します。

Answer 1

戻り値はTがResponseであるかどうかは関係ありません。タイプTのものを返す必要があります。

タイプを考えてくださいDerivedFromResponseあなたのメソッドTest<DerivedFromResponse>（）を使用するとnullがキャストで返され、ResponseをDerivedFromResponseにキャストできないため、キャストなしでは機能しません（逆も可能です）。

希望します。

Answer 2

Tは、すべてのTがResponseではなく、すべてのResponseがTある意味、Responseのサブクラスです。これが明示的なキャストが必要な理由です。