`this`をジェネリック型にキャストできないのはなぜですか？

Question

次のスニペットのいずれもコンパイルされない理由を頭に入れて問題を解決しています。

Visual Studioのフラグを持つ最初の1：

は 'T'

キャストに型 'SomeType' を変換できませんが冗長です。 "冗長" のキャストを削除

using System; 

public class SomeClass { 
    public T Coerce<T>() { 
     if (typeof(T) == typeof(SomeClass)) 
      return (T)this; // <- Error CS0030 
     else throw new InvalidCastException(); 
    } 
} 

は、しかし、ちょうどにエラーを変更します。

が暗黙的にタイプを変換できません 'SomeOtherClass' 'T'

using System; 

public class SomeOtherClass { 
    public T Coerce<T>() { 
     if (typeof(T) == typeof(SomeOtherClass)) 
      return this; // <- Error CS0029 
     else throw new InvalidCastException(); 
    } 
} 

Answer 1

へコンパイラは何が間違っているかを正確に伝えています：SomeClassをTに暗黙的に変換することはできませんが、実際にはあなたが注意を払う必要がある2つのこと。

最初に、コンパイル時に型がわからないため、暗黙的に汎用型に変換できないことがあります。明示的にキャストするか、暗黙の変換が本当に必要な場合は継承を使用する必要があります。

もう1つは、値型と参照型を区別するために（制約を介して）もう少し型情報が必要であることです。現在、コンパイラはを何も持っていません。約Tです。 classは決してキャストできないintでもかまいません。

あなたがclass制約を必要とし、それだけで正常に動作しますTに参照型をキャストするために：

public class SomeClass 
{ 
    public T Coerce<T>() where T : class 
    { 
     if (typeof(T) == typeof(SomeClass)) 
      return this as T; 
     else throw new InvalidCastException(); 
    } 
} 

を今コンパイラもsomeClassInstance.Coerce<int>()のようなものをやってからあなたを防ぐことができますし、それがポイントです。

EDIT：(T)(object)thisの例として

あなたはもはやTにthisをキャストしているため、これが働きません。代わりにthisをobjectにキャストします（これは、すべてのの他のタイプが派生しているためです）、同じ理由で動作するobjectからTにキャストします。あなたはコンパイル時のチェックを迂回しています。

これを実行してsomeClassInstance.Coerce<int>()を呼び出すと、「指定されたキャストは無効です」という例外が表示されます。 ランタイム。ただし、一般的な制約を使用すると、コンパイル時にという警告が表示されます（）。

それでも問題がなければ、return (dynamic)this;はもっと簡単な解決策です。しかし、それはジェネリック薬を使う目的を打ち消すものです。