通用左側接口參數

Question

我在我的類中有一個泛型類型參數。爲什麼我可以這樣做：

BaseFoo<InterfaceImplementation> foo = new ChildFoo<InterfaceImplementation>(); 

但不是這樣？編譯器不應該能夠找出AnInterface是InterfaceImplementation的執行嗎？

BaseFoo<AnInterface> foo = new ChildFoo<InterfaceImplementation>(); 

我希望能夠做這樣的事情：

BaseFoo<AnInterface> foo = new ChildFoo<InterfaceImplementation>(); 
BaseFoo<AnInterface> bar = new ChildFoo<AnotherInterfaceImplementation>(); 

如果雙方實現都有一個共同的接口。

Answer 1

的事實，即

class A {} 
class B : A {} 

並不意味着，這

class C<B> : C<A> {} 

你需要變化，但在C＃中僅數據接口和委託。
你可以聲明變種接口，並從合作和逆變選擇：

IBaseFoo<out T> {} // this is covariant interface 
IBaseFoo<in T> {} // this is contravariant interface 

查看更多here。