指针数组的机器级说明

指针数组是由若干指向同类目标的指针变量形成的数组成为指针数组。

例如，int *a[10]; 定义了一个指针数组a，它有 10 个指向 int 型数据的指针，这个指针数组可以实现一个二维数组。

根据下面这个程序来具体看看再机器级中的表示

int main(){
    static short num[][4] = { {2,9,-1,5}, {3,8,2,-6} };
    static short *pn[] = {num[0],num[1]};
    static short s[2]= {0,0};
    int i, j;
    for(i=0;i<2;i++){
        for(j=0;j<4;j++)
            s[i]+=*pn[i]++;
        printf("sum of line %d:%d\n",i+1,s[i]);
    }
}   

若 num=0x8049300，则 num 、pn 和 s 再存储区中如何存放呢？

08049300 :        num=num[0]=&num[0][0]=0x8049300

08049300 : 02 00  09 00  ff ff  05 00  03 00  08 00  02 00  fa ff      num 中的数据的首地址在08049300 ， 以行优先方式存放数组元素，且以小段法进行存储

 

08049310 :          pn=&pn[0]=0x8049310

08049310 : 00 93 04 08  08 93 04 08     前面是 0x08049300 （即num[0]），后是 0x08049308 （即num[1]）

当 i=1 时，pn[i] = *(pn+1) = M[pn+4*1] 

 

08049318 :     存放num 中每行的相加结果

08049318 : 00 00  00 00

若处理 s[i]+=*pn[i]++; 时，i 在 ECX 中，s[i] 在AX 中，pn[i] 在EDX 中，则对应的指令序列可以是什么？

就四步： 取 pn[i] 的地址 --> 取 pn[i] 中的内容放在 EDX 中 --> 相加，结果放在 AX 中 --> p[n]++

movl pn(,%ecx,4), %edx     求地址（pn+i*4)，并将地址中的值放在 edx 中
addw (%edx), %ax           相加
addl $2, pn(,%ecx,4)       怕 pn[i]++,所加内容和目标数据有关，这里pn 指向 short ，所以加 2