妨碍编译器优化的因素

编译器会对程序进行优化，这种优化是安全的优化，即对于所有可能的情况，优化后的程序和未优化的程序具有相同的行为。两种因素会妨碍编译器对程序的优化。

1. 存储器别名使用

void twiddle1(int *xp, int *yp)
{
    *xp += *yp;
    *xp += *yp;
}

void twiddle2(int *xp, int *yp)
{
    *xp += 2* *yp;
}

函数twiddle1需要6次存储器引用，而函数twiddle1只需要3次，函数twiddle2效率更高一点。

这两个函数似乎具有相同的行为，但其实不是的。当指针xp和指针yp指向不同的地址时，这两个函数具有相同的行为，但当xp指针和yp指针指向相同的地址时，两者的行为不一样，编译器必须考虑这种情况，因而不能将函数twiddle2优化成函数twiddle1。

2. 函数的调用

int f();

int func1(){
    return f() + f() + f() + f();
}

int func2(){
    return 4*f();
}

函数func1调用4次函数f，而函数func2只调用1次函数f，因而函数func2效率更高。

同样，这两个函数似乎具有相同的行为，但其实不是的。当函数f会改变一些全局参数时，函数func1会改变4次，而函数func2只改变1次。因而也不能将函数func1优化成函数func2。