《深入理解计算机系统》之代码优化

本文探讨了编译器优化过程中可能出现的问题,特别是针对指针别名和条件表达式所产生的副作用。通过具体示例说明了为什么某些看似合理的优化实际上可能会导致程序行为的变化。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

《深入理解计算机系统》是一本神书,适合深入学习计算机编程,了解运行原理。

编译器的代码优化, 有时会产生很多问题,如指针的别名和条件选择语句(?:)使用时就容易出现问题。

如 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.

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值