将具体类转换为具有接口作为泛型类型的泛型接口会导致无效的转换异常

Question

我搜索了几篇关于我面临的问题的帖子，我找到了最相似的主题here

然而，这里我们有一个类作为泛型接口转换中的类型，并且当我检查类 SqlCommand 继承自 DbCommand 时，它实现了 IDbCommand。 我的例子： 我们有一个处理器类，假设有方法 Process。 处理器包含一个属性，该属性是下面描述的泛型类型的接口。

public class Processor
{
IDbTools<IDbCommand> DbTools {get; set;}

public Processor() {}

public void Process()
{
    DbTools = (IDbTools<IDbCommand>)new Tools();
    DbTools.PrepareAndExecuteQuery();
}
}

public class Tools : IDbTools<SqlCommand>
{
    public void PrepareAndExecuteQuery(SqlCommand command);
}

public interface IDbTools<in TCommand>
    where TCommand: IDbCommand
{
    void PrepareAndExecuteQuery(TCommand command);
}

在这个例子中，我们将收到一个 InvalidCastException，没有编译错误。如果 SqlCommand 继承自 DbCommand 并且它实现了 IDbCommand，我不明白为什么会发生这种情况。

我使它起作用的方法如下所示：

public class Processor<TCommand>
    where TCommand: IDbCommand, new()
{
IDbTools<TCommand> DbTools {get; set;}

public Processor() {}

public void Process()
{
    DbTools = (IDbTools<TCommand>)new Tools();
    DbTools.PrepareQuery();
}
}

public class Tools : IDbTools<SqlCommand>
{
    void PrepareAndExecuteQuery(SqlCommand command);
}

public interface IDbTools<TCommand>
    where TCommand: IDbCommand
{
    void PrepareAndExecuteQuery(TCommand command);
}

所以我的问题是，为什么会这样。当然如果我们实现

Tools : IDbTools<IDbCommand>

一切都会奏效，但为什么在这种情况下不行..

编辑： 我在 ideone.com 上附加示例：Code 相同的代码只是为了将过去的目的复制到新项目中。附加所需的命名空间。

还添加了 in 子句，这并不能解决问题。

Answer 1

你需要用in keyword声明你的IDbTools<>接口

public interface IDbTools<in TCommand>
    where TCommand: IDbCommand
{
    void PrepareAndExecuteQuery(TCommand command);
}

看到这里关于Covariance and Contravariance，微软可以比我解释得更好