c語言函數(shù)形參的地址關(guān)系

cao627

1. include <stdio.h>
   
2. 
   
3. void test1(int a,int b, int c)
   
4. {
   
5.         int * p;
   
6.         p = &a;
   
7.         printf("%d\n", *p);
   
8.         p--;
   
9.         printf("%d\n", *p);
   
10.         p--;
    
11.         printf("%d\n", *p);
    
12. }
    
13. 
    
14. void test2(const char * s, ...)
    
15. {
    
16.         int * p;
    
17.         p = (int *)&s;
    
18.         p++;
    
19.         printf("%d\n", *p);
    
20.         p++;
    
21.         printf("%d\n", *p);
    
22. }
    
23. 
    
24. int main()
    
25. {
    
26. 
    
27.         test1(100,200,300);
    
28.         test2("hello world",100,200);
    
29.         return 0;
    
30. }
    
31. 
    

復(fù)制代碼

看到一個(gè)視頻教程，里面用test2實(shí)現(xiàn)了：打印第二個(gè)參數(shù)和第三個(gè)參數(shù)的值，依據(jù)是形參的地址在內(nèi)存里緊挨著的，但在我的環(huán)境里無法實(shí)現(xiàn)這一點(diǎn)。

問題：
1.在test2中定義的是指向正整型指針p，對(duì)p++，p的步進(jìn)是4，而傳給test2的實(shí)參"hello world" 長(zhǎng)度大于4個(gè)字節(jié)，p++后指向的應(yīng)該還是在"hello.world"  這串字符存儲(chǔ)的空間內(nèi)，怎么能指到參數(shù)100的存儲(chǔ)空間，視頻教程里確實(shí)做到了。

2.在我的環(huán)境里test1的參數(shù)的地址關(guān)系是從左往右遞減的，即如上代碼是用p--實(shí)現(xiàn)依次打印第一，第二，第三個(gè)參數(shù)。而在視頻教程中是用p++。這跟編譯器不同的關(guān)系嗎？

Dannysd

1. #include<stdio.h>
   
2. 
   
3. void test1(int a,int b, int c)
   
4. {
   
5.         int * p;
   
6.         p = &a;
   
7.         printf("%d\n", *p);
   
8.         p++;
   
9.         printf("%d\n", *p);
   
10.         p++;
    
11.         printf("%d\n", *p);
    
12. }
    
13. 
    
14. void test2(const char * s, ...)
    
15. {
    
16.         int * p;
    
17.         p = (int *)&s;
    
18.         p++;
    
19.         printf("%d\n", *p);
    
20.         p++;
    
21.         printf("%d\n", *p);
    
22. }
    
23. 
    
24. int main()
    
25. {
    
26.         test1(100,200,300);
    
27. 
    
28.         test2("hello world",100,200);
    
29. 
    
30.         return 0;
    
31. }

復(fù)制代碼

1. ./a.out
   
2. 100
   
3. 200
   
4. 300
   
5. 100
   
6. 200

復(fù)制代碼

Dannysd

test2反匯編

1. 080483f9 <test2>:
   
2. 80483f9:       55                      push   %ebp
   
3. 80483fa:       89 e5                   mov    %esp,%ebp
   
4. 80483fc:       83 ec 18                sub    $0x18,%esp
   
5. 80483ff:       8d 45 08                lea    0x8(%ebp),%eax
   
6. 8048402:       89 45 fc                mov    %eax,0xfffffffc(%ebp)
   
7. 8048405:       83 45 fc 04             addl   $0x4,0xfffffffc(%ebp)
   
8. 8048409:       8b 45 fc                mov    0xfffffffc(%ebp),%eax
   
9. 804840c:       8b 00                   mov    (%eax),%eax
   
10. 804840e:       89 44 24 04             mov    %eax,0x4(%esp)
    
11. 8048412:       c7 04 24 60 85 04 08    movl   $0x8048560,(%esp)
    
