私はcontravariantデリゲートを "as"でキャストすることができます

Question

contravariantデリゲートをキャストしようとしていますが、何らかの理由で "as"演算子を使ってのみ行うことができます。

interface MyInterface { } 
delegate void MyFuncType<in InType>(InType input); 

class MyClass<T> where T : MyInterface 
{ 
    public void callDelegate(MyFuncType<MyInterface> func) 
    { 
     MyFuncType<T> castFunc1 = (MyFuncType <T>) func; //Error 
     MyFuncType<T> castFunc2 = func as MyFuncType<T>; 
     MyFuncType<T> castFunc3 = func is MyFuncType<T> ? (MyFuncType<T>)func : (MyFuncType<T>)null; //Error 
    } 
} 

castFunc2正常に動作しますが、castFunc1とエラーが発生しcastFunc3：

Cannot convert type 'delegateCovariance.MyFuncType<myNamespace.MyInterface>' to myNamespace.MyFuncType<T>' 

castFunc2とcastFunc3ので、私はそれらのいずれかが原因となる可能性がどのようにだけ理解していない「同等」ですMSDN article on the as operator状態エラー。これを混乱させるもう一つの問題は、MyInterfaceをインタフェースからクラスに変更するとエラーを取り除くことです。

ここで何が起こっているのか理解してくれる人はいらっしゃいますか？ ありがとう！

Answer 1

Tがクラスでなければならないような制約を追加します。

class MyClass<T> where T: class, MyInterface 

これは、Tが変換可能であることを知るための十分な情報をコンパイラに提供します。明示的なキャストは必要ありません。

差異は参照タイプにのみ適用されます。 Tは、制約がない値型であることが許されているため、コンパイラは、Tが反分散に対して互換性があることを証明する能力を壊す。

asは実際にはヌル変換を実行できるため、2番目のステートメントが機能するのは理由です。たとえば：

class SomeClass { } 
interface SomeInterface { } 
static void Main(string[] args) 
{ 
    SomeClass foo = null; 
    SomeInterface bar = foo as SomeInterface; 
} 

Fooは明らかにSomeInterfaceに直接変換可能ではありませんが、ヌル変換がまだ起こることができるので、それはまだ成功します。 MSDNのリファレンスはほとんどのシナリオでは正しいかもしれませんが、生成されたILコードは非常に異なります。つまり、技術的な観点からは根本的に異なります。

Answer 2

MyInterfaceはインスタンスタイプではないため、TはMyInterfaceを実装しています。したがって、MyFuncType<T>はMyFuncType<MyInterface>であるとは限りません。 MyFuncType<SomeType>とSomeType : MyInterfaceになる可能性がありますが、それはSomeOtherType : MyInterfaceと同じではありません。理にかなっている？

Answer 3

Eric Lippertさんが最近の投稿でAn "is" operator puzzle, part one、An "is" operator puzzle, part twoというこの問題について説明しました。

この動作の主な根拠は以下のとおりです。「is」（または「as」）演算子はキャストと同じではありません。 "as"演算子は、対応するキャストが不正である場合にnull以外の結果イベントを発生させる可能性があります。これは、型引数を扱う場合に特に当てはまります。

（エリックが言ったように）基本的には、あなたのケースでcastオペレータは、「「私は、コンパイラは、コンパイラがそれを可能にしなければならない、ということを知りませんが、この値は指定されたタイプであることを知っている」またはことを意味私はこの値が与えられた型のものではないことを知っています;特殊型のコードを生成して、ある型の値を別の型の値に変換します。「

後者の場合は、ダブル・ツー・整数変換のような値の変換を扱う、我々は現在のコンテキストでこの意味を無視することができます。

をそして、あなたが扱っている場合は、ジェネリック型の引数はどちらも。最初のコンテキストにおける論理的ではありませんジェネリック型引数を使用してこの「契約」を明確に述べていない理由よりも

私はあなたが達成したいことを100％確信していませんが、特別な型を省略することができます代わりに汎用引数を自由に使用できます。

class MyClass<T> where T : MyInterface 
{ 
    public void callDelegate(Action<T> func) 
    { 
    } 
} 

class MyClass2 
{ 
    public void callDelegate<T>(Action<T> func) 
     where T : MyInterface 
    { 
    } 
} 

そうでない場合は、as operator with type checkの代わりにnullをチェックする必要があります。