C#泛型

1.什么是泛型

泛型是C#2.0推出的新语法，不是语法糖，而是2.0由框架升级提供的功能。

我们在编程程序时，经常会遇到功能非常相似的模块，只是它们处理的数据不一样。但我们没有办法，只能分别写多个方法来处理不同的数据类型。这个时候，那么问题来了，有没有一种办法，用同一个方法来处理传入不同种类型参数的办法呢？泛型的出现就是专门来解决这个问题的。

2.泛型的原理和好处

泛型方法：方法名称后面加上尖括号，里面是类型参数

        public static void test<T>(T value)
        {
            Console.WriteLine(value);
        }

思考下，泛型为什么也可以，支持多种不同类型的参数？
泛型声明方法时，并没有写死类型，T是什么，不知道
T要等着调用的时候才指定 （延迟声明等到调用在时候才确定类型）

static void Main(string[] args)
        {
            test<int>(1);
            test<string>("一");
        }

任何父类出现的地方，都可以用子类来代替
object是一切类型的父类

 static void Main(string[] args)
        {
            test(1);
            test("一");
        }

        public static void test(object value)
        {
            Console.WriteLine(value);
        }

object类型参数有2个问题：

1. 装箱拆箱，性能损耗传入一个int值(栈)object又在堆里面，如果把int传递进来，就会把值从栈里面copy到堆里使用的时候，又需要用对象值，又会copy到栈(拆箱)
2. 类型安全问题，可能会有，因为传递的对象是没有限制的

而泛型方法的性能跟普通方法一致，是最好的

3.泛型约束

没有约束，其实很受局限
为什么要有约束？ 因为有约束才有权利
自由主义的鼻祖洛克先生说过，有了法律，才有自由

六种类型的约束：

例子：
1.接口约束。
例如，可以声明一个泛型类 MyGenericClass，这样，类型参数 T 就可以实现 IComparable 接口：

public class MyGenericClass<T> where T:IComparable { }

2.类和结构约束。
指出类型参数必须为类（引用类型）或结构（值类型），才能用作该泛型类型的类型参数。这样的约束一经使用，就必须出现在该类型参数的所有其他约束之前。

class MyClassy<T, U>
where T : class
where U : struct
{
}

3.构造函数约束。
以使用 new 运算符创建类型参数的实例；但类型参数为此必须受构造函数约束 new() 的约束。new() 约束可以让编译器知道：提供的任何类型参数都必须具有可访问的无参数（或默认）构造函数。new() 约束出现在 where 子句的最后。

public class MyGenericClass <T> where T: IComparable, new()
{
// The following line is not possible without new() constraint:
         T item = new T();
}

4.对于多个类型参数，每个类型参数都使用一个 where 子句。

interface MyI { }
class Dictionary<TKey,TVal>
where TKey: IComparable, IEnumerable
where TVal: MyI
{
public void Add(TKey key, TVal val)
{
}
}

5.还可以将约束附加到泛型方法的类型参数。

public bool MyMethod<T>(T t) where T : IMyInterface { }

6. 裸类型约束
   用作约束的泛型类型参数称为裸类型约束。当具有自己的类型参数的成员函数需要将该参数约束为包含类型的类型参数时，裸类型约束很有用。

class List<T>
{
void Add<U>(List<U> items) where U : T {/*...*/}
}

泛型类的裸类型约束的作用非常有限，因为编译器除了假设某个裸类型约束派生自 System.Object 以外，不会做其他任何假设。在希望强制两个类型参数之间的继承关系的情况下，可对泛型类使用裸类型约束。

7.default关键字
之所以会用到default关键字，是因为需要在不知道类型参数为值类型还是引用类型的情况下，为对象实例赋初值。考虑以下代码：

class TestDefault<T>
    {
        public T foo()
        {
            T t = null; //???
            return t;
        }
    }

如果我们用int型来绑定泛型参数，那么T就是int型，那么注释的那一行就变成了 int t = null；显然这是无意义的。为了解决这一问题，引入了default关键字：

class TestDefault<T>
    {
        public T foo()
        {
                return default(T);
        }
    }