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）。