C#2.0泛型

泛型是什么

一种类型占位符,或称之为类型参数。我们知道在一个方法中,一个变量的值可以作为参数,但其实这个变量的类型本身也可以作为参数。泛型允许我们在调用的时候再指定这个类型参数是什么。在.net中,泛型能够给我们带来的两个明显好处是——类型安全和减少装箱、拆箱。

 

泛型最常见的用途是泛型集合,命名空间System.Collections.Generic 中包含了一些基于泛型的集合类,使用泛型集合类可以提供更高的类型安全性,还有更高的性能,避免了非泛型集合的重复的装箱和拆箱。

      很多非泛型集合类都有对应的泛型集合类,我觉得最好还是养成用泛型集合类的好习惯,他不但性能上好而且 功能上要比非泛型类更齐全。下面是常用的非泛型集合类以及对应的泛型集合类:

    

非泛型集合类 泛型集合类
ArrayList List<T>
HashTable DIctionary<T>
Queue Queue<T>
Stack Stack<T>
SortedList SortedList<T>

最显著的一点就是它参数化了类型,把类型作为参数抽象出来,从而使我们在实际的运用当中能够更好的实现代码的重复利用,同时它提供了更强的类型安全,更高的效率,不过在约束方面,它只支持显示的约束,这样在灵活性方面就显得不是那么好了.我觉得它之所以能够提供更高的效率是因为泛型在实例化的时候采用了"on-demand"的模式,即按需实例化,发生在JIT(Just In Time)编译时.
      下面来看如何定义一个泛型类,很简单,你只需要意识到一点,在这里,类型已经被参数化了:

