c++反汇编学习笔记----------3.流程控制

本文链接：https://blog.youkuaiyun.com/sinianluoye/article/details/48595337

本文详细介绍了C++中的流程控制语句如条件表达式、If-else、switch、do-while、while和for在编译器优化下的表现。在不同情况下，编译器会采用不同的策略，如通过设置指令优化条件表达式，将switch转换为if-else或利用索引表，以及在release模式下将循环优化为do-while形式以提高效率。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

一、条件表达式：表达式1?表达式2:表达式3
1. 当表达式1为等值比较，表达式2和3都为常数/可以优化为常数且差值为1时，编译器会通过setne指令进行平衡
2. 当表达式1为等值比较，表达式2和3都为常数/可以优化为常数且差值大于1时，编译器会通过下面的指令进行
sub reg,A
neg reg
sbb reg,reg
and reg,B
add reg,C
这时可还原为高级代码 reg==A ? C : B+C;
3. 当表达式1为区间比较，表达式2和3都为常数/可以优化为常数时先通过1中的（类似的）方式，然后通过
and reg,A
add reg,B
这样的代码进行计算，可还原为
表达式1?B+A:B
4. 当表达式2和3的值都未知时无法进行优化，会通过cmp和jxx 指令进行比较判断
二、 If-else语句
1. 单独if语句执行的通过相反的判断和jxx 进行跳转的
2. If-else语句通过
cmp
jxx label1
••••••;//if中的内容
label1:
jmp label2
……;//else 中的内容
label2:
;//其他代码
这样的结构进行，但是当使用O2优化时会按条件表达式的方式进行流水线优化。
3. if-else的多分支的形式与单独的if-else很相似，只是jmp会直接跳到所有else的末尾
三、 switch
1. 当case的数量小于等于3时编译器会将其转成if-else语句，只不过没了jmp
2. 当case的标号是一个有序的序列时编译器会将其首地址存到数组&