那些年,困擾我們的函數參數,還在嗎!

那些年我們遇到的迷惑!

開講之前,我先請你做三道題目。(嘿嘿,得先把你的頭腦搞昏才行……唉呀,誰扔我雞蛋?)

考題一,程序代碼如下:
void Exchg1(int x, int y)
{
   int tmp;
   tmp = x;
   x = y;
   y = tmp;
   printf("x = %d, y = %d\n", x, y);
}
main()
{
   int a = 4,b = 6;
   Exchg1(a, b);
   printf("a = %d, b = %d\n", a, b);
   return(0);
}
輸出的結果爲:
x = ____, y=____.
a = ____, b=____.
問下劃線的部分應是什麼,請完成。

考題二,程序代碼如下:
void Exchg2(int *px, int *py)
{
   int tmp = *px;
   *px = *py;
   *py = tmp;
   printf("*px = %d, *py = %d.\n", *px, *py);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg2(&a, &b);
   printf("a = %d, b = %d.\n", a, b);
   return(0);
}
輸出的結果爲爲:
*px=____, *py=____.
a=____, b=____.
問下劃線的部分應是什麼,請完成。

考題三,程序代碼如下:
void Exchg3(int &x, int &y)
{
   int tmp = x;
   x = y;
   y = tmp;
   printf("x = %d,y = %d\n", x, y);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg3(a, b);
   printf("a = %d, b = %d\n", a, b);
   return(0);
}
輸出的結果爲:
x=____, y=____.
a=____, b=____.
問下劃線的部分應是什麼,請完成。你不在機子上試,能作出來嗎?你對你寫出的答案有多大的把握?正確的答案,想知道嗎?(呵呵,讓我慢慢地告訴你吧!)

好,廢話少說,繼續我們的探索之旅了。
我們都知道:C語言中函數參數的傳遞有:值傳遞、地址傳遞、引用傳遞這三種形式。題一爲值傳遞,題二爲地址傳遞,題三爲引用傳遞。不過,正是這幾種參數傳遞的形式,曾把我給搞得暈頭轉向。我相信也有很多人與我有同感吧?

下面請讓我逐個地談談這三種傳遞形式。

二、函數參數傳遞方式之一:值傳遞

