是的,编译器允许优化掉在短路逻辑中被间接使用的函数调用。具体地说,当在逻辑或操作(||)或逻辑与操作(&&)中的一个表达式已经确定了结果时,编译器不需要再计算另一个表达式的结果。以下是一个示例:
#include
int foo() {
printf("foo called.\n");
return 1;
}
int bar() {
printf("bar called.\n");
return 0;
}
int main() {
int a = 0;
int b = 0;
a = foo() || bar(); // 短路逻辑运算
printf("a = %d\n", a);
b = bar() && foo(); // 短路逻辑运算
printf("b = %d\n", b);
return 0;
}
// 输出:
// foo called.
// a = 1
// bar called.
// b = 0
在上面的示例中,当使用'||”逻辑运算时,编译器将省略调用bar()函数的代码,因为第一个表达式的结果已经为真。同样地,当使用'&&”逻辑运算时,编译器将省略调用foo()函数的代码,因为第一个表达式的结果已经为假。