如何解决为什么某些布尔表达式的生成汇编器包含条件跳转?
考虑这个代码:
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
,因此生成的汇编程序必须包含条件跳转以确保短路表达式。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。