Contravariance/Covariance、なぜこれをキャストできませんか？

Question

私はまだ、ジェネリックで共分散と反分散を使うときに、制約を理解するのが難しいです。

私はこれがあれば、なぜ私は、不思議：

public interface IFasterListCov<out T> 
{} 

public interface IFasterListCon<in T> 
{} 

public class FasterList<T> : IList<T>, IFasterListCov<T>, IFasterListCon<T> 

を第三のキャストが失敗した：あなたがあなたの最後のキャストが取得するためには、QueryNodes<MyNode>を呼んでいるシナリオでは

public void QueryNodes<T>() where T:INode 
{ 
    //somehow I can convert IFasterListCon<INode> to IFasterListCon<T> 
    IFasterListCon<INode> nodes = (IFasterListCon<INode>)_nodesDB[type]; 
    //I guess this works because _nodesDB[type] is indeed a FasterList<T> object 
    //note: I am wrong, I can cast whatever INode implementation, not just T, which made me very confused :P 
    IFasterListCon<T> nodesT = (IFasterListCon<T>)nodes; 
    //I can't cast IFasterListCon<T> back to FasterList<T> 
    FasterList<T> nodeI = nodesT as FasterList<T>; //null 
} 

Dictionary<Type, IFasterListCov<INode>> _nodesDB; 

to be clear _nodesDB[type] is a FasterList<T> declared through IFasterListCov<INode> 

Answer 1

MyType : IMyTypeGeneric<IMyType>とGeneric<MyType>は何らかの形で関連していません。あなたの特定のケースで

nodesTがないFasterList<INode>でFasterList<Node>である可能性が高いです。

in/outと指定することができる場合、この変換は、分散（共/逆）をサポートするインターフェイスで動作することに注意してください。詳細については、多くの質問の1つ（Generic Class Covariance）をご覧ください。

優れた答えはまた、約List共同変動がある - C# variance problem: Assigning List<Derived> as List<Base>List<Derived>とList<Base>が、互いの間にキャストすることができないことを示しています

List<Giraffes> giraffes = new List<Giraffes>(); 
List<Animals> animals = new List<Animals>() {new Lion()}; 

(giraffes as List<Animals>).Add(new Lion()); // What? Lion added to Girafes 
Giraffe g = (animals as List<Giraffes>)[0] ; // What? Lion here? 

Answer 2

をnull以外の値の場合、_nodesDB[type]で取得する実際のインスタンスはFasterList<MyNode>である必要があります。それがFasterList<SomeOtherMostlyCompatibleNode>であることは十分ではありません。

ランタイムはタイプに関して非常に厳しく、関連するすべての実際のランタイムタイプを把握しています。データタイプが似ているだけで十分ではありません。MyNode個のオブジェクトにFasterList<SomeOtherMostlyCompatibleNode>、 else。タイプがの場合は、正確にはでなければなりません。キャストだけでなく、何らかのプログラマチックな変換を行う必要があります。