C语言函数不改变形参内容的说明

注：本文是作者以前发表在其个人博客，现在发布到“聚丰开发”专栏

这也是面试时常碰到的题，通常是把一个指针作为函数的输入参数，在函数内部会改变输入参数对应的指针，问面试者在函数调用过程中指针的具体内容。

这里我也设计一个这样的函数，功能是对输入参数指定的地址连续写入指定个数的指定内容。问在位置(1)(2)(3)指针p的值，在位置(4)(5)指针 buf的值。

       答案是：

位置(1)指针p还没赋值为空指针0
位置(2)(3)指针p的值均为&data_buf[0]
位置(4)针buf值为&data_buf[0]
位置(5)指针buf值为&data_buf[100]

void fill_buffer(unsigned char* buf,unsigned char data,unsigned char size)
{                                           //位置(4)
    unsigned char i;
    for(i=0;i    {
        *buf=data;
        buf++;
    }
}                                            //位置(5)

void main(void)
{
    unsigned char data_buf[256];
    unsigned char *p;
    p=(char*)data_buf;                   //位置(1)
    fill_buffer(p,0,100);                   //位置(2)
    while(1);                                  //位置(3)
}

可能有的人会疑惑，明明指针p作为函数的参数，在函数中有进行递增操作，为什么函数返回后在位置三还是保持内容为&data_buf[0]不变？

有这种想法的人理解的逻辑流程如下，看上去也好像有道理。

void main(void)
{
    unsigned char data_buf[256];
    unsigned char *p;
    p=(char*)data_buf;
    fill_buffer(p,0,100); p在这里是输入参数
    //unsigned char i;
    //for(i=0;i    //{
    // *p=data; 
    // p++; 执行到这里不就是改变了p吗？
    //}
    while(1); 函数返回p应该也改变了
}

这种理解自然不对，对于函数的参数，不能简单的在函数中进行替代理解，以这里的fill_buffer(p,0,100)为例子，函数中并不会对p进行任何处理，而是先将p的值用一个临时变量保存起来（也可以为寄存器），在函数中使用的是这个临时变量。

如果用汇编来表示 fill_buffer(p,0,100)的调用过程，参考流程如下：

;lda x 为把x装到A中
;sta x 为把A的内容存到装x中
;得到第一个参数
lda p
sta buf_para
;得到第二个参数
lda #0
sta data_para
;得到第三个参数
lda #100
sta size_para
;跳转到具体函数代码位置
jsr fill_buffer

从这个流程可以看出指针p实际上没有被改写，虽然p所指的位置会被函数写入指定的内容，函数只是从p得到一个起始地址，在函数内部是通过另外一个指针来改写这个地址开始位置的内容，在调试中观察到的写指针是另外那个指针，并不是p。这也是C函数指针可以做输入输出参数，而变量只能做输入参数的原因。

如func(char *p,char data)，函数可以读p所指的地址内容，也可以向p所指的地址写入指定内容，但data只能供函数使用，不能将函数中的值反存到data中。