通用铸造

Question

我有这个通用类

public abstract class BaseExportCommand<T> where T : EditableEntity, new()
{
....
}

我有这个派生类

public class MessageExportCommand : BaseExportCommand<Message> 
{
 .....
}

Message从EdittableEntity继承的位置

public class Message : EditableEntity
{
...
}

现在,当我尝试做这个陈述时

BaseExportCommand<EditableEntity> myValue = new MessageExportCommand ();

我收到以下错误:

Cannot convert type 'MessageExportCommand' to 'BaseExportCommand<EditableEntity>'   

知道为什么吗？

Answer 1

知道为什么吗？

是.您的泛型类型不协变在T.

我们不能立即告诉它是否应该.例如,假设它看起来像这样:

public abstract class BaseExportCommand<T> where T : EditableEntity, new()
{
    public abstract DoSomethingWithEntity(T entity);
}

那么假设你可以写:

BaseExportCommand<EditableEntity> myValue = new MessageExportCommand();
EditableEntity entity = new SomeEditableEntity();
myValue.DoSomethingWithEntity(entity);

......而MessageExportCommand只是期望DoSomethingWithEntity(Message).

它如果你只使用是安全的T为输出从BaseExportCommand<T>只针对接口和委托- ,但不幸的是C#不会让你的类声明协变类型参数.所以,你可以潜在地写:

// Note the "out" part, signifying covariance
public interface IExportCommand<out T> where T : EditableEntity, new()

然后:

IExportCommand<EditableEntity> = new MessageExportCommand();

...但它取决于界面中声明的成员.如果您尝试T在任何"输入"位置使用,编译器将注意并阻止您共同声明T.

有关详细信息,请参阅MSDN中的通用类型中的差异,以及Eric Lippert关于该主题的博客文章(重新安排和放松,有很多内容需要阅读).