嵌入式c面试试题收集.docVIP

C++中的堆与栈 整理者：陆晓明 1 基本概念 也不知道是什么原因，很多人总是把堆和栈混合一起，在写程序时，总是经常脱口而出地说堆栈。网上的一些资料说堆栈的叫法是有历史原因的，至于具体是什么历史原因，这不是本文所要讨论的问题。 堆：在数据结构中，堆是一种满足“堆性质”（至于什么是堆性质可以查阅任何一本数据结构的书）的数据结构。然而，通常我们所指的堆都是指二叉堆，即一种使用数组来模拟完全二叉树的结构。当然，也存在其它形式的堆，包括斐波拉契堆、二项堆、杨氏表等，想获得有关这些特殊堆的性质可以查阅算法导论。然而，在编译器中，堆是一个存储区，通常用于动态分配存储空间，一般堆具有不连续性（在下文中将讲到堆的不连续性）。 栈：在数据结构中，栈是一种按照数据项先进后出的顺序排列的数据结构，我们只能在栈顶来对栈中的数据项进行操作。然而在编译器中，栈通常是用来为函数中的临时变量分配存储空间，通常栈空间的分配具有连续性。 2 相关知识 通常一个由C++编译的程序占用的内存分为以下五个部分（这些知识对理解下文至关重要，这些是对一个基本的C++程序的存储方式的认识）： 1）栈区（stack） 是由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。 2）堆区（heap） 一般由程序员分配释放，若程序员不释放，程序结束时可能由操作系统回收（如果回收的不及时有可能会造成内存泄露）。堆空间的分配方式类似于数据结构中的链表。 3）全局区（静态区）（static） 全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。在程序结束后由系统释放。 4）文字常量区 用于存放常量数据，程序结束后由系统释放。 5）程序代码区 存放函数体的二进制代码。 3 堆和栈的区别 在IT面试中，通常有人会问哪个变量是堆变量，哪个变量又是栈变量，操作系统中的栈是向上（从低地址向高地址的方向）申请空间还是向下申请空间等等问题。我想只要掌握了堆和栈的区别，以及它们的工作原理，这些问题都会迎刃而解。本节将分以下几个方面来讲述它们之间的差别。 3.1 存储对象的不同 这个问题其实在第2节已经初步提到，在本小节中再次详细说明一下，因为这对下文的理解至关重要。 3.1.1堆区的存储对象 主要存储动态申请的空间。在C++中，存储“new出来”的对象，如下程序段 int *a; a = new int; *a = 1; 那么，变量a存储的值为1，1的存储地址在堆区，即指针a所指向的那个对象的存储地址是在堆区，但是要注意的是指针a本身所存储的区域是在栈区（嘿嘿，晕乎了把，可以看以下例子）。 Exp01: #include iostream.h int main () { int *a; a = new int; *a = 1; cout 指针a所指向对象的地址为： a endl; cout 存储指针a本身的地址为： a endl; return 0; } Exp01的输出结果如下： 指针a所指向对象的地址(堆区地址)为：0存储指针a本身的地址(栈区地址)为：0x0012FF7C 3.1.2 栈区的存储对象 主要存储程序中的临时变量，这些临时变量包括函数的参数变量、函数内的临时变量、指针变量（指的是指针本身）、数组变量等。注意：全局变量和静态变量不在栈区，它们是放在全局区。 3.2 存储空间的分配方式 3.2.1 堆区的空间分配方式 堆区的空间分配是由程序管理，而不是由系统管理。堆空间通常是由程序动态申请的。通常操作系统中有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，根据某种内存管理算法，寻找一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序。对于这种申请方式，需要在程序中使用delete语句释放空间，否则容易导致内存泄露。 堆空间的分配一般都是向高地址扩展，并且具有不连续性。这是由于系统是用链表来管理空闲内存地址的，当然也就不连续了，而系统中链表的遍历方向通常是由低地址向高地址遍历。我们可以通过以下例子可以看到， Exp02: #include iostream.h int main () { int *a,*b,*c; a = new int; b = new int; c = new int; cout a b c endl;