为什么某些布尔表达式生成的汇编程序包含条件跳转？
Why the generated assembler of certain boolean expressions contains a conditional jump?
考虑这段代码：
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() select 之间的某个布尔结果基于布尔输入 cond res_true(),res_false()。
我知道现在的 C++ 编译器非常聪明，但我通常倾向于使用 test1() 形式——尽管可读性较差——因为我天真地认为在那种情况下只有逻辑布尔运算，没有条件跳转;他们很糟糕，对吧？
好吧，今天我在 compiler explorer 中尝试了这一点，发现两个函数生成的输出非常相似：test1() 包含一个条件跳转（ 此外，取决于编译器和启用的优化， test1() 生成的汇编器可能比 test2() 生成的汇编器差），这是为什么？
这是因为默认的 c++ 布尔运算符 || 和 && 是短路的（保证从左到右求值），因此逻辑表达式可能会也可能不会被完全求值，具体取决于关于他的子表达式的结果。
例如：
f() || g()
如果 f() 是 true，f() 将首先被调用，g() 将不会被调用；同样在：
f() && g()
如果 f() 是 false，则不会调用 g()，因此生成的汇编程序必须包含条件跳转以确保使表达式短路。
考虑这段代码：
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() select 之间的某个布尔结果基于布尔输入 cond res_true(),res_false()。
我知道现在的 C++ 编译器非常聪明，但我通常倾向于使用 test1() 形式——尽管可读性较差——因为我天真地认为在那种情况下只有逻辑布尔运算，没有条件跳转;他们很糟糕，对吧？
好吧，今天我在 compiler explorer 中尝试了这一点，发现两个函数生成的输出非常相似：test1() 包含一个条件跳转（ 此外，取决于编译器和启用的优化， test1() 生成的汇编器可能比 test2() 生成的汇编器差），这是为什么？
这是因为默认的 c++ 布尔运算符 || 和 && 是短路的（保证从左到右求值），因此逻辑表达式可能会也可能不会被完全求值，具体取决于关于他的子表达式的结果。
例如：
f() || g()
f() 是 true，f() 将首先被调用，g() 将不会被调用；同样在：
f() && g()
f() 是 false，则不会调用 g()，因此生成的汇编程序必须包含条件跳转以确保使表达式短路。