指针为什么比下标快

一直都有这种说法，用指针遍历数组比用下标快。很多人知其然而不知其所以然，有时也会有人勇敢的怀疑。其实，只要学过汇编的人就知道，用指针遍历比用下标快其实是跟寻址方式有关系。啥都不说了，直接上代码。

#define SIZE 200void test1(int);void test2(int);void test3(int);void a(){int a[SIZE];int i=0;for(; i < SIZE; i++){test1(a[i]);/*test2(a[i]); *test3(a[i]); */}}void b(){int a[SIZE];int *p = a;int *pend = a+SIZE; for(; p != pend; p++){test1(*p);/*test2(*p); *test3(*p); */}} 

用GCC -O2 -S 编译后得到如下代码：

_a:pushl%ebpmovl%esp, %ebppushl%ebxsubl$820, %espxorl%ebx, %ebx.p2align 4,,15L5: // 函数a中的for循环开始 这里实际上被优化为do……while循环movl-808(%ebp,%ebx,4), %eax // 把a[i]的值放到寄存器%eax中 [color=#FF0000]MARK[/color]incl%ebx // i++;movl%eax, (%esp) // 把a[i]当作参数压入栈call_test1 // 调用函数test1cmpl$199, %ebx // 比较i 和 199jleL5 // 如果比较结果是否小于等于等于跳回L5addl$820, %esppopl%ebxpopl%ebpret.p2align 4,,15.globl _b.def_b;.scl2;.type32;.endef_b:pushl%ebpmovl%esp, %ebppushl%esileal-8(%ebp), %esipushl%ebxsubl$816, %espleal-808(%ebp), %ebx.p2align 4,,15L13: // 函数b 中的for循环开始 这里同样被优化为do……while循环movl(%ebx), %eax // 把指针p指向的值放到寄存器%eax中 [color=#FF0000]MARK[/color]addl$4, %ebx // 指针p 加4 (4 == sizeof(int) )movl%eax, (%esp) // 把指针p指向的值压入栈call_test1 // 调用函数test1cmpl%esi, %ebx // 比较指针p 和pendjneL13 // 如果不相等则返回L13(继续循环)addl$816, %esppopl%ebxpopl%esipopl%ebpret 

 

 

注意标MARK的两行，“用指针比用下标快”的关键就在于此。这是两种不同的寻址方式，下面这种快于上面的。

 

两种不同寻址方式带来的性能差异，真的真的是太微不足道了……