作者VictorTom (鬼翼&娃娃鱼)
看板C_and_CPP
标题Re: [问题] 函式传递的问题
时间Fri May 22 23:31:14 2009
※ 引述《hateexam ()》之铭言:
: 为什麽这个问题-->见连结例子与其最佳答案
: http://zhidao.baidu.com/question/98153744.html
: 必须用call by address才能正确传递函式间的结果
: 而以下写法不用call by address也能正确回传a[n]的结果呢
小弟不是很喜欢 Call by Address 这个说法, 还是回个文吧....
为了简单起见, 这边就直接代几个实例来说明这些东西吧....
====
int a = 10;
int b = 20;
上面两行我定义两个变数a, b, 变数需要记忆体来存放....
所以对CPU来说, compile後的程式可能是这种感觉....
记忆体位址 0x01000000, 这个位址存的数值为 10
记忆体位址 0x01000004, 这个位址存的数值为 20
如果我今天写个function叫swap()想要交换两个数....
swap(int n1, int n2)
{ int temp = n1; n1 = n2; n2 = temp; }
main()
{ .... swap(a, b); .... }
这样做是不行的, 因为C function只有Call by Value....
所以swap被呼叫到的时候其实是把a, b的value copy了一份....
将 0x01000000 里的 value (10) copy到 0x02000000 里头
将 0x01000004 里的 value (20) copy到 0x02000004 里头
因此你swap里的程式码最後只会造成下面的结果....
去取 0x02000000 里面的 value (10) 放进 temp
去取 0x02000004 里面的 value (20) 放进 0x02000000
去取 temp 里的值(10)放进 0x02000004 这个位址
所以swap()执行完以後....
记忆体位址 0x02000000 在swap()里最後变成了 20, 但不影响 0x01000000 里的值
记忆体位址 0x02000004 在swap()里最後变成了 10, 但不影响 0x01000004 里的值
====
而您查到的网站写的所谓Call by Address其实是Pass the address of the varible
swap(int *p1, int *p2)
{ int temp = *p1; *p1 = *p2; *p2 = temp; }
main()
{ .... swap(&a, &b); .... }
这样做可行的是因为, 虽然swap()还是做Call by Value, 但传入swap()的是address
而swap()接受的参数也不是原先的两个int, 而是两个int pointer, 即int*
将 0x01000000 这个 "value" copy到 0x02000000 里头
将 0x01000004 这个 "value" copy到 0x02000004 里头
在swap()这个function里现在做得事就比较不一样....
去取 0x02000000 里面的值当位址 (0x01000000) 里面的 value (10) 放进 temp
去取 0x02000004 里面的值当位址 (0x01000004) 里面的 value (20) 放进
0x02000000 里面的值当位址去 (0x01000000 这个位址)
去取 temp 里的值(10)放进 0x02000004 里面的值当位址去 (0x01000004 这个位址)
到这里 0x01000000 里面的值就是 20, 0x01000004 里面的值就是 10, swap成功
====
回到您的sort()的问题, 把同样的address/pointer概念引申一下吧....
int a[5] = {1, 5, 2, 8, 5};
=> a[0] 的位址 0x01000000 里的值为 1, a[1] 的位址 0x01000004 为 5,
a[2] 的位址 0x01000008 为 2, 以此类推.
sort(int *f1)
{ /* loop to sort f1[]. */}
main()
{ .... sort(a); .... }
sort()的参数f1实际上是把 a (这里在C语言里等同於 &a[0], 好像 &a 也是)
0x01000000 这个 "value" copy给f1 (0x02000000)
所以sort()里对f1[]做读写就像swap()里一样直接反应在原来a[]的位址里....
即 0x01000000, 0x01000004, 0x01000008, 以此类推的这些位址里....
所以 sort(a); 与上面的 swap(a, b); 其实是以同样的概念/原理在运作的:)
====
以上, 这是小弟的理解, 有漏误的地方还请大家指正....<(_ _)>
其实temp也会有对应位址, 而且parameter passing也要经过call stack的push/pop
而不是像我上面写的那麽简单直接copy; 上面只是简化一些不是这里重点的部份
如果能够画图会比较好懂啦, 只是BBS上实在是不会画Orz
至於C++的Call by Reference, 一种说法是这才是Call by Address
因为如果是用Call by Reference, 那麽swap()的例子就会变为....
swap(int &n1, int &n2)
{ int temp = n1; n1 = n2; n2 = temp; }
main()
{ .... swap(a, b); .... }
不过小弟我不太会像上面一样解释n1, n2, 就留给其他强者补完吧^^||
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 58.41.5.198
1F:推 hateexam:非常的感谢^^ 虽然我头脑快打结了... 05/23 00:28
2F:→ hateexam:非常谢谢大大的用心了 05/23 00:28
3F:推 sunkill:推好文 05/25 10:36
4F:推 shieldsky:推详细解说,不过我的脑筋也快打结了。 XD 09/09 20:25
5F:推 shieldsky:对了,文中的varible是少打了一个a吗?是variable吗? 09/09 20:28
6F:→ VictorTom:对啦~~凡po过, 必留下错字....(羞) 09/09 21:02
7F:→ VictorTom:其实, 挂debug trace一次code就会有fu了:) 09/09 21:02
8F:推 yuanyu90221:好详细的解说 ^^看了让我懂了更多 ^^ 04/27 16:26