为什么某些布尔表达式的生成汇编器包含条件跳转？

问题描述

考虑这个代码：

bool res_true();
bool res_false();

bool test1(const bool cond)
{
    return (cond && res_true()) || (!cond && res_false());
}

bool test2(const bool cond)
{
    return cond ? res_true() : res_false();
}

test1() 和 test2() 都基于布尔输入 res_true(),res_false() 选择 cond 之间的某个布尔结果。 我知道现在的 c++ 编译器可能非常聪明，但我通常倾向于使用 test1() 形式 - 尽管可读性较差 - 因为我天真地认为在那种情况下只有逻辑布尔运算，没有条件跳转;他们很坏，对吧？ 好吧，今天我在 compiler explorer 中尝试了它，发现两个函数的生成输出非常相似：test1() 包含条件跳转（此外，取决于编译器和启用的优化，生成的汇编程序test1() 的可能比 test2()) 的差，这是为什么呢？

解决方法

那是因为默认的 c++ 布尔运算符 || 和 && 是短路的（保证从左到右求值），因此逻辑表达式可能会也可能不会完全求值，具体取决于他的子表达式的结果。 例如在：

f() || g()

f() 将首先被调用，如果 g() 是 f()，则不会调用 true；同样在：

f() && g()

如果 g() 为 f()，则不会调用

false，因此生成的汇编程序必须包含条件跳转以确保短路表达式。