8.9 本章小结
由于数组的本质是同类元素的集合,各元素在内存中顺序排列,因此类型为type的数组ary第n个元素的地址可以表达为:&ary[n]=ary的首地址+sizeof(type)*n,编译器在此基础上开展各类优化。读者需理解这个公式,然后在阅读源码的时候看到等价于这个公式的行为就可以确定是数组访问。在数组元素的访问代码被编译器优化后,可能会直接看到[ebp-n]这样的访问,虽然在开始分析时这样的情况只能定性为局部变量,但是如果后来发现这类变量在内存中连续,而且类型一致,就可以考虑还原为数组,这样更方便。