C#泛型(一) 泛型的认识

上周老大作了关于C#中泛型的讲解,这里简单地总结一下.

1泛型的定义:
所谓泛型,即通过参数化类型来实现在同一份代码上操作多种数据类型.泛型编程是一种编程范式,它利用"参数化类型"将类型抽象化,从而实现更为灵活的复用.
2优点:
   (1)代码更强的类型安全;类型之间的转换,在老大的视频中已经举了例子,这里就不多说.
   (2)理好的复用;类似于C++模板,如比对不同数据类型的同种操作,则可以省掉很多的代码,共用一段代码.
   (3)更高的效率;主要是针对装箱与拆箱,尤其是对隐式的装箱,像for语句中可能有大量的boxing unboxing.
   关于详细的介绍在知识库"C# 引用类型与数值类型的认识(一)".
   (4)更清晰的约束. 在泛型(3)中总结
3.C#泛型机制简介.
 (1)C#泛型能力由CLR在运行时支持,区别于c++的编辑时模板机制.这使得泛型能力可以在各个支持CLR的语言之间进行无缝
 的互操作.
   (2)C#泛型代码在被编译为IL代码和元数据时,采用特殊的占位符来表示泛型类型(说明此时泛型并没有发生实例化),并用专有的IL指令支持泛型操作.而真正的泛
   型实例化工作以"on-demand"的方式,发生在JIT编译时(说明:IL,JIT与元数据等将在知识库中".NET加密与解密(一)"中简单说明)
     A.  第一轮的编译时,编译器只为 类型产生"泛型版"的IL代码与元数据---并不进行泛型类型的实例化,T在中间只充当占位符
    B.  JIT编译时,当JIT编译器第一次遇到   时,将用int替换"泛型版"IL代码与元数据中的T---进行泛型类型的实例化.
         ( 如果第二次实例时,而且也是int,就运用内存中已有类型,而不会重新生成新的;类型不同会重新生成)
   C.   CLR为所有类型参数为"引用类型"的泛型类型产生同一份代码;但如果类型为"值类型",对每一个不同的"值类型",CLR将为其产生一份独立代码.

D:如果实例化类型参数的类型相同,则JIT编译器会重复使用该类型.因此C#动态泛型能力避免了C++静态模板可能导致的代码膨涨问题.(这也是C#泛型与C++模板区别之一)
   (3)泛型可以理解为更高层次的抽象形式.
  
PS:作为一名程序员在写代码应该把抽象与机器码结合(觉得这句话很有深意哈).

                                                                                                                      2009-12-17