泛型结构

泛型结构和泛型类几乎是一直的,只是泛型结构没有继承的特性..NET平台提供的一个泛型结构是(可空类型)Nullablle<T>.可空类型的引入,主要是为了解决数据库语言中的数字与编程语言中的数字的区别(数据库中数字可以为空,编程语言中数字不可为空).因为Nullable<T>使用过于的繁琐,于是就引入了一种特殊的语法,使用个”?”运算符.例:

int? x1;

Nullable<int> x2;

x1和x2这两种方式定义是等价的.

非空类型可以转化为可空类型. (总是成功的且可以隐式转化).

可空类型可以转化为非空类型. 可空类型的值为null时就会抛出异常.(需要显示转化)

如果不进行显示转化,我们就可以使用”??”运算符.案例:

int? x1=GetNullableType();

int y1=x1??0;

这样一来,当x1为null时,就会赋给y1一个0.

泛型方法

首先来看声明一个泛型方法的案例:

//声明一个泛型方法

        public T getValue<T>(T t)

        {

            return t;

        }

 //调用泛型方法.注意:在调用泛型方法时,对反省方法的参数实例化

        public int userMethod()

        {

            return this.getValue<int>(10);

        }

        //重载getValue方法

        public int getValue(int i)

        {

            return i;

        }

在调用的时候:int res=getValue<int>(3);

泛型推理：在调用泛型方法时，C#编译器足够聪明，基于传入的参数类型来推断出正确的类型，并且它允许完全省略类型规范，如下所示：

int res=getValue(3);

泛型方法中反省参数的约束:

   public class Myclass

    {

        public void MyMethod<T>(T t) where T : IComparable<T>

        {

            //action

        }

}

无法为类级别的泛型参数提供方法级别的约束。案例:

 public class Myclass<T>

    {

        public void MyMethod<X>(X x, T t)

            where T : IComparable<T>

            where X : IComparable<X>

        {

            //action

        }

}

正确的做法是:

 public class Myclass<T>

    {

        public void MyMethod<X>(X x, T t)            

            where X : IComparable<X>

        {

            //action

        }

}

泛型参数虚方法的重写:子类方法必须重新定义该方法特定的泛型参数，代码如下:

 public class BaseClass

    {

        public virtual void Method<T>(T t)

        {

        }

    }

    public class Myclass:BaseClass

    {

        public override void Method<T>(T t)

        {

        }

}

同时子类中的泛型方法不能重复基类泛型方法的约束，案例:

public class BaseClass

    {

        public virtual void Method<T>(T t) where T : new()

        {

        }

    }

    public class Myclass : BaseClass

    {

        //正确写法

        public override void Method<T>(T t)

        {

        }

        //错误写法

        //public override void Method<T>(T t)where T:new()

        //{

        //}

}

子类方法调用虚拟方法的基类实现：它必须指定要代替泛型基础方法类型所使用的类型实参。你可以自己显式的指定它，也可以依靠类型推理(如果可能的话)代码如下：

 public class BaseClass

    {

        public virtual void Method<T>(T t) where T : new()

        {

        }

    }

    public class Myclass : BaseClass

    {

        public override void Method<T>(T t)where T:new ()

        {

            base.Method<T>(t);

            base.Method(t);

        }

}

泛型委托

泛型委托同样在定义时声明泛型类型(<T>)

委托封装的方法同时需要声明泛型类型.因为该方法的签名必须与委托的定义一致.

public delegate void GenDelegate<T>(T input);

GenDelegate<T> gd = DoWork;

private static void DoWork<T>(T input)

{

     //do what you what

}

实例中定义了泛型委托GenDelegate，该委托封装的方法接受一个参数，不返回任何值，参数类型由泛型类型T指定。

总结一下，其实很简单，大不了就是给普通的类，方法，委托增加泛型类型的声明就变成了泛型类，泛型方法及泛型委托。

这样一来，泛型类型就可以用于类里面的成员，可以用于方法的参数，可以用于委托封装的方法。