数组形参

《C专家编程》一书中的216页有一个很有意思的示例。它形象的展示了数组形参在函数内部是如何作为指针来使用的。

为了简单，稍微简化了一下：

#include <stdio.h>

int    ga[10];

void array_fun(int a[])
{
    a[0] = 1;
    printf("&a = %#x\n", &a);
    printf("&a[0] = %#x\n", &a[0]);
}


int main()
{
    printf("&ga = %#x\n", &ga);
    printf("&ga[0] = %#x\n", &ga[0]);
    array_fun(ga);
    
    return 0;
}

输出结果如下：

&ga = 0x4394b0
&ga[0] = 0x4394b0
&a = 0x12ff30
&a[0] = 0x4394b0

为了更好的理解数组形参，下面给出汇编代码(VC 6.0下)：

7:        a[0] = 1;
00402878   mov         eax,dword ptr [ebp+8]
0040287B   mov         dword ptr [eax],1
8:        printf("&a = %#x\n", &a);
00402881   lea         ecx,[ebp+8]   #实参在栈中的位置(实参本身的内存地址)-->ecx
00402884   push        ecx
00402885   push        offset string "&a = %#x\n" (00432038)
0040288A   call        printf (00404910)
0040288F   add         esp,8
9:        printf("&a[0] = %#x\n", &a[0]);
00402892   mov         edx,dword ptr [ebp+8]  #实参的内容(数组的地址) -->edx,(注意实参本身的地址(通过lea指令获取)与数组地址的差别)
00402895   push        edx
00402896   push        offset string "&a[0] = %#x\n" (00432028)
0040289B   call        printf (00404910)
004028A0   add         esp,8

结论：

对数组形参本身取地址，即 &a，则相当于LEA R, [ebp+8]   (R表示寄存器)，本质上相当于求参数本身的地址；

而对数组形参的元素取地址，即 &a[n]，则相当于MOV R,[ebp+8+n*scale]，尽管，这是C的语法，但是不能不看到LEA与MOV的精妙与区别所在。

指针(*)，则相当于寄存器间接寻址的MOV；取址(&)，则相当于寄存器间接寻址的LEA，如是而已——闲着没事，乱谈一番。