Covariant in C#

covariant可以理解為變異.也就是一種類型轉換成另一種類型.
Anders在<<The C# Promgramiming Language>>的數組一章中提到了數組的變異.
如果一個參考型別A可以隱式或者顯式地轉化為B,則A[R]也可以轉化成B[R],R可以任意指定,但A,B必須相同,這種關係稱為數組變異.數組變異不能推廣到實值型別,比如不能從int[]轉化成object[],也不能從byte[]轉化成int[].
今天在Bill Wanger的blog上發現了一篇文章,說的是函數傳回型別的變異,C#不支援函數傳回型別的變異,比如下面的代碼是不能通過變異的class ClassParent
    {
        static void Main()
        {

        }
        protected virtual ClassParent GetThing()
        {
            return null;
        }
                
    }

    class ClassSon:ClassParent
    {
        protected override ClassSon GetThing()
        {
            return null;
        }
    }

編譯時間會報錯,當方法重載是不能改變傳回型別,這在C++中是支援的.
Bill Wanger說可以用一個範型介面來實現, 俺的C#是1.1的不支援範型,不過也把代碼粘在下面public interface Producer<T>
    {
        T getThing();
    }

    public class D : Producer <D>
    {
        public D getThing()
        {
            return null;
        }
    }

這樣如果適當限制T的取值,可以利用範型實現C++的函數傳回型別的變異.