关于c的形参实参与运行时结构

关于c的形参实参与运行时结构（整理自2012-11-11 evernote）




今天突然看到这个程序题，感觉对C语言的遗忘了好多，感觉还是记下来比较好。

首先明确几个概念：1）当程序运行到某个函数模块时，编译器 会为其创建一个单独的运行时空间，这个空间包括指令栈，和变量存储堆栈；2）形参相当于实参的“副本”，形参的作用域为函数内部，形参的值变化与实参无关；3）函数运行结束后，编译器会对运行时空间中的栈内存进行释放 ，堆内存如果没有free或delete操作那么将留到整个程序结束后进行释放。

回想一下我们学习C语言最早关于形参和实参的示例就是swap程序：

void swap(int a,int b) {int t; t=a;a=b;b=t;}

void swap(int *a,int *b) {int t; t=*a;*a=*b;*b=t;}

第一个函数无法对变量a,b的值进行互换，第二个函数能成功互换a,b的值。其实只要画出运行时的图即可一目了然；



函数一，a',b'拷贝了a,b的值，当程序运行结束，我们只是对拷贝进行了操作，与实参无关

函数二， a',b'拷贝了a,b地址的值，当交换时候，程序通过地址找到了a,b的位置，并对它们进行交换，成功互换了值。

再来看这个题目，我们对左边两个题目进行运行时分析；



左上角的程序将一个值为NULL的指针变量拷贝给了p'，函数getmemory内部对p'进行内存申请，改变了他的值，但是这只是改变了p'的值，与实参无关，于是p还是为NULL。

左下角的程序将 一个值为NULL的指针变量的地址拷贝给了p'，根据地址找到p并对他进行了操作，改变了p的值，这里说内存泄露的确是存在的，没有及时释放堆内存。

关于右下角的答案，因为这个指针被释放之后，其填充值视编译器而定，有的可能是NULL，有的可能是Oxfeeefeee（vc9.0）等等，因此结果 不定