c2005net3.0高级编程(第5版)第11章内存管理和指针.doc

内存管理和指针 本章介绍内存管理和内存访问的各个方面。尽管运行库负责为程序员处理大部分内存管理工作，但程序员仍必须理解内存管理的工作原理，了解如何处理未托管的资源。 如果很好地理解了内存管理和C#提供的指针功能，也就能很好地集成C#代码和原来的代码，并能在非常注重性能的系统中高效地处理内存。 本章的主要内容如下： 运行库如何在堆栈和堆上分配空间 垃圾收集的工作原理 如何使用析构函数和System.IDisposable接口来确保正确释放未托管的资源 C#中使用指针的语法 如何使用指针实现基于堆栈的高性能数组 11.1 后台内存管理 C#编程的一个优点是程序员不需要担心具体的内存管理，尤其是垃圾收集器会处理所有的内存清理工作。用户可以得到像C++语言那样的效率，而不需要考虑像在C++中那样内存管理工作的复杂性。虽然不必手工管理内存，但如果要编写高效的代码，就仍需理解后台发生的事情。本节要介绍给变量分配内存时计算机内存中发生的情况。 注意： 本节的许多内容是没有经过事实证明的。您应把这一节看作是一般规则的简化向导，而不是实现的确切说明。 11.1.1 值数据类型 Windows使用一个系统：虚拟寻址系统，该系统把程序可用的内存地址映射到硬件内存中的实际地址上，这些任务完全由Windows在后台管理，其实际结果是32位处理器上的每个进程都可以使用4GB的内存—— 无论计算机上有多少硬盘空间。(在64位处理器上，这个数字会更大)。这个4GB内存实际上包含了程序的所有部分，包括可执行代码、代码加载的所有DLL，以及程序运行时使用的所有变量的内容。这个4GB内存称为虚拟地址空间，或虚拟内存，为了方便起见，本章将它简称为内存。 4GB中的每个存储单元都是从0开始往上排序的。要访问存储在内存的某个空间中的一个值，就需要提供表示该存储单元的数字。在任何复杂的高级语言中，例如C#、VB、C++和Java，编译器负责把人们可以理解的变量名称转换为处理器可以理解的内存地址。 在进程的虚拟内存中，有一个区域称为堆栈。堆栈存储不是对象成员的值数据类型。另外，在调用一个方法时，也使用堆栈存储传递给方法的所有参数的复本。为了理解堆栈的工作原理，需要注意在C#中变量的作用域。如果变量a在变量b之前进入作用域，b就会先出作用域。下面的代码： { int a; // do something { int b; // do something else } } 首先声明a。在内部的代码块中声明了b。然后内部的代码块终止，b就出作用域，最后a出作用域。所以b的生存期会完全包含在a的生存期中。在释放变量时，其顺序总是与给它们分配内存的顺序相反，这就是堆栈的工作方式。 我们不知道堆栈在地址空间的什么地方，这些信息在进行C#开发是不需要知道的。堆栈指针(操作系统维护的一个变量) 表示堆栈中下一个自由空间的地址。程序第一次运行时，堆栈指针指向为堆栈保留的内存块末尾。堆栈实际上是向下填充的，即从高内存地址向低内存地址填充。当数据入栈后，堆栈指针就会随之调整，以始终指向下一个自由空间。这种情况如图11-1所示。在该图中，显示了堆栈指针800000(十六进制的0xC3500)，下一个自由空间是地址799999。 图 11-1 下面的代码会告诉编译器，需要一些存储单元以存储一个整数和一个双精度浮点数，这些存储单元会分别分配给nRacingCars和engineSize，声明每个变量的代码表示开始请求访问这个变量，闭合花括号表示这两个变量出作用域的地方。 { int nRacingCars = 10; double engineSize = 3000.0; // do calculations; } 假定使用如图11-1所示的堆栈。变量nRacingCars进入作用域，赋值为10，这个值放在存储单元799996~799999上，这4个字节就在堆栈指针所指空间的下面。有4个字节是因为存储int要使用4个字节。为了容纳该int，应从堆栈指针中减去4，所以它现在指向位置799996，即下一个自由空间 (799995)。 下一行代码声明变量engineSize(这是一个double)，把它初始化为3000.0。double要占用8个字节，所以值3000.0占据栈上的存储单元799988~799995上，堆栈指针减去8，再次指向堆栈上的下一个自由空间。 当engineSize出作用域时，计算机就知道不再需要这个变量了。因为变量的生存期总是嵌套的，当engineSize在作用域中时，无论发生什么情况，都可以保证堆栈指针总是会指向存储engineSi