说说泛型

什么是泛型

　　假设你有一个算法，代码如下：

        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>里面的代码，里面确实没有具体的类型

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

　　在C#中，支持泛型的有类、结构、接口、委托还有方法。泛型和非泛型的声明方式差不多，只是它多了个类型参数，例如下面的代码

    class SomeClass<T> {
        public T t;
        //...
    }

    //泛型接口
    interface IFly<T>
    {
        void Fly(T input);
    }

    class SomeClass : IFly<int>
    {
        #region IFly<int> 成员

        public void Fly(int input)
        {
            Console.WriteLine(input);
        }

        #endregion
    }

   //泛型委托
   delegate R OnSubmintHandle<T, R>(T value);
   //还有我们常见的,无返回值委托 Action<>，有返回值委托Func<>

        static void Main(string[] args)
        {
            //我们可以用下面这两个种方式调用泛型方法，因为编译器可以通过方法参数推断出类型参数
            Display<int>(10);
            Display(5);
        }

        static void Display<T>(T inpute)
        {
            //对input的一些操作
            //.....
        }

泛型类型参数的约束

　　泛型那么强大，那是不是所有的类型参数都能都能作为泛型的参数呢？

        //比较两个数，返回中较小的一个
        static T Min<T>(T t1,T t2) where T:IComparable<T>
        {
            return t1.CompareTo(t2) > 0 ? t2 : t1;
        }

　　在这段代码中，大家可能注意到了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()
    {
    
    }

　　泛型最终的目的就是将类型和方法参数化，减少不必要的装箱和拆箱，提高编译时类型安全性和性能以及代码的表现力