C# 從泛型類中繼承

    上例中的Farm<T>類以及本章前面介紹的其他幾個類都繼承自一個泛型類型。在Farni<T>中，這個類型是一個接口IEnumerable<T>。這里Farm<T>在T上提供的約束也會在IEnumerable<T>中使用的T上添加一個額外的約束。這可以用于限制未約束的類型，但需要遵循一些規(guī)則。

    首先，如果某個類型所繼承的基類型中受到了約束，該類型就不能“解除約束”。也就是說，類型丁在所繼承的基類型中使明時，該類型必須受到至少與基類型相同的約束。例如，下面的代碼是正確的：

    class SuperFarm<T> : Farm<T> 

        where T : SuperCow {}

因為T在Farrn<T>中被約束為Animal，把它約束為SuperCow，就是把T約束為這些值的一個子集，所以這是可行的。但是，以下代碼不會編譯：

    class SuperFarm<T> : Farm<T>

        where T : struct{}

可以肯定地講，提供給SuperFarm<T>的類型T不能轉換為可由Farm<T>使用的T，所以代碼無法編譯。甚至對于約束為超集的情況，也會出現相同的問題：

class SuperFarm<T> : Farm<T>

    where T : class{}

即使SuperFarm<T>允許存在像Animal這樣的類型，Farm<T>中也不允許有滿足類約束的其他類型。否則編譯就會失敗。

另外，如果繼承自一個泛型類型，就必須提供所有必需的類型信息，這可以使用其他泛型類型參數的形式來提供，如上所述，也可以顯式提供。這也適用于繼承了泛型類型的非泛型類。例如：

    public class Cards : List<Card>, ICloneable{}

這是可行的，但下面的代碼會失?。?/p>

    public class Cards : List<T>, ICloneable{}

因為沒有提供T的信息，所以無法編譯。