下面这个简短的程序来自于《程序员面试宝典》指针部分,是美国一著名计算机嵌入式公司的面试题。且看程序:
问题为:请问上述程序的输出结果是什么?
初一看,如果不仔细思考的话就会很容易认为输出结果就是hello,显然题目不会那么简单。其实这个题目涉及到C语言程序中内存的使用问题。一个由C/C++编译的程序占用的内存分为以下几个部分:
1)栈区(stack)——由编译器自动分配释放,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。
2)堆区(heap)——般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收。注意它与数据结构中的堆是两回事,分配方式倒是类似于链表。
3)全局区(静态区)(static)——全局变量和静态变量的存储是放在一块的,初始化的全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放。
4)文字常量区——常量字符串就是放在这里的。 程序结束后由系统释放。
5)程序代码区——存放函数体的二进制代码。
在该程序中,p是一个数组类型的变量,占用一段“栈内存”,函数GetMemory返回的是指向“栈内存”的指针,该指针的地址不是NULL,但是其原来内容“hello”已经被清除,而新内容不可知,故程序输出结果是:可能是乱码。
细想一下,有没有什么办法稍加修改就能使程序输出正确的结果呢?办法是有的,那就是将函数GetMemory中p的类型改为指针类型,具体如下:
这样p是一个指向字符型变量的指针,变量p也是存储在栈内存上,然而与前面不同的是字符串"hello"这次是存储在内存中的“文字常量区”,要等到程序结束后才会被释放。指针p指向"hello"所在的存储区域,并且函数GetMemory返回的也正是p所指向的这块区域。由于这块内存区域存储的内容就是"hello",因此整个程序输出的结果变为hello。
下面是一个类似的程序:
程序一:
分析:编译器总要为函数的每个参数制作临时副本。在上述程序中,p申请了内存,只是把p所指向的内存地址改变了,但是str丝毫没变。因为该函数没有返回值,所以str并不指向p所申请的那段内存。事实上,每执行一次GetMemory就会申请一块内存,但是申请的内存却不能有效释放,结果是内存一直被独占,最终造成内存泄露。
下面是修正后的两个程序:
修正一:
修正二:
参考文献:《程序员面试宝典》