【MCTS】Application Development Foundation 学习笔记---

 Focus 什么是泛型？

泛型作为.NET Framework的类型系统的一部分，它允许在定义一个类型时不指定其类型细节。而是设置一个类型参数或者成员类，让使用你的类型的人去指定它。它允许消费代码去指定自己所需要的特定类型。

在.NET Framework 2.0中 包含了大量的泛型在System.Collections.Generic 命名空间中。其中包括：Dictionary，Queue，SortedDictionary 和 SortedList。
这些类型仅作为其他非泛型类型的补充在System.Collections里，但是他们提供了更好的类型安全性和执行效率。

 

为什么要用泛型？
在.NET Framework 1.0和1.1版本中不支持泛型，而是让开发者用Object类作为参数和成员，并且需要将其转换为其他类型或从其他类型转换为Object类型。
相比较而言，泛型比Object类具有如下优点。
减少运行时错误--------当我们将一个类型转换成object类型或将Object类型转换为其他类型时编译器不能判断类型错误。比如在我们将一个字符串转换为Object类型后又试图把一个字符串转换为整型是，编译器将无法捕捉的错误。而是运行时抛出一个异常。而用泛型在运行时允许编译器捕捉这种类型的缺陷在我们的程序运行之前。另外你也可以指定一些约束来限定泛型使用的类，而使编译器能够判断该类型是否可用。

提高执行效率------------类型转换需要进行装箱和拆箱操作，而这些操作将占用进程时间和降低进程的执行速度。用泛型不需要类型转换或者装箱，这样就很好的提高了执行速率。

 

 

其实，根据测试泛型不一定比类型转换执行效率高，但是它一定比类型转换的类型安全性高。

如何创建泛型？

 

如Object实现通用类型：
class Obj
{
     public Object t;
     public Object u;
     public Obj(Object _t, Object _u)
     {
          t = _t;
          u = _u;
     }
}

同功能泛型实现：
class Gen<T, U>
{
     public T t;
     public U u;
     public Gen(T _t, U _u)
     {
          t = _t;
          u = _u;
     }
}

 

如何使用泛型？

当我们使用泛型时，首先必须指定泛型所使用的类型。

// 连接两个字符串通过两个对象
Obj oa = new Obj("Hello, ", "World!");
Console.WriteLine((string)oa.t + (string)oa.u);
// 连接两个字符串通过泛型类
Gen<string, string> ga = new Gen<string, string>("Hello, ", "World!");
Console.WriteLine(ga.t + ga.u);

// 用对象类实现一个double型和一个整型的和
Obj ob = new Obj(10.125, 2005);
Console.WriteLine((double)ob.t + (int)ob.u);
// 用泛型实现一个double型和一个整型的和
Gen<double, int> gb = new Gen<double, int>(10.125, 2005);
Console.WriteLine(gb.t + gb.u);

运用泛型比对象类有很多的好处，比如：首先，开发者不需要手动的去转换Object类和其他相关类型的转换。
其次，类型错误会在编译时就能被发现而不用等到运行时态。

 

如何在泛型中使用约束？

如果你要编写适合于任何类编译的泛型将受到极大的限制，因为你将被在基类中限制。
为了克服这些限制，用约束来给使用类型添加必要的条件，调用代码可以替换你的泛型。

泛型支持四种类型的约束：
Interface                       允许只有实现了指定接口的类型使用你的泛型
Bace class                     允许只有匹配或者继承自某一特定类的类型使用你的泛型
Constructor                  需要使用该泛型的类型实现一个没有参数的构造函数
Reference or value type  需要使用该泛型的类型必须是引用类型或值类型

 

在C#中用where子句给泛型提供约束。

例如：
如下定义要求使用该泛型的类型必须实现IComparable接口：
class CompGen<T> where T:IComparable
{
 public T t1;
 public T t2;
 public ComGen(T _t1,T _t2)
 {
  t1=_t1;
  t2=_t2;
 }
 public T Max()
 {
  if(t2.CompareTo(t1)<0)
   return t1;
  else
   return t2;
 }
}
以上的实例中类将被正确的编译，然而，当你移除where子句时，再编译时将返回错误信息指出类型T并不包含CompareTo的定义。通过在泛型中约束类型的来实现IComparable接口，你就能保证CompareTo方法永远可用了。