C# 泛型深入理解介绍

引言：

在上一个专题中介绍了c#2.0 中引入泛型的原因以及有了泛型后所带来的好处，然而上一专题相当于是介绍了泛型的一些基本知识的，对于泛型的性能为什么会比非泛型的性能高却没有给出理由，所以在这个专题就中将会介绍原因和一些关于泛型的其他知识。

一、泛型类型和类型参数

泛型类型和其他int,string一样都是一种类型，泛型类型有两种表现形式的：泛型类型（包括类、接口、委托和结构，但是没有泛型枚举的）和泛型方法。那什么样的类、接口、委托和方法才称作泛型类型的呢 ？我的理解是类、接口、委托、结构或方法中有类型参数就是泛型类型，这样就有类型参数的概念的。 类型参数 ——是一个真实类型的一个占位符（我想到一个很形象的比喻的，比如大家在学校的时候，一到中午下课的时候食堂人特别多的，所以很多应该都有用书本占位置的习惯的， 书本就相当于一个占位符，真真坐在位置上的当然是自己的，讲到占位置，以前听过我同学说，他们班有个很牛逼的mm，中午下完课的时候用手机占位子的，等它打完饭回来的时候手机已经不见， 当时听完我就和我同学说，你们班这位女生真牛逼的，后面我们就），泛型声明中，类型参数必须放在一对尖括号里面（即<>这个符号），并且用逗号分隔多个类型参数，如list<t>类中t就是类型参数，在使用泛型类型或方法的时候，我们要用真实类型来代替，就像用书本占位子一个，书本只是暂时的在那个位置上，等打好饭了就要换成你坐在位置上了，同样在c#中泛型也是同样道理，类型参数只是暂时的在那个位置，真真使用中要用真实的类型去代替它的位置，此时我们把真实类型又取名为类型实参，如上一专题的代码中list<int>，类型实参就是int(代替t的位置)。

如果没有为类型参数提供类型实参，此时我们就声明了一个未绑定的泛型类型，如果指定了类型实参，此时的类型就叫做已构造类型（这里同样可以以书占位置去理解），然而已构造类型又可以是开放类型或封闭类型的，这里先给出这个两个概念的定义的：开放类型——具有类型参数的类型就是开放类型（所有的未绑定的泛型类型都属于开放类型的），封闭类型——为每个类型参数都传递了实际的数据类型。对于开放类型，我们创建开放类型的实例。

注意:在c#代码中，我们唯一可以看到未绑定泛型类型的地方（除了作为声明之外）就是在typeof操作符里。

下面通过以下代码来更好的说明这点：

using system;
using system.collections.generic;

namespace closetypeandopentype
{
// 声明开放泛型类型
public sealed class dictionarystringkey<t> : dictionary<string, t>
{

}

public class program
{
static void main(string[] args)
{
object o = null;

// dictionary<,>是一个开放类型，它有2个类型参数
type t = typeof(dictionary<,>);

// 创建开放类型的实例（创建失败，出现异常）
o = createinstance(t);
console.writeline();

// dictionarystringkey<>也是一个开放类型，但它有1个类型参数
t = typeof(dictionarystringkey<>);

// 创建该类型的实例（同样会失败，出现异常）
o = createinstance(t);
console.writeline();

// dictionarystringkey<int>是一个封闭类型
t = typeof(dictionarystringkey<int>);

// 创建封闭类型的一个实例（成功）
o = createinstance(t);

console.writeline("对象类型 = " + o.gettype());
console.read();
}


// 创建类型
private static object createinstance(type t)
{
object o = null;
try
{
// 使用指定类型t的默认构造函数来创建该类型的实例
o = activator.createinstance(t);
console.writeline("已创建{0}的实例", t.tostring());
}
catch(exception ex)
{
console.writeline(ex.message);
}

return o;
}
}
}

运行结果为（从结果中也可以看出开放类型不能创建该类型的一个实例，异常信息中指出类型中包含泛型参数）：

二、泛型类型中的静态字段和静态构造函数

首先实例字段是属于一个实例的，静态字段是从属于它们声明的类型，即如果在某个myclass类中声明了一个静态字段field,则不管创建myclass的多少个实例，也不管从myclass中派生出多少个实例，都只有一个myclass.x字段。然而每个封闭类型都有它自己的静态字段（使用类型实参时，实际上clr会定义一个新的类型对象， 所以每个静态字段都是不一样对象里面的静态字段，所以才会每个都有各自的值） 通过以下代码来更好说明下——每个封闭类型都有它自己的静态字段：

view code

namespace genericstaticfieldandstaticfunction
{
// 泛型类，具有一个类型参数
public static class typewithstaticfield<t>
{
public static string field;
public static void outfield()
{
console.writeline(field+":"+typeof(t).name);
}
}

// 非泛型类
public static class nogenerictypewithstaticfield
{
public static string field;
public static void outfield()
{
console.writeline(field);
}
}
class program
{
static void main(string[] args)
{
// 使用类型实参时，实际上clr会定义一个新的类型对象
// 所以每个静态字段都是不一样对象里面的静态字段，所以才会每个都有各自的值
// 对泛型类型类的静态字段赋值
typewithstaticfield<int>.field = "一";
typewithstaticfield<string>.field = "二";
typewithstaticfield<guid>.field = "三";

// 此时filed 值只会有一个值，每个赋值都是改变了原来的值
nogenerictypewithstaticfield.field = "非泛型类静态字段一";
nogenerictypewithstaticfield.field = "非泛型类静态字段二";
nogenerictypewithstaticfield.field = "非泛型类静态字段三";

nogenerictypewithstaticfield.outfield();

// 证明每个封闭类型都有一个静态字段
typewithstaticfield<int>.outfield();
typewithstaticfield<string>.outfield();
typewithstaticfield<guid>.outfield();
console.read();

}
}
}

