指针为什么比下标快

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

#define SIZE 200 void 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 %ebp movl %esp, %ebp pushl %ebx subl $820, %esp xorl %ebx, %ebx .p2align 4,,15 L5: // 函数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 // 调用函数test1 cmpl $199, %ebx // 比较i 和 199 jle L5 // 如果比较结果是否小于等于等于跳回L5 addl $820, %esp popl %ebx popl %ebp ret .p2align 4,,15 .globl _b .def _b; .scl 2; .type 32; .endef _b: pushl %ebp movl %esp, %ebp pushl %esi leal -8(%ebp), %esi pushl %ebx subl $816, %esp leal -808(%ebp), %ebx .p2align 4,,15 L13: // 函数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 // 调用函数test1 cmpl %esi, %ebx // 比较指针p 和pend jne L13 // 如果不相等则返回L13(继续循环) addl $816, %esp popl %ebx popl %esi popl %ebp ret 

 

 

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

 

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