协方差/逆变不应该在 C# 4.5 中允许这样做吗？

Question

private Dictionary<Type, List<IDataTransferObject>> dataStore = new Dictionary<Type, List<IDataTransferObject>>();
public void Insert<T>(T dto) where T : IDataTransferObject
{
if (!dataStore.ContainsKey(typeof(T)))
{
dataStore.Add(typeof(T), new List<T>());
}
dataStore[typeof(T)].Add(dto);
}

上面的代码在dataStore.Add行上给了我一个编译错误，因为它不喜欢我尝试将List<T>分配给List<IDataTransferObject>。 由于我的方法将 T 限制为仅 IDataTransferObject 的 .Net 4 中的协方差/逆变内容不应该允许此代码吗？

我知道我可以更改它来做新的List<IDataTransferObject>它会起作用，但我很好奇为什么原始代码不起作用。

Answer 1

很确定List<SubClass>与List<BaseClass>不协变。IEnumerable<T>也许，但不是 List，因为您可以自由添加非T(但仍然IDataTransferObjects)，这将引发运行时异常，以便在编译时捕获。

虽然您的代码在运行时可能是安全的(因为您按类型使用键)，但编译器不知道这一点。

List<Animal> animalList = new List<Animal>();
animalList.Add(new Dog()); //ok!
List<Cat> catList = new List<Cat>();
animalList = catList; //Compiler error: not allowed, but it's what you're trying to do
animalList.Add(new Dog()) //Bad stuff! Trying to add a Dog to a List<Cat>

如果您尝试将其视为无法通过代码修改的IEnumerable<IDataTransferObject>，那么您正在执行的操作将起作用(除非您首先强制转换它，如果您使用错误的类型，它将通过/失败)。但是List绝对可以通过编译时代码进行更改。

编辑：如果你不介意投射，并且真的想要一个List<T>(所以你的调用代码是类型安全的，并且在检索后不添加非T对象)，你可以做这样的事情：

private Dictionary<Type, object> dataStore = new Dictionary<Type, object>();
public void Insert<T>(T dto) where T : IDataTransferObject
{
object data;
if (!dataStore.TryGetValue(typeof(T), out data))
{
var typedData = new List<T>();
dataStore.Add(typeof(T), typedData);
typedData.Add(dto);
}
else
{
((List<T>)data).Add(dto);
}
}

//you didn't provide a "getter" in your sample, so here's a basic one
public List<T> Get<T>() where T : IDataTransferObject
{
object data;
dataStore.TryGetValue(typeof(T), out data);
return (List<T>)data;
}

调用代码如下所示：

Insert(new PersonDTO());
Insert(new OrderDTO());
Insert(new PersonDTO());
List<PersonDTO> persons = Get<PersonDTO>();
List<OrderDTO> orders = Get<OrderDTO>();
Console.WriteLine(persons.Count); //2
Console.WriteLine(orders.Count); //1

因此，从外部来看，所有 API 使用都是类型安全的。它不是ordersList<IDataTransferObject>(这意味着您可以添加非OrderDTO对象)，而是强类型，不能混合和匹配。

当然，在这一点上，没有必要真正限制IDataTransferObject，但这取决于您和您的API/设计/使用。