《深入理解计算机系统》是一本神书,适合深入学习计算机编程,了解运行原理。
编译器的代码优化, 有时会产生很多问题,如指针的别名和条件选择语句(?:)使用时就容易出现问题。
如 v = test-expr ? then-expr :else-expr; 优化后是vt = then-expr ; v=else-expr; if(test-expr ) v = vt; 这时如果结果表达式会产生副作用则会出现错误
有时权限提升也会是条件表达式语句出现错误。
在代码优化中,指针的使用经常阻扰编译器安全地优化代码。
eg
void f1(int *xp,int *yp)
{
*xp += *yp;
*xp += *yp;
}
vod f2( int * xp, int *yp)
{
*xp = 2 * *yp;
}
也许我们会期望编译器把f1优化为f2,但是编译器不会。f1 和 f2执行的结果并不始终一样, 当xp 和yp指向同一个内存时f1 和 f2 运行的结果不一样。
所以指针的别名问题会阻扰编译器安全地优化代码,也会产生一些意想不到的bug.