C / C ++允许短循环编译器优化

Question

在下面的例子中，是否允许编译器优化掉对foo()和\\或整个if块的调用？

if( foo() && 0 )
    { ... }

Answer 1

从标准的角度来看，编译器必须评估左侧，即必须调用foo() ：

[C99,6.5.13]与按位二进制&运算符不同， &&运算符保证从左到右的评估; 在评估第一个操作数后有一个序列点。 如果第一个操作数比较等于0，则不计算第二个操作数。

但是，因为它知道，身体if语句永远无法达到，那么^*它是免费的，省略任何相应的代码部分。

当然，如果编译器可以证明foo()没有可观察到的副作用，那么它也可以自由地优化该调用。 但这与短路行为没有多大关系。

---

_{*（仅限C ++）假设foo()不返回带有operator&&重载的类型。}

Answer 2

在确定0表示if的语句未执行之前，编译器必须执行foo 。 但是，如果foo是一个非常简单的函数，没有任何副作用（不会改变任何全局状态 - 并且在C和C ++标准中有很长的定义），那么它本身就可以被优化掉。 通常，只有当foo是相同源代码的一部分时才会发生。

Answer 3

等效代码：

int x = (int) foo();
if (x)
    if  (0)
        { ... }

对于任意foo，你能“优化掉”第一行吗？ foo可能是这样的

int foo() {
    printf("x");
    return 0;
}