(1)值傳遞的一個錯誤認識
先看考題一中Exchg1函數的定義:
void Exchg1(int x, int y) /* 定義中的x,y變量被稱爲Exchg1函數的形式參數 */
{
   int tmp;
   tmp = x;
   x = y;
   y = tmp;
   printf("x = %d, y = %d.\n", x, y);
}
問:你認爲這個函數是在做什麼呀?
答:好像是對參數x、y的值對調吧?
請往下看,我想利用這個函數來完成對a,b兩個變量值的對調,程序如下:
main()
{
   int a = 4,b = 6;
   Exchg1(a, b); /*a,b變量爲Exchg1函數的實際參數。*/
   printf("a = %d, b = %d.\n”, a, b);
   return(0);
}
我問:Exchg1()裏頭的printf("x = %d, y = %d.\n", x, y);語句會輸出什麼啊?我再問:Exchg1()後的printf("a = %d, b = %d.\n”, a, b);語句輸出的是什麼?
程序輸出的結果是:
x = 6, y = 4.
a = 4, b = 6.
爲什麼不是a = 6,b = 4呢?奇怪,明明我把a、b分別代入了x、y中,並在函數裏完成了兩個變量值的交換,爲什麼a、b變量值還是沒有交換(仍然是a = 4、b = 6,而不是a = 6、b = 4)?如果你也會有這個疑問,那是因爲你根本就不知實參a、b與形參x、y的關係了。

(2)一個預備的常識
爲了說明這個問題,我先給出一個代碼:
   int a = 4;
   int x;
   x = a;
   x = x + 3;
看好了沒,現在我問你:最終a值是多少,x值是多少?
(怎麼搞的,給我這個小兒科的問題。還不簡單,不就是a = 4、x = 7嘛!)
在這個代碼中,你要明白一個東西:雖然a值賦給了x,但是a變量並不是x變量哦。我們對x任何的修改,都不會改變a變量。呵呵!雖然簡單,並且一看就理所當然,不過可是一個很重要的認識喔。

(3)理解值傳遞的形式
看調用Exch1函數的代碼:
main()
{
   int a = 4,b = 6;
   Exchg1(a, b) /* 這裏調用了Exchg1函數 */
   printf("a = %d, b = %d.\n", a, b);
}
Exchg1(a, b)時所完成的操作代碼如下所示。
int x = a; /* ← */
int y = b; /* ← 注意這裏,頭兩行是調用函數時的隱含操作 */
int tmp;
tmp = x;
x = y;
y = tmp;
請注意在調用執行Exchg1函數的操作中我人爲地加上了頭兩句:
   int x = a;
   int y = b;
這是調用函數時的兩個隱含動作。它確實存在,現在我只不過把它顯式地寫了出來而已。問題一下就清晰起來啦。(看到這裏,現在你認爲函數裏面交換操作的是a、b變量或者只是x、y變量呢?)

原來,其實函數在調用時是隱含地把實參a、b 的值分別賦值給了x、y,之後在你寫的Exchg1函數體內再也沒有對a、b進行任何的操作了。交換的只是x、y變量。並不是a、b。當然a、b的值沒有改變啦!函數只是把a、b的值通過賦值傳遞給了x、y,函數裏頭操作的只是x、y的值並不是a、b的值。這就是所謂的參數的值傳遞了。

哈哈,終於明白了,正是因爲它隱含了那兩個的賦值操作,才讓我們產生了前述的迷惑(以爲a、b已經代替了x、y,對x、y的操作就是對a、b的操作了,這是一個錯誤的觀點啊!)。

三、函數參數傳遞方式之二:地址傳遞

繼續!地址傳遞的問題!
看考題二的代碼:
void Exchg2(int *px, int *py)
{
   int tmp = *px;
   *px = *py;
   *py = tmp;
   printf("*px = %d, *py = %d.\n", *px, *py);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg2(&a, &b);
   printf("a = %d, b = %d.\n”, a, b);
   return(0);
}
它的輸出結果是:
*px = 6, *py = 4.
a = 6, b = 4.
看函數的接口部分:Exchg2(int *px, int *py),請注意:參數px、py都是指針。再看調用處:Exchg2(&a, &b);
它將a的地址(&a)代入到px,b的地址(&b)代入到py。同上面的值傳遞一樣,函數調用時作了兩個隱含的操作:將&a,&b的值賦值給了px、py。
   px = &a;
   py = &b;
呵呵!我們發現,其實它與值傳遞並沒有什麼不同,只不過這裏是將a、b的地址值傳遞給了px、py,而不是傳遞的a、b的內容,而(請好好地在比較比較啦)整個Exchg2函數調用是如下執行的:
   px = &a; /* ← */
   py = &b; /* ← 請注意這兩行,它是調用Exchg2的隱含動作。*/
   int tmp = *px;
   *px = *py;
   *py = tmp;
   printf("*px =%d, *py = %d.\n", *px, *py);
這樣,有了頭兩行的隱含賦值操作。我們現在已經可以看出,指針px、py的值已經分別是a、b變量的地址值了。接下來,對*px、*py的操作當然也就是對a、b變量本身的操作了。所以函數裏頭的交換就是對a、b值的交換了,這就是所謂的地址傳遞(傳遞a、b的地址給了px、py),你現在明白了嗎?

四、函數參數傳遞方式之三:引用傳遞

看題三的代碼:
void Exchg3(int &x, int &y) /* 注意定義處的形式參數的格式與值傳遞不同 */
{
   int tmp = x;x = y;
   y = tmp;
   printf("x = %d, y = %d.\n", x, y);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg3(a, b); /*注意:這裏調用方式與值傳遞一樣*/
   printf("a = %d, b = %d.\n”, a, b);
}
輸出結果:
x = 6, y = 4.
a = 6, b = 4. /*這個輸出結果與值傳遞不同。*/
看到沒有,與值傳遞相比,代碼格式上只有一處是不同的,即在定義處:
   Exchg3(int &x, int &y)
但是我們發現a與b的值發生了對調。這說明了Exchg3(a, b)裏頭修改的是a、b變量,而不只是修改x、y了。

我們先看Exchg3函數的定義處Exchg3(int &x, int &y)。參數x、y是int的變量,調用時我們可以像值傳遞(如: Exchg1(a, b); )一樣調用函數(如: Exchg3(a, b);)。但是x、y前都有一個取地址符號“&”。有了這個,調用Exchg3時函數會將a、b 分別代替了x、y了,我們稱:x、y分別引用了a、b變量。這樣函數裏頭操作的其實就是實參a、b本身了,也就是說函數裏是可以直接修改到a、b的值了。

最後對值傳遞與引用傳遞作一個比較:
1)在函數定義格式上有不同:
值傳遞在定義處是:Exchg1(int x, int y);
引用傳遞在這義處是:Exchg3(int &x, int &y);

2)調用時有相同的格式:
值傳遞:Exchg1(a, b);
引用傳遞:Exchg3(a, b);

3)功能上是不同的:
值傳遞的函數裏操作的不是a、b變量本身,只是將a、b值賦給了x、y。函數裏操作的只是x、y變量而不是a、b,顯示a、b的值不會被Exchg1函數所修改。
引用傳遞Exchg3(a, b)函數裏是用a、b分別代替了x、y。函數裏操作的就是a、b變量的本身,因此a、b的值可在函數裏被修改的。


一、三道考題

開講之前,我先請你做三道題目。(嘿嘿,得先把你的頭腦搞昏才行……唉呀,誰扔我雞蛋?)

考題一,程序代碼如下:
void Exchg1(int x, int y)
{
   int tmp;
   tmp = x;
   x = y;
   y = tmp;
   printf("x = %d, y = %d\n", x, y);
}
main()
{
   int a = 4,b = 6;
   Exchg1(a, b);
   printf("a = %d, b = %d\n", a, b);
   return(0);
}
輸出的結果爲:
x = ____, y=____.
a = ____, b=____.
問下劃線的部分應是什麼,請完成。

考題二,程序代碼如下:
void Exchg2(int *px, int *py)
{
   int tmp = *px;
   *px = *py;
   *py = tmp;
   printf("*px = %d, *py = %d.\n", *px, *py);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg2(&a, &b);
   printf("a = %d, b = %d.\n", a, b);
   return(0);
}
輸出的結果爲爲:
*px=____, *py=____.
a=____, b=____.
問下劃線的部分應是什麼,請完成。

考題三,程序代碼如下:
void Exchg3(int &x, int &y)
{
   int tmp = x;
   x = y;
   y = tmp;
   printf("x = %d,y = %d\n", x, y);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg3(a, b);
   printf("a = %d, b = %d\n", a, b);
   return(0);
}
輸出的結果爲:
x=____, y=____.
a=____, b=____.
問下劃線的部分應是什麼,請完成。你不在機子上試,能作出來嗎?你對你寫出的答案有多大的把握?正確的答案,想知道嗎?(呵呵,讓我慢慢地告訴你吧!)

好,廢話少說,繼續我們的探索之旅了。
我們都知道:C語言中函數參數的傳遞有:值傳遞、地址傳遞、引用傳遞這三種形式。題一爲值傳遞,題二爲地址傳遞,題三爲引用傳遞。不過,正是這幾種參數傳遞的形式,曾把我給搞得暈頭轉向。我相信也有很多人與我有同感吧?

下面請讓我逐個地談談這三種傳遞形式。

二、函數參數傳遞方式之一:值傳遞

(1)值傳遞的一個錯誤認識
先看考題一中Exchg1函數的定義:
void Exchg1(int x, int y) /* 定義中的x,y變量被稱爲Exchg1函數的形式參數 */
{
   int tmp;
   tmp = x;
   x = y;
   y = tmp;
   printf("x = %d, y = %d.\n", x, y);
}
問:你認爲這個函數是在做什麼呀?
答:好像是對參數x、y的值對調吧?
請往下看,我想利用這個函數來完成對a,b兩個變量值的對調,程序如下:
main()
{
   int a = 4,b = 6;
   Exchg1(a, b); /*a,b變量爲Exchg1函數的實際參數。*/
   printf("a = %d, b = %d.\n”, a, b);
   return(0);
}
我問:Exchg1()裏頭的printf("x = %d, y = %d.\n", x, y);語句會輸出什麼啊?我再問:Exchg1()後的printf("a = %d, b = %d.\n”, a, b);語句輸出的是什麼?
程序輸出的結果是:
x = 6, y = 4.
a = 4, b = 6.
爲什麼不是a = 6,b = 4呢?奇怪,明明我把a、b分別代入了x、y中,並在函數裏完成了兩個變量值的交換,爲什麼a、b變量值還是沒有交換(仍然是a = 4、b = 6,而不是a = 6、b = 4)?如果你也會有這個疑問,那是因爲你根本就不知實參a、b與形參x、y的關係了。

(2)一個預備的常識
爲了說明這個問題,我先給出一個代碼:
   int a = 4;
   int x;
   x = a;
   x = x + 3;
看好了沒,現在我問你:最終a值是多少,x值是多少?
(怎麼搞的,給我這個小兒科的問題。還不簡單,不就是a = 4、x = 7嘛!)
在這個代碼中,你要明白一個東西:雖然a值賦給了x,但是a變量並不是x變量哦。我們對x任何的修改,都不會改變a變量。呵呵!雖然簡單,並且一看就理所當然,不過可是一個很重要的認識喔。

(3)理解值傳遞的形式
看調用Exch1函數的代碼:
main()
{
   int a = 4,b = 6;
   Exchg1(a, b) /* 這裏調用了Exchg1函數 */
   printf("a = %d, b = %d.\n", a, b);
}
Exchg1(a, b)時所完成的操作代碼如下所示。
int x = a; /* ← */
int y = b; /* ← 注意這裏,頭兩行是調用函數時的隱含操作 */
int tmp;
tmp = x;
x = y;
y = tmp;
請注意在調用執行Exchg1函數的操作中我人爲地加上了頭兩句:
   int x = a;
   int y = b;
這是調用函數時的兩個隱含動作。它確實存在,現在我只不過把它顯式地寫了出來而已。問題一下就清晰起來啦。(看到這裏,現在你認爲函數裏面交換操作的是a、b變量或者只是x、y變量呢?)

原來,其實函數在調用時是隱含地把實參a、b 的值分別賦值給了x、y,之後在你寫的Exchg1函數體內再也沒有對a、b進行任何的操作了。交換的只是x、y變量。並不是a、b。當然a、b的值沒有改變啦!函數只是把a、b的值通過賦值傳遞給了x、y,函數裏頭操作的只是x、y的值並不是a、b的值。這就是所謂的參數的值傳遞了。

哈哈,終於明白了,正是因爲它隱含了那兩個的賦值操作,才讓我們產生了前述的迷惑(以爲a、b已經代替了x、y,對x、y的操作就是對a、b的操作了,這是一個錯誤的觀點啊!)。

三、函數參數傳遞方式之二:地址傳遞

繼續!地址傳遞的問題!
看考題二的代碼:
void Exchg2(int *px, int *py)
{
   int tmp = *px;
   *px = *py;
   *py = tmp;
   printf("*px = %d, *py = %d.\n", *px, *py);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg2(&a, &b);
   printf("a = %d, b = %d.\n”, a, b);
   return(0);
}
它的輸出結果是:
*px = 6, *py = 4.
a = 6, b = 4.
看函數的接口部分:Exchg2(int *px, int *py),請注意:參數px、py都是指針。再看調用處:Exchg2(&a, &b);
它將a的地址(&a)代入到px,b的地址(&b)代入到py。同上面的值傳遞一樣,函數調用時作了兩個隱含的操作:將&a,&b的值賦值給了px、py。
   px = &a;
   py = &b;
呵呵!我們發現,其實它與值傳遞並沒有什麼不同,只不過這裏是將a、b的地址值傳遞給了px、py,而不是傳遞的a、b的內容,而(請好好地在比較比較啦)整個Exchg2函數調用是如下執行的:
   px = &a; /* ← */
   py = &b; /* ← 請注意這兩行,它是調用Exchg2的隱含動作。*/
   int tmp = *px;
   *px = *py;
   *py = tmp;
   printf("*px =%d, *py = %d.\n", *px, *py);
這樣,有了頭兩行的隱含賦值操作。我們現在已經可以看出,指針px、py的值已經分別是a、b變量的地址值了。接下來,對*px、*py的操作當然也就是對a、b變量本身的操作了。所以函數裏頭的交換就是對a、b值的交換了,這就是所謂的地址傳遞(傳遞a、b的地址給了px、py),你現在明白了嗎?

四、函數參數傳遞方式之三:引用傳遞

看題三的代碼:
void Exchg3(int &x, int &y) /* 注意定義處的形式參數的格式與值傳遞不同 */
{
   int tmp = x;x = y;
   y = tmp;
   printf("x = %d, y = %d.\n", x, y);
}
main()
{
   int a = 4;
   int b = 6;
   Exchg3(a, b); /*注意:這裏調用方式與值傳遞一樣*/
   printf("a = %d, b = %d.\n”, a, b);
}
輸出結果:
x = 6, y = 4.
a = 6, b = 4. /*這個輸出結果與值傳遞不同。*/
看到沒有,與值傳遞相比,代碼格式上只有一處是不同的,即在定義處:
   Exchg3(int &x, int &y)
但是我們發現a與b的值發生了對調。這說明了Exchg3(a, b)裏頭修改的是a、b變量,而不只是修改x、y了。

我們先看Exchg3函數的定義處Exchg3(int &x, int &y)。參數x、y是int的變量,調用時我們可以像值傳遞(如: Exchg1(a, b); )一樣調用函數(如: Exchg3(a, b);)。但是x、y前都有一個取地址符號“&”。有了這個,調用Exchg3時函數會將a、b 分別代替了x、y了,我們稱:x、y分別引用了a、b變量。這樣函數裏頭操作的其實就是實參a、b本身了,也就是說函數裏是可以直接修改到a、b的值了。

最後對值傳遞與引用傳遞作一個比較:
1)在函數定義格式上有不同:
值傳遞在定義處是:Exchg1(int x, int y);
引用傳遞在這義處是:Exchg3(int &x, int &y);

2)調用時有相同的格式:
值傳遞:Exchg1(a, b);
引用傳遞:Exchg3(a, b);

3)功能上是不同的:
值傳遞的函數裏操作的不是a、b變量本身,只是將a、b值賦給了x、y。函數裏操作的只是x、y變量而不是a、b,顯示a、b的值不會被Exchg1函數所修改。
引用傳遞Exchg3(a, b)函數裏是用a、b分別代替了x、y。函數裏操作的就是a、b變量的本身,因此a、b的值可在函數裏被修改的。
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章