无法从 DerivedT进行投射；到 BaseT

Question

我有这些类，活动记录模式的实现：

public abstract class RecordCollection<T> : ObservableCollection<T> where T : Record
public abstract class Record : INotifyPropertyChanged

每次我想定义数据库的一行（即联系人）时，我都会创建一个新的记录类，例如：

public class Contact : Record

以及数据库行（即联系人）的集合：

public class ContactCollection : RecordCollection<Contact>

但之后我不能使用泛型来包含记录集合：

ContactCollection contColl = new ContactCollection(databaseman dbMan);
contColl.Load();

RecordCollection<Record> recordColl = contColl;

它给我“无法将类型 ContactCollection 隐式转换为 >”。任何帮助将不胜感激。

Answer 1

这种转换是不允许的，因为这种情况可能会发生：

public class AnotherTypeOfContact: Record {}

现在我们可以这样做：

recordColl.Add(new AnotherTpyeOfContact()) //runtime exception as no conversion between AnotherTypeOfContact and Contact

这就是所谓的协方差和逆变（在此处了解更多信息）之间的泛型类型。为此，contColl 必须实现一个仅“输出”的接口，但事实并非如此。我的意思是，为了保留类型安全，contColl 不允许添加项目（更正式地说，T 只能是方法的返回类型）

请注意在数组中，这是允许的，但它是一个破坏的协方差，这是不幸的：更多这里