泛型基类的派生类型

Question

我有以下代码。

class Header<T> where T: IItem { }
class HeaderA : Header<ItemA> { } 
class HeaderB : Header<ItemB> { } 
interface IItem { }
class ItemA : IItem { }
class ItemB : IItem { }
Header<IItem> h = new HeaderA();

无法编译最后一行。

Cannot implicitly convert type 'UserQuery.HeaderA' to 'UserQuery.Header<UserQuery.IItem>'

HeaderA是Header的子类型，ItemA是IItem的子类型。为什么它不起作用？

Answer 1

简而言之，您正在尝试使用一个名为协方差的概念，该概念在.NET泛型类中不受支持，在接口中默认情况下也不受支持。

如果您想允许类这样做，您可以在C#3或更高版本中使用通用接口上的out上下文关键字指定它：

interface IHeader<out T> where T : IItem { }
class Header<T>: IHeader<T> where T:IItem { }
class HeaderA : Header<ItemA> { }
class HeaderB : Header<ItemB> { }
interface IItem { }
class ItemA : IItem { }
class ItemB : IItem { }
public void Foo()
{
    //now this works; notice the use of the interface instead of the base class.
    IHeader<IItem> h = new HeaderA();
}

通过使用带有关键字的接口，您基本上是在告诉编译器，除了接口满足接口的泛型类型声明的约束（或者它是一个对象）之外，任何接口的使用都不需要了解更多关于泛型类型的信息。因此，虽然您现在可以将更多派生泛型分配给接口类型的变量，但您只能将它们作为接口类型处理，而不能作为任何派生类型处理。

out关键字对于类定义是不可接受的；不能强迫Header<T>的用法是协变的。