一个程序员面试题目的简单分析

    下面这个简短的程序来自于《程序员面试宝典》指针部分，是美国一著名计算机嵌入式公司的面试题。且看程序：

#include<iostream> using namespace std; char *GetMemory(void) { char p[]="hello"; return p; } void main() { char *str=NULL; str=GetMemory(); cout<<str; }

 

问题为：请问上述程序的输出结果是什么？

      初一看，如果不仔细思考的话就会很容易认为输出结果就是hello，显然题目不会那么简单。其实这个题目涉及到C语言程序中内存的使用问题。一个由C/C++编译的程序占用的内存分为以下几个部分：

1）栈区（stack）——由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

2）堆区（heap）——般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。

3）全局区（静态区）（static）——全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放。

4）文字常量区——常量字符串就是放在这里的。 程序结束后由系统释放。

5）程序代码区——存放函数体的二进制代码。

     在该程序中，p是一个数组类型的变量，占用一段“栈内存”，函数GetMemory返回的是指向“栈内存”的指针，该指针的地址不是NULL，但是其原来内容“hello”已经被清除，而新内容不可知，故程序输出结果是：可能是乱码。

     细想一下，有没有什么办法稍加修改就能使程序输出正确的结果呢？办法是有的，那就是将函数GetMemory中p的类型改为指针类型，具体如下：

char *GetMemory(void) { char *p="Hello"; return p; }

    这样p是一个指向字符型变量的指针，变量p也是存储在栈内存上，然而与前面不同的是字符串"hello"这次是存储在内存中的“文字常量区”，要等到程序结束后才会被释放。指针p指向"hello"所在的存储区域，并且函数GetMemory返回的也正是p所指向的这块区域。由于这块内存区域存储的内容就是"hello"，因此整个程序输出的结果变为hello。

   下面是一个类似的程序：

程序一：

#include<iostream> using namespace std; void GetMemory(char *p,int num) { p=(char *)malloc(sizeof(char)*num); } int main() { char *str=NULL; GetMemory(str,10); strcpy(str,"hello"); cout<<str<<endl; return 0; }

分析：编译器总要为函数的每个参数制作临时副本。在上述程序中，p申请了内存，只是把p所指向的内存地址改变了，但是str丝毫没变。因为该函数没有返回值，所以str并不指向p所申请的那段内存。事实上，每执行一次GetMemory就会申请一块内存，但是申请的内存却不能有效释放，结果是内存一直被独占，最终造成内存泄露。

  下面是修正后的两个程序：

修正一：

#include<iostream> using namespace std; char *GetMemory(char *p,int num) { p=(char *)malloc(sizeof(char)*num); return p; } int main() { char *str=NULL; str=GetMemory(str,10); strcpy(str,"hello"); cout<<str<<endl; return 0; }

修正二：

#include<iostream> using namespace std; void GetMemory(char **p,int num) { *p=(char *)malloc(sizeof(char)*num); } int main() { char *str=NULL; GetMemory(&str,10); strcpy(str,"hello"); cout<<str<<endl; return 0; }

 

参考文献：《程序员面试宝典》