C#2.0泛型 using  System;
C#2.0泛型
using  System.Collections.Generic;
C#2.0泛型
using  System.Text;
C#2.0泛型
C#2.0泛型
namespace  GenericTest
C#2.0泛型
{
C#2.0泛型    
class Program
C#2.0泛型    
{
C#2.0泛型        
static void Main(string[] args)
C#2.0泛型        
{
C#2.0泛型            
//使用string,int来实例化Test<T,S>类
C#2.0泛型
            Test<stringint> t = new Test<stringint>("SHY520",22);
C#2.0泛型
C#2.0泛型            
//调用泛型类中的方法
C#2.0泛型
            t.SetValue();
C#2.0泛型        }

C#2.0泛型    }

C#2.0泛型
C#2.0泛型    
/// <summary>
C#2.0泛型    
/// 定义一个泛型类,该类有两个类型参数,分别是T,S
C#2.0泛型    
/// http://pw.cnblogs.com
C#2.0泛型    
/// </summary>
C#2.0泛型    
/// <typeparam name="T">类型参数</typeparam>
C#2.0泛型    
/// <typeparam name="S">类型参数</typeparam>

C#2.0泛型    public class Test<T,S>
C#2.0泛型    
{
C#2.0泛型        
//泛型类的类型参数可用于类成员
C#2.0泛型
        private T name;
C#2.0泛型        
private S age;
C#2.0泛型
C#2.0泛型        
public Test(T Name,S Age)
C#2.0泛型        
{
C#2.0泛型            
this.name = Name;
C#2.0泛型            
this.age = Age;
C#2.0泛型        }

C#2.0泛型
C#2.0泛型        
public void SetValue()
C#2.0泛型        
{
C#2.0泛型            Console.WriteLine(name.ToString());
C#2.0泛型            Console.WriteLine(age.ToString());
C#2.0泛型        }

C#2.0泛型    }

C#2.0泛型}


        上面的例子不是很恰当,目的是让初学泛型的你了解一下泛型的定义及实例化方法,如上,我们定义了一个泛型类,那么如何实现泛型类的继承呢?这里需要满足下面两点中的任何一点即可:
1、泛型类继承中,父类的类型参数已被实例化,这种情况下子类不一定必须是泛型类;
2、父类的类型参数没有被实例化,但来源于子类,也就是说父类和子类都是泛型类,并且二者有相同的类型参数;

C#2.0泛型      // 如果这样写的话,显然会报找不到类型T,S的错误
C#2.0泛型
     public  class  TestChild : Test < T, S >  { }
C#2.0泛型
C#2.0泛型    
// 正确的写法应该是
C#2.0泛型
     public  class  TestChild : Test < string int > { }
C#2.0泛型
C#2.0泛型    
public  class  TestChild < T, S >  : Test < T, S >  { }
C#2.0泛型
C#2.0泛型    
public  class  TestChild < T, S >  : Test < String,  int >  { }

接着我们来看看泛型接口,其创建以及继承规则和上面说的泛型类是一样的,看下面的代码:
C#2.0泛型      public  interface  IList < T >  
C#2.0泛型    
{
C#2.0泛型        T[] GetElements();
C#2.0泛型    }
 
C#2.0泛型    
public  interface  IDictionary < K,V >              
C#2.0泛型    
{
C#2.0泛型        
void Add(K key, V value); 
C#2.0泛型    }
 
C#2.0泛型
C#2.0泛型    
//  泛型接口的类型参数要么已实例化
C#2.0泛型    
//  要么来源于实现类声明的类型参数
C#2.0泛型
     class  List < T >  : IList < T > , IDictionary < int , T >  
C#2.0泛型    
{
C#2.0泛型        
public T[] GetElements() return null; }
C#2.0泛型        
public void Add(int index, T value) 
C#2.0泛型        

C#2.0泛型        }

C#2.0泛型    }

C#2.0泛型

在来看一下泛型委托,首先我们定义一个类型参数为T的委托,然后在类中利用委托调用方法:
C#2.0泛型 using  System;
C#2.0泛型
using  System.Collections.Generic;
C#2.0泛型
using  System.Text;
C#2.0泛型
C#2.0泛型
namespace  GenericTest
C#2.0泛型
{
C#2.0泛型    
//定义一个委托,类型参数为T,返回值类型T
C#2.0泛型    
//泛型委托支持在返回值和参数上应用类型参数
C#2.0泛型
    delegate string GenericDelete<T>(T value);
C#2.0泛型
C#2.0泛型    
class test
C#2.0泛型    
{
C#2.0泛型        
static string F(int i) return "SHY520"; }
C#2.0泛型        
static string G(string s) return "SHY520"; }
C#2.0泛型
C#2.0泛型        
static void Main(string[] args)
C#2.0泛型        
{
C#2.0泛型            GenericDelete
<string> G1 = G;
C#2.0泛型            GenericDelete
<int> G2 = new GenericDelete<int>(F);
C#2.0泛型        }

C#2.0泛型    }
 
C#2.0泛型}


        我们再来看泛型方法,C#的泛型机制只支持在方法申明上包含类型参数,也即是泛型方法。特别注意的是,泛型不支持在除了方法以外的其他类/接口成员上使用类型参数,但这些成员可以被包含在泛型类型中,并且可以使用泛型类型的类型参数。还有一点需要说的就是,泛型方法可以在泛型类型中,也可以存在于非泛型类型中。下面我们分别看一下泛型类型的申明,调用,重载和覆盖。

C#2.0泛型 using  System;
C#2.0泛型
using  System.Collections.Generic;
C#2.0泛型
using  System.Text;
C#2.0泛型
C#2.0泛型
namespace  GenericTest
C#2.0泛型
{
C#2.0泛型    
class GenericClass
C#2.0泛型    
{
C#2.0泛型        
//申明一个泛型方法
C#2.0泛型
        public T getvalue<T>(T t)
C#2.0泛型        
{
C#2.0泛型            
return t;
C#2.0泛型        }

C#2.0泛型
C#2.0泛型        
//调用泛型方法
C#2.0泛型        
//注意:在调用泛型方法时,对泛型方法的类型参数实例化
C#2.0泛型
        public int useMethod()
C#2.0泛型        
{
C#2.0泛型            
return this.getvalue<int>(10);
C#2.0泛型        }

C#2.0泛型
C#2.0泛型        
//重载getvalue方法
C#2.0泛型
        public int getvalue(int i)
C#2.0泛型        
{
C#2.0泛型            
return i;
C#2.0泛型        }

C#2.0泛型    }

C#2.0泛型
C#2.0泛型    
//下面演示覆盖
C#2.0泛型    
//要注意的是,泛型方法被覆盖时,约束被默认继承,不需要重新指定约束关系
C#2.0泛型
    abstract class Parent
C#2.0泛型    
{
C#2.0泛型        
public abstract K TEST<K, V>(K k, V v) where K : V;
C#2.0泛型
C#2.0泛型    }

C#2.0泛型
C#2.0泛型    
class Child : Parent
C#2.0泛型    
{
C#2.0泛型        
public override T TEST<T, S>(T t, S s)
C#2.0泛型        
{
C#2.0泛型            
return t;
C#2.0泛型        }

C#2.0泛型    }

C#2.0泛型}

C#2.0泛型


        最后我们来看一下泛型中的约束:
        C#中的泛型只支持显示的约束,因为这样才能保证C#所要求的类型安全,但显示的约束并非时必须的,如果不加约束,泛型类型参数将只能访问System.Object类型中的公有方法。“显式约束”由where子句表达,可以指定“基类约束”,“接口约束”,“构造器约束”,“值类型/引用类型约束”共四种约束。下面的例子来源于李建忠老师的讲座PPT。
1、基类约束:

C#2.0泛型      class  A  public void F1() {} }  
C#2.0泛型    
class  B  public void F2() {} }  
C#2.0泛型    
class  C < S,T >  
C#2.0泛型    where S: A 
//  S继承自A 
C#2.0泛型
    where T: B  //  T继承自B 
C#2.0泛型
    
C#2.0泛型    
// 可以在类型为S的变量上调用F1,
C#2.0泛型    
// 可以在类型为T的变量上调用F2 
C#2.0泛型
    }
 

2、接口约束
C#2.0泛型      interface  IPrintable  void Print(); 
C#2.0泛型    }

C#2.0泛型    
interface  IComparable < T >  int CompareTo(T v);}
C#2.0泛型    
interface  IKeyProvider < T >  { T GetKey(); }
C#2.0泛型    
class  Dictionary < K,V >  
C#2.0泛型    where K: IComparable
< K >  
C#2.0泛型    where V: IPrintable, IKeyProvider
< K >  
C#2.0泛型    

C#2.0泛型    
// 可以在类型为K的变量上调用CompareTo, 
C#2.0泛型    
// 可以在类型为V的变量上调用Print和GetKey 
C#2.0泛型
    }

3、构造器约束
C#2.0泛型 class  A  public A() { } }  
C#2.0泛型
class  B  public B(int i) { } }  
C#2.0泛型
class  C < T >  
C#2.0泛型where T : 
new () 
C#2.0泛型

C#2.0泛型
//可以在其中使用T t=new T();  
C#2.0泛型
}
 
C#2.0泛型C
< A >  c = new  C < A > ();  // 可以,A有无参构造器
C#2.0泛型
C < B >  c = new  C < B > ();  // 错误,B没有无参构造器

4、值/引用类型约束
C#2.0泛型 public  struct  A  {  }  
C#2.0泛型
public  class  B  {  }  
C#2.0泛型
class  C < T >  
C#2.0泛型where T : 
struct  
C#2.0泛型

C#2.0泛型
// T在这里面是一个值类型 
C#2.0泛型
}
 
C#2.0泛型C
< A >  c = new  C < A > ();  // 可以,A是一个值类型
C#2.0泛型
C < B >  c = new  C < B > ();  // 错误,B是一个引用类型


关于C#泛型入门的知识就这么多了,我也是对着李建忠老师的教学录像来学习的,初学的朋友也可以去下载录像来看:

http://www.microsoft.com/china/msdn/events/webcasts/shared/webcast/episode.aspx?newsID=1242246

学习泛型刚刚开始,希望能有高手指点,谢谢!

你可能感兴趣的:(C#)