运行结果：

同样每个封闭类型都有一个静态构造函数的，通过下面的代码可以让大家更加明白这点：

// 静态构造函数的例子
public static class outer<tx>
{
// 嵌套类
public class inner<ty>
{
// 静态构造函数
static inner()
{
console.writeline("outer<{0}>.inner<{1}>", typeof(tx), typeof(ty));
}

public static void print()
{
}
}
}
class program
{
static void main(string[] args)
{
#region 静态函数的演示

// 静态构造函数会运行多次
// 因为每个封闭类型都有单独的一个静态构造函数
outer<int>.inner<string>.print();
outer<int>.inner<int>.print();
outer<string>.inner<int>.print();
outer<string>.inner<string>.print();
outer<object>.inner<string>.print();
outer<object>.inner<object>.print();
outer<string>.inner<int>.print();
console.read();
#endregion
}
}

运行结果：

从上图的运行结果可能会发现，我们代码中7个需要输出的，但是结果中只有6个结果输出的，这是因为任何封闭类型的静态构造函数只执行一次，最后一行的 outer<string>.inner<int>.print();这行不会产生第7行输出， 因为outer<string>.inner<int>.print();的静态构造函数在之前已经执行过的（第三行已经执行过了）。
三、编译器如何解析泛型

　　在上一个专题中，我只是贴出了泛型与非泛型的比较结果来说明泛型具有高性能的好处，却没有给出具体导致泛型比非泛型效率高的原因，所以在这个部分来剖析下泛型效率的具体原因。

这里先贴出上一个专题中说明泛型高性能好处的代码，然后再查看il代码来说明泛型的高性能（针对泛型和非泛型，c#编译器是如何解析为il代码的）：

 
using system;
using system.collections;
using system.collections.generic;
using system.diagnostics;

namespace generaldemo
{
public class program
{
static void main(string[] args)
{
stopwatch stopwatch = new stopwatch();

// 非泛型数组
arraylist arraylist = new arraylist();

// 泛型数组
list<int> genericlist= new list<int>();

// 开始计时
stopwatch.start();
for (int i = 1; i < 10000000; i++)
{
//genericlist.add(i);
arraylist.add(i);
}

// 结束计时
stopwatch.stop();

// 输出所用的时间
timespan ts = stopwatch.elapsed;
string elapsedtime = string.format("{0:00}:{1:00}:{2:00}.{3:00}",
ts.hours, ts.minutes, ts.seconds,
ts.milliseconds/10);
console.writeline("运行的时间： " + elapsedtime);
console.read();
}
}
}

当使用非泛型的的arraylist数组时，il的代码如下（这里只是贴出了部分主要的中间代码，具体的大家可以下载示例源码用il反汇编程序查看的）：

il_001f: ldloc.1
il_0020: ldloc.3
il_0021: box [mscorlib]system.int32
il_0026: callvirt instance int32 [mscorlib]system.collections.arraylist::add(object)
il_002b: pop
il_002c: nop
il_002d: ldloc.3
il_002e: ldc.i4.1
il_002f: add

在上面的il代码中，我用红色的标记的代码主要是在执行装箱操作（装箱过程肯定是要消耗的事件的吧， 就像生活中寄包裹一样，包装起来肯定是要花费一定的时间的， 装箱操作同样会，然而对于泛型类型就可以避免装箱操作，下面会贴出使用泛型类型的il代码的截图）——这个操作也是影响非泛型的性能不如泛型类型的根本原因。然而为什么使用arraylist类型在调用add方法来向数组添加元素之前要装箱的呢？原因其实主要出在add方法上的， 大家可以用reflector反射工具查看arraylist的add方法定义，下面是一张add方法原型的截图：

从上面截图可以看出，add(objec value)需要接收object类型的参数，然而我们代码中需要传递的是int实参，此时就需要会发生装箱操作（值类型int转化为object引用类型,这个过程就是装箱操作），这样也就解释了为什么调用add方法会执行装箱操作的， 同时也就说明泛型的高性能的好处。

下面是使用泛型list<t>的il代码截图（从图片中可以看出，使用泛型时，没有执行装箱的操作，这样就少了装箱的时间，这样当然就运行的快了，性能就好了。）：

四、小结

说到这里本专题的内容也就介绍结束了，本专题主要是进一步介绍了泛型的其他内容的，由于篇幅的关于我将泛型的其他内容放在下一专题中，如果都在放在这个专题中内容会显得非常多，这样也不利于大家的消化和大家的阅读，所以我在下一个专题中继续介绍泛型的其他的一些内容。

下面先附上泛型专题中用到的所有demo的源代码：generaldemo_jb51.rar