NET Framework 的泛型

NET Framework 的泛型

　　泛型是具有占位符（类型参数）的类、结构、接口和方法，这些占位符是类、结构、接口和方法所存储或使用的一个或多个类型的占位符。泛型集合类可以将类型参数用作它所存储的对象的类型的占位符；类型参数作为其字段的类型及其方法的参数类型出现。泛型方法可以将其类型参数用作其返回值的类型或者其某个形参的类型。

 

开放类型和封闭类型

　　具有泛型类型参数的类型对象还是一个类型, CLR内部依旧和其他的对象类型一样创建一个内部类型对象, 那么这种具有泛型类型参数的类型称之为开放类型,开放类型不能进行构造任何的实例.

　　当泛型类型参数是一个实参时,那么所有的类型实参传递的都是实际的数据类型了,这种类型称之为 封闭类型,封闭类型是允许构造实例对象的。

泛型接口

　　泛型的主要作用就是定义泛型的引用类型和值类型,在CLR中,对于泛型接口的支持也是很重要的,因为这样更有益与程序的扩展性, 另外一点如果没有泛型接口我们每次使用非泛型接口时都会进行装箱操作(例如： IComparable),并且会失去编译时的安全性(因为它是非泛型的,较之泛型的好处之一).

那么CLR提供了对于泛型接口的支持,对于引用类型和值类型可以通过制定实参的方式来实现泛型接口,同时也可以保持未指定状态来实现一个泛型接口( 接受者也可以是泛型 , 可以在后期进行指定类型)

泛型方法

　　泛型可以是类,结构,接口,在这些泛型类型中定义的方法都可以叫做泛型方法,都可以引用由泛型类型本身指定的一个类型参数，泛型方法顾名思义,首先它是一个方法,只不过这个方法的返回值,参数可能是泛型的。

泛型约束

约束也可以理解为是一种规则，意思就是我们所编写的所有泛型，你在调用的时候，应该给我传输哪些类型的实参。

1.主要约束（引用类型约束）：

　　主要约束表示的是 ： 我们在指定一个引用类型约束时，那么一个指定的类型实参要么是与约束类型相同的类型，要么是从约束类型派生的一个类型

struct Generic<T>(T t1) where : class

2 主要约束（值类型约束）

很明显，值类型约束的话，就是将 约束条件指定为 Struct

public class ConstraintOfStruct <T> where T : struct
 {
     public T result()
     {
         return new T();
     }
 }

在代码中，我们最后返回的是new T()，这个是没有问题的，因为我们已经可以肯定T就是值类型，所有的值类型都有一个隐式的构造函数，那么如果我们将 约束条件改为 class的话，那么就会出异常，因为不是所有的引用类型都可以实例化.

3 构造函数类型约束

构造函数类型约束表示为 T ： new（），这个约束必须为所有的类型参数的最后一个约束，它用于检查类型实参是否有一个可用于创建类型实例的无参构造函数，这一点比较适用于所有的值类型，所有的没有显式声明构造函数的非静态、非抽象类，所有显式声明了一个公共无参构造函数的非抽象类。

public T CreateInatance<T >() where T : new()
{
　　return new T();
}

在方法createInstance中，要求我们必须传入一个无参的构造函数，例如:我们可以传入 object，struct，stream等，但是不能传入 string，Directory等.

4 接口约束

接口约束的一个好处就是我们可以指定多个接口，但是只能指定一个类

class ConstraintOfStruct <T> where T : class,IEquatable <T> ,IComparable<T>
{
}

5 组合约束 ：
组合约束就是指定多个约束条件在上一个约束中我们已经看到了 ,更详细的如下 ：

class Sample<T> where T : class ,IDisposable,new(){}
class Sample<T> where T : struct,IDisposable{}
class Sample<T,U> where T : Stream where U : IDisposable{}
class Sample<T> where T : class ,struct

 泛型类型构造器

泛型的构造器不需要添加类型参数来与类的声明一致

interface IPiar < T> { }

class Pair < T> : IPiar< T >
{
     public Pair(T first,T second)
    {
     }
}
        

参考：

　　http://baike.baidu.com/link?url=yFJngSobJrtYldbg0LxptUVMNp47qTEsvDhCafylOjpkYpZKyIUCfwzmiTKRbTkEoEZl1MkNXwO3pp2TpaS9_JjYhL7UXvfdkw8SRUV1enq

　　http://blog.jobbole.com/87974/

　　http://blog.jobbole.com/87980/