C#泛型理解（一）

一、什么是泛型

泛型是C#语言和公共语言运行库（CLR）中的一个新功能，它将类型参数的概念引入.NET Framework。类型参数使得设计某些类和方法成为可能，例如，通过使用泛型类型参数T，可以大大简化类型之间的强制转换或装箱操作的过程。说白了，泛型就是通过参数化类型来实现在同一份代码上操作多种数据类型，利用“参数化类型”将类型抽象化，从而实现灵活的复用。

以下是一个简单的示例，可以通过T来控制不同的类型

此时，Test就是一个泛型类。T就是要实例化的泛型类型。如果T被实例化为int型，那么成员变量就是int型的，如果T被实例化为string型，那么就是string类型的。

该例中，我创建了一个称为MyList泛型类。为把它参数化，我简单地插入了一个尖括号。在＜＞内的T代表了实际的当使用该类时要指定的类型。在MyList类中，定义了一个静态字段objCount。我在构造器中增加它的值。因此我能发现使用我的类的用户共创建了多少个那种类型的对象。属性Count返回与被调用的实例同类型的实例的数目。

泛型方法

Copy()方法就是一个泛型方法，它与参数化的类型T一起工作。当在Main()中激活Copy()时，编译器根据提供给Copy()方法的参数确定出要使用的具体类型。

二、泛型的主约束和次约束是什么？

where T : struct 类型必须是一种值类型(struct)

　　where T : class 类型必须是一种引用类型(class)

　　where T : new() 类型必须有一个无参数的构造器

　　where T : class_name 类型可以是class_name或者是它的一个子类

　　where T : interface_name 类型必须实现指定的接口

　　你可以指定约束的组合，就象: where T : IComparable, new()。这就是说，用于参数化类型的类型必须实现Icomparable接口并且必须有一个无参构造器。

举例

1.接口约束。

例如，可以声明一个泛型类 MyGenericClass，这样，类型参数 T 就可以实现 IComparable<T> 接口：

区别于

一个是T继承IComparable，一个是MyGenericClass2继承IComparable

2.基类约束。

指出某个类型必须将指定的类作为基类（或者就是该类本身），才能用作该泛型类型的类型参数。这样的约束一经使用，就必须出现在该类型参数的所有其他约束之前。

3.构造函数约束。

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

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

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

6. 裸类型约束

用作约束的泛型类型参数称为裸类型约束。当具有自己的类型参数的成员函数需要将该参数约束为包含类型的类型参数时，裸类型约束很有用。（不太明白）

为什么要有约束呢？

当一个泛型参数没有任何约束时，它可以进行的操作和运算时非常有限的。因为不能对实参做任何类型上的保证，这时候就需要用到泛型的约束。泛型的主要约束和次要约束都是指泛型的实参必须满足一定的规范。C#编译器在编译的过程中可以根据约束来检查所有泛型类型的实参并确保其满足约束条件。

一个泛型参数可以至多拥有一个主要约束，主要约束可以是一个引用类型、class或者struct。如果指定一个引用类型，则实参必须是该类型或者该类型派生类型。class规定实参必须是一个引用类型。struct规定了参数必须是一个之类新。