1、指针别名

(1)当两个指针指向同一个对象时,这两个指针被称作该对象的别名

(2)编译器的特点

①编译器是悲观的

②编译器不知道指针是否是别名

2、例:对两个定时器进行步进累加

void timers_v1(int *timer1,int *timer2, int *step)

{

        *timer1 += *step;

        *timer2 += *step;

}

上述代码的汇编代码为:

timers_v1.s

        LDR r3,[r0,#0]        ;r3=*timer1

LDR r12,[r2,#0]

        ADD r3,r3,r12        ;r3+=r12

        STR   r3,[r0,#0]        ;*timer1=r3

        LDR r0,[r1,#0]        ;r0=*timer2

LDR r2,[r2,#0] 

        ADD r0,r0,r12        ;r0+=r12

        STR   r0,[r1,#0]        ;*timer2=r0

        MOV pc,r14               ;return 

*step变量加载了两次

3、思考:采用什么办法可以避免读两次内存?

4、代码改进:增加局部变量,缓存*step的值,使用临时变量进行后续的运算。

void timers_v2(int *timer1,int *timer2, int *step)

{

        int step = *step;

        *timer1 += step ;

        *timer2 += step;

}