c# 泛型

一、泛型的创建

创建泛型类时，先在类名后面添加<T>，并将类型占位符T替代int或float。 由尖括号和T构成的字符串表明T是类型的占位符（不一定是字母T，也可以是其他标识符）

由于泛型类不是实际的类，而是类的模板，所以我们必须先从它们构造实际的类类型，然后创建这个构造后的类类型的实例。

从泛型类型创建实例的过程是：
a:声明泛型类型     
b：通过提供真实类型创建构造类型    
c: 从构造类型创建实例
下面的例子有助于理解

泛型委托和非泛型委托非常相似，不过类型参数决定了它能接受什么方法

delegate S MyDel <T, S>(T value);
//S为委托返回类型，T为委托参数类型

二、泛型接口

泛型的接口实现必须唯一，必须保证类型参数组合不会再类型中产生两个重复的接口
     * class Simple<S> : Test<int>, Test<S> 是错误的，因为S有可能是int类型
     * 你也可以再非泛型类型中实现泛型接口
     * class Simple : Test<int>, Test<string>

注：泛型接口的名字不会和非泛型冲突，我们可以在前面的代码中声明一个Test的非泛型接口，程序能正常执行

泛型方法有两个参数列表，封闭在圆括号内的方法参数列表和封闭在尖括号内的类型参数列表，如下所示

public void Print<S,T> (S val1, T val2)
{
    ...
}

三、泛型参数的约束

可以使用where子句，其语法为：  where  TypeParam ： constraint， constraint ...

一个where对应一个类型参数，如果类型参数有多个约束，则用逗号分隔
class Test<T,S>
    where T : IComparable
    where S : new()  
{...}
//不理解没关系，下面会讲
    //注意两个where之间没有任何符号分隔，可以以任何次序列出

where子句的约束必须有特定的顺序

a: 最多只能有一个主约束，如果有则必须放在第一位，主约束可以为结构、类或基类名

b: 可以有任意多的接口名约束，其类型为接口名称

c: 如果存在构造函数约束，则必须放在最后面，构造函数约束即为 new()

四、泛型委托

Action 委托：（无返回值）

Action是无返回值的泛型委托。

Action 表示无参，无返回值的委托

Action<int,string> 表示有传入参数int,string无返回值的委托

Action<int,string,bool> 表示有传入参数int,string,bool无返回值的委托

Action<int,int,int,int> 表示有传入4个int型参数，无返回值的委托

Action至少0个参数，至多16个参数，无返回值。

Func委托（有返回值的委托）

Func是有返回值的泛型委托，<>中，最后一个类型为返回值类型。

Func<int> 表示无参，返回值为int的委托

Func<object,string,int> 表示传入参数为object, string 返回值为int的委托

Func<T1,T2,,T3,int> 表示传入参数为T1,T2,,T3(泛型)返回值为int的委托

Func至少0个参数，至多16个参数，根据返回值泛型返回。必须有返回值，不可void

Predicate委托

Predicate 是返回bool型的泛型委托

Predicate<int> 表示传入参数为int 返回bool的委托

Predicate有且只有一个参数，返回值固定为bool