C語言函數(shù)不改變形參內(nèi)容的說明

注：本文是作者以前發(fā)表在其個人博客，現(xiàn)在發(fā)布到“聚豐開發(fā)”專欄

這也是面試時常碰到的題，通常是把一個指針作為函數(shù)的輸入?yún)?shù)，在函數(shù)內(nèi)部會改變輸入?yún)?shù)對應(yīng)的指針，問面試者在函數(shù)調(diào)用過程中指針的具體內(nèi)容。

這里我也設(shè)計一個這樣的函數(shù)，功能是對輸入?yún)?shù)指定的地址連續(xù)寫入指定個數(shù)的指定內(nèi)容。問在位置(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作為函數(shù)的參數(shù)，在函數(shù)中有進行遞增操作，為什么函數(shù)返回后在位置三還是保持內(nèi)容為&data_buf[0]不變？

有這種想法的人理解的邏輯流程如下，看上去也好像有道理。

void main(void)
{
unsigned char data_buf[256];
unsigned char *p;
p=(char*)data_buf;
fill_buffer(p,0,100); p在這里是輸入?yún)?shù)
//unsigned char i;
//for(i=0;i //{
// *p=data;
// p++; 執(zhí)行到這里不就是改變了p嗎？
//}
while(1); 函數(shù)返回p應(yīng)該也改變了
}

這種理解自然不對，對于函數(shù)的參數(shù)，不能簡單的在函數(shù)中進行替代理解，以這里的fill_buffer(p,0,100)為例子，函數(shù)中并不會對p進行任何處理，而是先將p的值用一個臨時變量保存起來（也可以為寄存器），在函數(shù)中使用的是這個臨時變量。

如果用匯編來表示 fill_buffer(p,0,100)的調(diào)用過程，參考流程如下：

;lda x 為把x裝到A中
;sta x 為把A的內(nèi)容存到裝x中
;得到第一個參數(shù)
lda p
sta buf_para
;得到第二個參數(shù)
lda #0
sta data_para
;得到第三個參數(shù)
lda #100
sta size_para
;跳轉(zhuǎn)到具體函數(shù)代碼位置
jsr fill_buffer

從這個流程可以看出指針p實際上沒有被改寫，雖然p所指的位置會被函數(shù)寫入指定的內(nèi)容，函數(shù)只是從p得到一個起始地址，在函數(shù)內(nèi)部是通過另外一個指針來改寫這個地址開始位置的內(nèi)容，在調(diào)試中觀察到的寫指針是另外那個指針，并不是p。這也是C函數(shù)指針可以做輸入輸出參數(shù)，而變量只能做輸入?yún)?shù)的原因。

如func(char *p,char data)，函數(shù)可以讀p所指的地址內(nèi)容，也可以向p所指的地址寫入指定內(nèi)容，但data只能供函數(shù)使用，不能將函數(shù)中的值反存到data中。