12. 8048419:       e8 9a fe ff ff          call   80482b8 <printf@plt>
    
13. 804841e:       83 45 fc 04             addl   $0x4,0xfffffffc(%ebp)
    
14. 8048422:       8b 45 fc                mov    0xfffffffc(%ebp),%eax
    
15. 8048425:       8b 00                   mov    (%eax),%eax
    
16. 8048427:       89 44 24 04             mov    %eax,0x4(%esp)
    
17. 804842b:       c7 04 24 60 85 04 08    movl   $0x8048560,(%esp)
    
18. 8048432:       e8 81 fe ff ff          call   80482b8 <printf@plt>
    
19. 8048437:       c9                      leave  
    
20. 8048438:       c3                      ret   
    

復(fù)制代碼

1. 8048405:       83 45 fc 04             addl   $0x4,0xfffffffc(%ebp)

復(fù)制代碼

這句對(duì)應(yīng)的是p++，其實(shí)是在棧上向移動(dòng)到了下一個(gè)地址

cao627

對(duì)于test1這樣的形式，在我的環(huán)境中要用指針遞減的方式才能依次打印各個(gè)參數(shù)。
對(duì)于test2這樣的形式，在我的環(huán)境中無論用指針遞增還是遞減都不能打印字符串長(zhǎng)量后的各個(gè)參數(shù)。

我的環(huán)境是
ubuntu 14.04  64位
gcc 4.8.2

cao627

@Dannysd
請(qǐng)你在test2中打印一下p取到字符串常量首地址的地址，然后再打印一下p++后的地址�？纯磧傻刂返牟睢�

hellioncu

研究這個(gè)意義不大，不具有可移植性

Dannysd

我是32位環(huán)境，gcc version 4.1.2 Centos
可變參數(shù)這個(gè)沒弄懂。。。。
test1

1. Breakpoint 1, test1 (a=100, b=200, c=300) at c.c:13
   
2. 13              p = &a;
   
3. (gdb) n
   
4. 14              printf("%d\n", *p);
   
5. (gdb) p a
   
6. $8 = 100
   
7. (gdb) p *p
   
8. $9 = 100
   
9. (gdb) p &a
   
10. $10 = (int *) 0xbfffc310
    
11. (gdb) p/x p
    
12. $11 = 0xbfffc310
    
13. (gdb) n
    
14. 100
    
15. 15              p++;
    
16. (gdb) p *p
    
17. $12 = 100
    
18. (gdb) p/x p
    
19. $13 = 0xbfffc310
    
20. (gdb) n
    
21. 16              printf("%d\n", *p);
    
22. (gdb) p *p
    
23. $14 = 200
    
24. (gdb) p/x p
    
25. $15 = 0xbfffc314
    
26. (gdb) n
    
27. 200
    
28. 17              p++;
    
29. (gdb) p *p
    
30. $16 = 200
    
31. (gdb) p/x p
    
32. $17 = 0xbfffc314
    
33. (gdb) n
    
34. 18              printf("%d\n", *p);
    
35. (gdb) p *p
    
36. $18 = 300
    
37. (gdb) p/x p
    
38. $19 = 0xbfffc318
    
39. (gdb) n
    
40. 300
    
41. 19      }

復(fù)制代碼

============================
test2

1. Breakpoint 1, test2 (s=0x8048564 "hello world") at c.c:24
   
2. 24              p = (int *)&s;
   
3. (gdb) p *p
   
4. $1 = 200
   
5. (gdb) p/x p
   
6. $2 = 0xbfffe588
   
7. (gdb) n
   
8. 25              p++;
   
9. (gdb) p *p
   
10. $3 = 134514020
    
11. (gdb) p/x p
    
12. $4 = 0xbfffe580
    
13. (gdb) n
    
14. 26              printf("%d\n", *p);
    
15. (gdb) p *p
    
16. $5 = 100
    
17. (gdb) p/x p
    
18. $6 = 0xbfffe584
    
