無法施放從DerivedT <Derived2T>到巴塞特<base2T>

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> 

但在那之後我不能使用通用的包含記錄colletcion：

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 

這就是所謂協方差之間逆變（read more here）泛型類型。爲此，contColl必須實現一個「out」的接口，而不是。我的意思是，對於被保存類型安全，contColl無法允許添加項目（更正式，T只能是一個方法的返回類型）

注意，在陣列這個允許，但其一個破的協方差，這是不幸的：more here