编译器会对程序进行优化,这种优化是安全的优化,即对于所有可能的情况,优化后的程序和未优化的程序具有相同的行为。两种因素会妨碍编译器对程序的优化。
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。