改變指標的內容需要傳指標的指標

L22 mp(p, 5) 應該是很多人的困擾, 為什麼 p 這個指標不會被改成 5 還是原來的 1。

ptrptr.c

 /*
  *  modify pointer
  */
 #include <stdio.h>
 
 void mp(char *ptr, int addr)
 {
   ptr = addr;
   printf("ptr: %p\n", ptr);
 }
 


 void mp1(char **ptrptr, int addr)
 {
   *ptrptr = addr;
   printf("*ptrptr: %p\n", *ptrptr);
 }
 
 int main(int argc, const char *argv[])
 {
   char *p=1;
   printf("p: %p\n", p);
   mp(p, 5);       
   printf("p: %p\n", p);
   mp1(&p, 5);       
   printf("p: %p\n", p);
   return 0;
 }

執行結果:

p: 0x1
ptr: 0x5
p: 0x1
*ptrptr: 0x5
p: 0x5

組合語言面前沒有秘密, 硬著頭皮看看吧!

objdump -d ptrptr

 08048404 <mp>:
  8048404: 55                    push   %ebp
  8048405: 89 e5                 mov    %esp,%ebp
  8048407: 83 ec 18              sub    $0x18,%esp
  804840a: 8b 45 0c              mov    0xc(%ebp),%eax
  804840d: 89 45 08              mov    %eax,0x8(%ebp)
  8048410: b8 90 85 04 08        mov    $0x8048590,%eax
  8048415: 8b 55 08              mov    0x8(%ebp),%edx
  8048418: 89 54 24 04           mov    %edx,0x4(%esp)
  804841c: 89 04 24              mov    %eax,(%esp)
  804841f: e8 fc fe ff ff        call   8048320 <printf@plt>
  8048424: c9                    leave  
  8048425: c3                    ret    
 
 08048426 <mp1>:
  8048426: 55                    push   %ebp
  8048427: 89 e5                 mov    %esp,%ebp
  8048429: 83 ec 18              sub    $0x18,%esp
  804842c: 8b 55 0c              mov    0xc(%ebp),%edx
  804842f: 8b 45 08              mov    0x8(%ebp),%eax
  8048432: 89 10                 mov    %edx,(%eax)
  8048434: 8b 45 08              mov    0x8(%ebp),%eax
  8048437: 8b 10                 mov    (%eax),%edx
  8048439: b8 99 85 04 08        mov    $0x8048599,%eax
  804843e: 89 54 24 04           mov    %edx,0x4(%esp)
  8048442: 89 04 24              mov    %eax,(%esp)
  8048445: e8 d6 fe ff ff        call   8048320 <printf@plt>
  804844a: c9                    leave  
  804844b: c3                    ret    
 
 0804844c <main>:
  804844c: 55                    push   %ebp
  804844d: 89 e5                 mov    %esp,%ebp
  804844f: 83 e4 f0              and    $0xfffffff0,%esp
  8048452: 83 ec 20              sub    $0x20,%esp
  8048455: c7 44 24 1c 01 00 00  movl   $0x1,0x1c(%esp)
  804845c: 00 
  804845d: 8b 54 24 1c           mov    0x1c(%esp),%edx
  8048461: b8 a6 85 04 08        mov    $0x80485a6,%eax
  8048466: 89 54 24 04           mov    %edx,0x4(%esp)
  804846a: 89 04 24              mov    %eax,(%esp)
  804846d: e8 ae fe ff ff        call   8048320 <printf@plt>
  8048472: 8b 44 24 1c           mov    0x1c(%esp),%eax
  8048476: c7 44 24 04 05 00 00  movl   $0x5,0x4(%esp)
  804847d: 00 
  804847e: 89 04 24              mov    %eax,(%esp)
  8048481: e8 7e ff ff ff        call   8048404 <mp>
  8048486: 8b 54 24 1c           mov    0x1c(%esp),%edx
  804848a: b8 a6 85 04 08        mov    $0x80485a6,%eax
  804848f: 89 54 24 04           mov    %edx,0x4(%esp)
  8048493: 89 04 24              mov    %eax,(%esp)
  8048496: e8 85 fe ff ff        call   8048320 <printf@plt>
  804849b: c7 44 24 04 05 00 00  movl   $0x5,0x4(%esp)
  80484a2: 00 
  80484a3: 8d 44 24 1c           lea    0x1c(%esp),%eax
  80484a7: 89 04 24              mov    %eax,(%esp)
  80484aa: e8 77 ff ff ff        call   8048426 <mp1>
  80484af: 8b 54 24 1c           mov    0x1c(%esp),%edx
  80484b3: b8 a6 85 04 08        mov    $0x80485a6,%eax
  80484b8: 89 54 24 04           mov    %edx,0x4(%esp)
  80484bc: 89 04 24              mov    %eax,(%esp)
  80484bf: e8 5c fe ff ff        call   8048320 <printf@plt>
  80484c4: b8 00 00 00 00        mov    $0x0,%eax
  80484c9: c9                    leave  
  80484ca: c3                    ret    

L43 0x1c(%esp) 就是 c code 的 char *p=1; L46 會把 *p 也就是 1 push 到 stack。

位址	位址的內容
0x100 p	1
x01000	5
0x1004	1 -> 5
0x1008	return address

call mp() 之後, mp() 修改的是位址 0x1004, 改成 5。對於 main() 的 p 完全沒影響。


L 55, 56 push p address (0x100) 到 stack。

位址	位址的內容
0x100 p	1 -> 5
x01000	5
0x1004	0x100
0x1008	return address

call mp1() 之後, mp1() 修改的是位址 0x100, 改成 5。這就改變了 main() 的 p。

這就是 C 只有 call by value 的說法。

有點難懂的話, 我有個口訣:
「傳入函式要改變變數要傳變數的指標; 要改變指標就要傳指標的指標。」