19. (gdb) n
    
20. 100
    
21. 27              p++;
    
22. (gdb) p *p
    
23. $7 = 100
    
24. (gdb) p/x p
    
25. $8 = 0xbfffe584
    
26. (gdb) n
    
27. 28              printf("%d\n", *p);
    
28. (gdb) p *p
    
29. $9 = 200
    
30. (gdb) p/x p
    
31. $10 = 0xbfffe588
    
32. (gdb) n
    
33. 200
    
34. 29      }
    
35. (gdb) p *p
    
36. $11 = 200
    
37. (gdb) p/x p
    
38. $12 = 0xbfffe588
    
39. (gdb) n
    
40. main () at c.c:37
    
41. 37              return 0;
    
42. (gdb) n
    
43. 38      }
    
44. (gdb) n
    
45. 0x00c44ebc in __libc_start_main () from /lib/libc.so.6
    
46. (gdb) n
    
47. Single stepping until exit from function __libc_start_main,
    
48. which has no line number information.
    
49. 
    
50. Program exited normally.

復(fù)制代碼

cao627

1.在test2中定義的是指向正整型指針p，對(duì)p++，p的步進(jìn)是4，而傳給test2的實(shí)參"hello world" 長(zhǎng)度大于4個(gè)字節(jié)，p++后指向的應(yīng)該還是在"hello.world"  這串字符存儲(chǔ)的空間內(nèi)，怎么能指到參數(shù)100的存儲(chǔ)空間，視頻教程里確實(shí)做到了。

("hello world",100,200) 在內(nèi)存棧中開辟的是   存放helllo world字符串的首地址的空間,4字節(jié)空間,4字節(jié)空間
p首先取得是存放helllo world字符串的首地址的空間的地址。
對(duì)p++后就取到了存放helllo world字符串的首地址的空間后面的4字節(jié)空間


對(duì)于32位系統(tǒng)，地址的長(zhǎng)度是4字節(jié)，上面的存放helllo world字符串的首地址的空間就是4字節(jié)。p是定義的是指向int型的，p++的步進(jìn)是4, 所以*(p++) 取得存放helllo world字符串的首地址的4字節(jié)空間的后面一個(gè)4字節(jié)的空間的內(nèi)容。

但是對(duì)于64位系統(tǒng)，地址的長(zhǎng)度是8字節(jié)，上面的存放helllo world字符串的首地址的空間就是8字節(jié)。p是定義的是指向int型的，p++的步進(jìn)是4，所以*(P++)不能取到存放helllo world字符串的首地址的8字節(jié)空間后面一個(gè)4字節(jié)空間的內(nèi)容。

這可能就是我的系統(tǒng)（64位）上形參地址是從左往又依次遞減的緣故？
這樣：存放helllo world字符串的首地址的8字節(jié)空間的地址高于緊挨它的形參括號(hào)中它右邊4字節(jié)空間的地址，設(shè)形參括號(hào)中它右邊4字節(jié)空間的地址是A，由于這塊空間的大小為4字節(jié)，所以存放helllo world字符串的首地址的8字節(jié)空間的地址就是A+4。這樣p取到存放helllo world字符串的首地址的8字節(jié)空間的地址，*(p--)就正好取到形參括號(hào)中它右邊4字節(jié)空間內(nèi)容。

Dannysd

回復(fù) 8# cao627


    默認(rèn)的是cdecl，從右至左壓參入棧

   要不加上 __attribute__((cdecl))這個(gè)再試試？

zhaohongjian000

取決于ABI規(guī)范，函數(shù)調(diào)用約定屬于ABI規(guī)范的一部分。簡(jiǎn)單的說，現(xiàn)在還在用內(nèi)存?zhèn)鲄��?shù)的，只有32位的x86了。
x86-64、arm這種都有完整的文檔，怎么傳參數(shù)查看文檔即可。

x86-64的附個(gè)鏈接：http://www.x86-64.org/documentation/abi.pdf