C# .NET 4.0 带有强制转换异常的泛型协方差问题

Question

我已经为此奋斗了一段时间，所以任何帮助将不胜感激。这是我在 C# .NET 4.0 上遇到的场景。

public interface ITableBusinessLogicLayerIn<in TTableRecord> : IBusinessLogicLayer
    where TTableRecord : ITableRecord
{
// No definition
}

public interface ITableBusinessLogicLayerOut<out TTableRecord> : IBusinessLogicLayer
    where TTableRecord : ITableRecord
{
// No definition
}

我有一个实现这两个接口的对象。代码编译良好。但在运行时，我可以按如下方式强制转换该对象：

(ITableBusinessLogicLayerOut<ITableRecord>)obj

但不是这样：

(ITableBusinessLogicLayerIn<ITableRecord>)obj

这是非常令人困惑的，我不确定我做错了什么。请有人指出我正确的方向。谢谢！

Answer 1

逆变 (in) 允许您将具有不太特定类型的类型参数的对象转换为更特定类型之一。例如，您无法将对象传递给需要字符串的类型，因此您无法将需要字符串的类型转换为需要对象的类型。有关详细信息，请参阅此处：http://msdn.microsoft .com/en-us/library/ee207183%28d=lightweight%29.aspx

给出以下示例：

class MyTableRecord : ITableRecord { }
ITableBusinessLogicLayerIn<ITableRecord> inA;
ITableBusinessLogicLayerIn<MyTableRecord> inB;
ITableBusinessLogicLayerOut<ITableRecord> outA;
ITableBusinessLogicLayerOut<MyTableRecord> outB;

您可以将 inB 分配给 inA，但不能反之亦然。您可以将 outA 分配给 outB，但反之则不行。