C＃铸造与使用接口

Question

我有实现这些intefaces像这样一些通用的接口和类仿制药：

interface A<M, N> 
     where M : X<N> 
     where N : Y 
    { 
    } 
    class B<M, N> : A<M, N> 
     where M : X<N> 
     where N : Y 
    { 

    } 

    interface X<M> where M : Y 
    { 

    } 
    interface Y 
    { 

    } 
    class X1<M> : X<M> where M : Y 
    { 

    } 
    class Y1 : Y 
    { 

    } 

我知道这好像做事情的一个非常混乱的方式，但我有点需要它为我的应用程序。我的问题是怎么来的，我不能这样做：

A<X<Y>, Y> variable = new B<X1<Y1>, Y1>();

Answer 1

Marc是对的;只是为了给你更多的背景知道为什么这不起作用。考虑你的代码的下面重新命名：

interface IZoo<TCage, TAnimal> 
     where TCage : ICage<TAnimal> 
     where TAnimal : IAnimal 
    { 
    } 

    class Zoo<TCage, TAnimal> : IZoo<TCage, TAnimal> 
     where TCage : ICage<TAnimal> 
     where TAnimal : IAnimal 
    { 
    } 

    interface ICage<TAnimal> where TAnimal : IAnimal 
    { 
    } 

    interface IAnimal 
    { 
    } 

    class FishTank<TAnimal> : ICage<TAnimal> where TAnimal : IAnimal 
    { 
    } 

    class Fish : IAnimal 
    { 
    } 

现在你的问题是，为什么是这样的不合法：

Zoo<FishTank<Fish>, Fish> aquarium = new Zoo<FishTank<Fish>, Fish>(); 
IZoo<ICage<IAnimal>, IAnimal> zoo = aquarium; 

？

因为假设现在有上IZoo方法：

interface IZoo<TCage, TAnimal> 
     where TCage : ICage<TAnimal> 
     where TAnimal : IAnimal 
    { 
     void PutAnimalInCage(TCage cage, TAnimal animal); 
    } 

然后你说：

zoo.PutAnimalInCage(giraffePaddock, giraffe); 

而你只是把长颈鹿围场到水族馆！我们无法在您想要的转换合法的世界中保持类型安全，IZoo可以使用您选择的任何方法。

现在，这只是危险的，因为IZoo有这样的方法。如果它没有这样的方法，那么你是对的，那可能是非常安全的。在C＃4.0中，我们为语言添加了一个功能，以便您可以让编译器“检查该接口是否可以安全地变体”，通过注释您想与“out”协作的类型参数，以及您想要的类型参数与“in”是相反的。如果你这样做，那么编译器会检查你想要的变化是否是类型安全的。如果它不能，那么它将不允许该类型的声明。

这个问题通常在计算器上出现的方式是人们在问为什么是这个非法的：

List<Giraffe> giraffes = new List<Giraffe>(); 
List<Mammal> mammals = giraffes; // illegal 

一样的道理。因为然后没有什么会阻止你从以后的

mammals.Add(new Tiger()); 

你刚刚添加一只老虎到长颈鹿名单。同样的推理，只是一个更简单的情况。

Answer 2

差异必须是明确的（并且需要C＃4.0）;例如，这使得它编译为协（注意接口的out改性剂）：

但是请注意，这也限制了你的界面...协方差！例如，您不可能有一个Add(M)方法 - 因为这需要联合变形（又名in）。