泛型技術:解決泛型轉型問題

  • 20330
  • 0

泛型技術:解決泛型轉型問題

前言

泛型是一項很好用的編程技術,使用泛型可以大幅增加類別的使用率,相對的也減少重覆的代碼編寫,如果使用.Net的Developer,一定對List<T>這個類別不莫生,這是.Net內建的泛型集合,泛型參數 T 可以換成任一型別如:int、string,達到強型別安全,在使用Visual Studio其IntelliSense也可以帶出型別資訊,加速程式撰寫,但泛型的轉型,卻有非常大的問題。

泛型轉型有什麼問題呢?

泛型雖然很好用,但他轉成Object後,如果你不知道泛型的參數,是沒有辦法轉換成功的,如下例

 

        void Exec()
        {
            List<string> list = new List<string>();
            Exec(list);
        }
 
        void Exec(object obj)
        {
            List<object> list = obj as List<object>; // 轉型失敗
        }

 

會發生需要從object轉型的倩況,有可能在非同步執行時要將回傳的參數轉成原型別時,而上例為什麼從List<string>轉成List<object>會失敗呢?因為在.Net 泛型在編譯的時候,編譯器會把泛型轉成一個特定的型別,如List<string>,會變成System.Collections.Generic.List`1[[System.String]],而List<object>,會變成System.Collections.Generic.List`1[[System.Object]],二者是完成不同的型別,就算string是繼承object也是一樣,是沒有辦法轉換的,如下例。

 

        public class MyClassBase { }
 
        public class MyClass : MyClassBase { }
 
        void Exec()
        {
            List<MyClass> list = new List<MyClass>();
            object obj = list;
        }
 
        void Exec(object obj)
        {
            List<MyClassBase> list = obj as List<MyClassBase>; // 轉型失敗
         }

 

雖然MyClass是繼承MyClassBase,但因為泛行型別的不同而無法轉換,而List<MyClass>除了轉成object或List<MyClass>,還有可能轉換成其他的嗎?

泛型型別繼承或實作非泛型型別

        List<T> : IList<T> : IList

 

因為List<T>實作IList<T>,IList<T>實作IList,所以List<T>,可以轉成List,當不知道或可能性太多時,可以轉成List來處理,如下例

 

        public class MyClassBase { }
 
        public class MyClass : MyClassBase { }
 
        void Exec()
        {
            List<MyClass> list = new List<MyClass>();
            object obj = list;
        }
 
        void Exec(object obj)
        {
            IList list = obj as IList;
            foreach (var item in list)
            {
                if (item is MyClassBase) { }
                if (item is int) { }
                if (item is string) { }
            }
        }

 

如果仔細去看.Net 中所有的泛型型別,都會繼承或實作非泛型型別,為了也就是減少轉型的問題,而我們又要如何實作呢?如下例:

 

    // 如果是類別的實作方式
    public class MyClass
    {
        public object Source { get; set; }
    }
 
    public class MyClass<T> : MyClass
    {
        public new T Source { get; set; } // 用new將object改成回傳T
    }
 
    // 如果是介面的的實作方式
    public interface MyInterface
    {
        object Source { get; set; }
    }
 
    public class MyInterface<T> : MyInterface
    {
        public T Source { get; set; }
 
        object MyInterface.Source // 實作私有介面
        {
            get 
            {
                return this.Source;
            }
            set
            {
                this.Source = (T)value;
            }
        }
    }

這樣如果不清楚泛型參數的型別,還可以傳成一般型別來處理。