第07章(C#教程).doc

第7章 内存管理和指针 本章介绍内存管理和内存访问的各个方面。尽管运行库负责为程序员处理大部分内存管理工作，但程序员仍必须理解内存管理的工作原理，知道如何处理未托管的资源。 如果很好地理解了内存管理和C#提供的指针功能，也就能很好地集成C#代码和原来的代码，并能在非常注重性能的系统中高效地处理内存。 本章的主要内容如下： 运行库如何在堆栈和堆上分配空间 垃圾收集的工作原理 如何使用析构函数和System.IDisposable接口来确保未托管的资源的正确释放 C#中使用指针的语法 如何使用指针实现高性能且基于堆栈的数组 7.1 后台内存管理 C#编程的一个优点是程序员不需要担心具体的内存管理，尤其是垃圾收集器会处理所有的内存清理工作。用户可以得到像C++语言那样的效率，而不需要考虑像在C++中那样内存管理工作的复杂性。虽然不必手工管理内存，但如果要编写高效的代码，就仍需理解后台发生的事情。本节要介绍给变量分配内存时计算机内存中发生的情况。 注意： 本节的许多内容是没有经过事实证明的。您应把这一节看作是一般规则的简化向导，而不是实现的确切说明。 7.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#开发是不需要知道的。堆栈指针(操作系统维护的一个变量) 包含堆栈中下一个自由空间的地址。程序第一次运行时，堆栈指针指向堆栈保留的内存块末尾。堆栈实际上是向下填充的，即从高内存地址向低内存地址填充。当数据入栈后，堆栈指针就会随之调整，以始终指向下一个自由空间。这种情况如图7-1所示。在该图中，显示了堆栈指针800000(16进制的0xC3500)，下一个自由空间是地址79999。 图 7-1 在下面的代码中，我们已告诉编译器需要一些存储单元以存储一个整数和一个双精度浮点数，这些存储单元会分别分配给nRacingCars和engineSize，声明每个变量的代码表示开始请求访问这个变量，闭合花括号表示不再请求其他变量。 { int nRacingCars = 10; double engineSize = 3000.0; // do calculations; } 假定使用如图7-1所示的堆栈。变量nRacingCars放在内存中，其值是10，这个值放在存储单元799996~799999上，这4个字节就在堆栈指针所指空间的下面。有4个字节是因为存储int要使用4个字节。为了容纳该int，应从堆栈指针中减去4，所以它现在指向位置799996，即下一个自由空间之后(79995)。 当engineSize出作用域时，计算机就知道不再需要这个变量了。因为变量的生存期总是嵌套的，可以保证，当engineSize在作用域中时，无论发生什么情况，堆栈指针总是会指向存储engineSize的空间。为了从内存中删除这个变量，应给堆栈指针递增8，现在指向engineSize使用过的空间。此处就是放置闭合花括号的地方，当nRacingCars也出作用域时，堆栈指针就再次递增4，此时如果内存中又放入另一个变量，从799999开