程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> .NET網頁編程 >> C# >> C#入門知識 >> 每天一段代碼-說說泛型,代碼泛型

每天一段代碼-說說泛型,代碼泛型

編輯:C#入門知識

每天一段代碼-說說泛型,代碼泛型


什麼是泛型

  假設你有一個算法,代碼如下:

        static int Calculate(int number1, int number2)
        {
            return number1 + number2;
        }

  現在,你的項目要增加對double類型的支持,So Easy!!!,你很聰明的拷貝了上面的代碼,三下五除二,將int全都改成double

        static double Calculate(double number1, double number2)
        {
            return number1 + number2;
        }

  再然後你的代碼又要增加對新的類型的支持,比如short,byte,string,float...,你已經無法忍受了不斷的Ctrl+C,Ctrl+V,

  那麼有什麼辦法可以讓我們不再重復做著這樣的工作呢?就是今天的主角——C#泛型特性。泛型允許我們聲明類型參數化的代碼,我們可以用不同的類型進行實例化,就好像我們給所有的類型創建了一個模板,然後到真正使用到某個類型的時候,我們在把該類型套用進去。看個例子,

 

  現在我再換種類型試試

  它依然能夠很好的工作,我們可以看下Sort<T>裡面的代碼,裡面確實沒有具體的類型

1         public static void Sort<T>(T[] array) {
2             if (array==null)
3                 throw new ArgumentNullException("array");
4             Contract.EndContractBlock();
5             Sort<T>(array, array.GetLowerBound(0), array.Length, null);
6         }

  在C#中,支持泛型的有類、結構、接口、委托還有方法。泛型和非泛型的聲明方式差不多,只是它多了個類型參數,例如下面的代碼

    class SomeClass<T> {
        public T t;
        //...
    }
 1     //泛型接口
 2     interface IFly<T>
 3     {
 4         void Fly(T input);
 5     }
 6 
 7     class SomeClass : IFly<int>
 8     {
 9         #region IFly<int> 成員
10 
11         public void Fly(int input)
12         {
13             Console.WriteLine(input);
14         }
15 
16         #endregion
17     }
   //泛型委托
   delegate R OnSubmintHandle<T, R>(T value);
   //還有我們常見的,無返回值委托 Action<>,有返回值委托Func<>
 1         static void Main(string[] args)
 2         {
 3             //我們可以用下面這兩個種方式調用泛型方法,因為編譯器可以通過方法參數推斷出類型參數
 4             Display<int>(10);
 5             Display(5);
 6         }
 7 
 8         static void Display<T>(T inpute)
 9         {
10             //對input的一些操作
11             //.....
12         }

泛型類型參數的約束

  泛型那麼強大,那是不是所有的類型參數都能都能作為泛型的參數呢?

1         //比較兩個數,返回中較小的一個
2         static T Min<T>(T t1,T t2) where T:IComparable<T>
3         {
4             return t1.CompareTo(t2) > 0 ? t2 : t1;
5         }

  在這段代碼中,大家可能注意到了where T:IComparable<T>,這是什麼呢?為什麼要加上這段代碼呢?當我去掉這段代碼後,visual 提示了錯誤

  由此可以看出來,並不是什麼都可以作為泛型的類型參數,除非你的泛型什麼裡面什麼操作也沒有。那麼如何對泛型的類型參數進行約束呢?這就用到了關鍵 where

    class SomleClass<T, U, R>
        where T : class
        where U : IComparable {
    
    }

  約束類型表:

類名 只有這個類型的類或從它繼承的類才能用作類型參數 class 任何引用類型,包括類、數組、委托和接口都可以用作實參 struct 任何值類都可以用作類型實參 接口 只有這個接口或者實現了這個接口的類型才能用作實參 new() 任何帶有無參構造函數的類型都可以用作實參,構造函數約束必須放在所有約束的最後一個

如果同時有多個約束,那麼它們需要按一定的順序排列

    //約束的順序 [類、class、struct],[接口],[new()]
    class SomleClass<T, U, R>
        where T : class,IComparable,new()
    {
    
    }

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved