C# 2.0 范型语法 基础使用

所谓泛型，即通过参数化类型来实现在同一份代码上操作多种数据类型。泛型编程是一种编程范式，它利用“参数化类型”将类型抽象化，从而实现更为灵活的复用。

范型类

     class  Stack < T >
    {
         private  T[] store;
         private   int  size;
         public  Stack()
        {
            store  =   new  T[ 10 ];
            size  =   0 ;
        }
         public   void  Push(T x)
        {
            store[size ++ ]  =  x;
        }
         public  T Pop()
        {
             return  store[ -- size];
        }
    }

 这里的T即指一个类型参数，当然你也可以用A,B,C来代替。在范型类中，可以在任意的地方使用这个类型T，而T的具体类型，则在实例化这个范型类的时候指定。

Stack < int >  stack1  =   new  Stack < int > ();
stack1.Push( 100 );
int  current1  =  stack1.Pop();

Stack < string >  stack2  =   new  Stack < string > ();
stack2.Push( " Hello " );
string  current2  =  stack2.Pop();

 

范型方法

        public   static   bool  Eixsts < T > (T[] items, T item)
        {
             for  ( int  i  =   0 ; i  <  items.Length; i ++ )
            {
                 if  (items[i].Equals(item))
                {
                     return   true ;
                }
            }
             return   false ;
        }

 

范型约束

C#范型要求对“所有范型类型或范型方法的类型参数”的任何假定，都要基于“显式的约束”，以维护C#所要求的类型安全。“显示约束”由where子句表达，可以指定“基类约束”，“接口约束”，“构造器约束”，“值类型/引用类型约束”，共四种约束。“显示约束”并非必须，如果没有指定“显示约束”，范型类型参数将只能访问System.Object类型中的公有方法。

class  A {  public   void  F1(){...}}
class  B {  public   void  F2(){...}}

Class C < S,T >  
   where  S: A  // S继承自A
   where  T: B  // S继承自B
{
     //  可以在类型为S的变量上调用F1,
     //  可以在类型为T的变量上调用F2,
    。。。
}