c语言switch反汇编 c语言switch反汇编的实现

在分支较多的时候，switch的效率比if高，在反汇编中我们即可看到效率高的原因

一、switch语句

1、在正向编码时，switch语句可以看做是if语句的简写

2、break在switch语句的妙用

1、当switch存在3个分支时

当去掉break的时候

二、switch语句的反汇编

1、当switch存在3个分支时

#include<stdio.h>

void Function(int x) {
	switch (x) {
		case 1:
			printf("1");

		case 2:
			printf("2");
		case 3:
			printf("3");
		default:
			printf("4");
	}
}
int main() {
	Function(2);
	return 0;
}

可以看出，此时switch的反汇编代码与if语句无异。
当有四个if语句的时候就会生成大表。

2、当switch语句出现四个分支时，编译器会产生大表

步骤:

1、将传进来的数先减去1，再进行比较。判断出该参数是否超过switch语句中最大常量还，即判断参数是直接进入default中还是进入case中

2、 若参数<=max，则用寄存器保留该值。并代入表达式中，通过大表直接跳到相应的地址
注意

分支少于四个，则switch无意义，编译器会按if…else…语句进行反汇编
case后的常量的顺序不影响大表的生成

将常量值的顺序打乱，观察反汇编代码

正向代码

汇编代码

这里可以看到大表里面都是自己排好序了。

将连续的10项中抹去1项或者2项，观察反汇编有无变化

正向代码是这样的

这里可以看到有几个地址是一样的

可以发现是指向默认的地址。

3、当switch存在多个分支，常量连续性相对不高时

就会生成小表

步骤：

1、将传进来的参数减去最小值，然后跟最大值相比，如果大于的话就跳到默认的地方，不然就用差值去查小表，然后查大表。

补充：当case后的常量差距较大时

编译器按照if…else…进行反汇编