被调用过程 2017-2018-1 学号20155209 《信息安全系统设计基础》第十三周学习总结(7)

比如对于如下数组声明：

指针运算

C语言允许对指针进行运算，而计算出来的值会根据该指针引用的数据类型的大小进行伸缩。也就是说，如果 P 是一个执行类型 T 的数据的指针，P 的值为 xp,那么表达式P+i 的值为 xp+L*i，这里 L 是数据类型T的大小。

假设整型数组 E 的起始地址和整数索引 i 分别存放在寄存器 %edx 和 %ecx 中，下面是每个表达式的汇编代码实现，结果存放在 %eax 中。

上面例子中，leal 指令用来产生地址，而 movl 用来引用存储器（除了第一种和最后一种情况，前者是复制一个地址，后者是复制索引）；最后一个例子说明可以计算同一个数据类型结构中的两个指针之差，结果值是除以数据类型大小后的值。

数组的嵌套

数组的嵌套，也就是数组的数组，比如二维数组 int A[5][3]。这个时候上面所讲的数组的分配和引用也是成立的。

对于数组 int A[5][3]，如下表示：

我们可以将 A 看成是一个有 5 个元素的数组，而每个元素都是 3 个 int 类型的数组。

定长数组和变长数组

要理解定长和变长数组，我们必须搞清楚一个概念，就是说这个“定”和“变”是针对什么来说的。在这里我们说，这两个字是针对编译器来说的，也就是说，如果在编译时数组的长度确定，我们就称为定长数组，反之则称为变长数组。

比如int A[10]，就是一个定长数组，它的长度为10，它的长度在编译时已经确定了，因为长度是一个常量。之前的C编译器不允许在声明数组时，将长度定义为一个变量，而只能是常量，不过当前的C/C++编译器已经开始支持动态数组，但是C++的编译器依然不支持方法参数。另外，C语言还提供了类似malloc和calloc这样的函数动态的分配内存空间，我们可以将返回结果强转为想要的数组类型。

对于如下程序：

int main(){
    int a[5];
    int i,sum;
    for(i = 0 ; i < 5; i++){
        a[i] = i * 3;
    }
    for(i = 0 ; i < 5; i++){
        sum += a[i];
    }
    return sum;
}

汇编之后：

main:
    pushl    %ebp
    movl    %esp, %ebp//到此准备好栈帧
    subl    $32, %esp//分配32个字节的空间
    leal    -20(%ebp), %edx//将帧指针减去20赋给%edx寄存器
    movl    $0, %eax//将%eax设置为0，这里的%eax寄存器是重点
.L2:
    movl    %eax, (%edx)//将0放入帧指针减去20的位置？
    addl    $3, %eax//第一次循环时，%eax为3，对于i来说，%eax=(i+1)*3。
    addl    $4, %edx//将%edx加上4，第一次循环%edx指向帧指针-16的位置
    cmpl    $15, %eax//比较%eax和15？
    jne    .L2//如果不相等的话就回到L2
    movl    -20(%ebp), %eax//下面这五句指令已经出卖了leal指令，很明显从-20到-4，就是数组五个元素存放的地方。下面的就不解释了，直接依次相加然后返回结果。
    addl    -16(%ebp), %eax
    addl    -12(%ebp), %eax
    addl    -8(%ebp), %eax
    addl    -4(%ebp), %eax
    leave
    ret

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/tongxinshuyu/article-54154-7.html