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

大佬教程收集整理的这篇文章主要介绍了为什么某些布尔表达式的生成汇编器包含条件跳转？，大佬教程大佬觉得挺不错的，现在分享给大家，也给大家做个参考。

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

开发过程中遇到为什么某些布尔表达式的生成汇编器包含条件跳转？的问题如何解决？下面主要结合日常开发的经验，给出你关于为什么某些布尔表达式的生成汇编器包含条件跳转？的解决方法建议，希望对你解决为什么某些布尔表达式的生成汇编器包含条件跳转？有所启发或帮助；

考虑这个代码：

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();
}
@H_419_5@
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，因此生成的汇编程序必须包含条件跳转以确保短路表达式。
      
 


 
 
      

大佬总结

以上是大佬教程为你收集整理的为什么某些布尔表达式的生成汇编器包含条件跳转？全部内容，希望文章能够帮你解决为什么某些布尔表达式的生成汇编器包含条件跳转？所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错，欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供，作为学习参考使用，版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ：384754419，请注明来意。