Switch语句的工作原理

Dav*_*lly 6 c assembly switch-statement

switch语句如何立即下降到内存中的正确位置?对于嵌套的if语句,它必须与每个语句进行比较,但是使用switch语句它会直接转到正确的大小写.这是如何实现的?

chq*_*lie 15

switch语句编译为机器代码有许多不同的方法.以下是一些:

  • 编译器可以生成一系列测试,这些测试效率不高,因为只有log 2(N)测试足以在N个可能的情况中调度值.

  • 编译器可以生成一个值表和跳转地址,这些表又将由通用查找代码(线性或二分法,类似于bsearch())使用,最后跳转到相应的位置.

  • 如果案例值足够密集,编译器可以生成一个跳转地址表和代码,用于检查开关值是否在包含所有案例值的范围内,并直接跳转到相应的地址.这可能是最接近您的描述的实现:但是使用switch语句,它直接转到正确的大小写.

根据目标CPU的特定能力,编译器设置以及案例值的数量和分布,编译器可能使用上述方法之一或其他方法,或它们的组合,甚至一些其他方法.

编译器设计人员花费了大量精力来尝试改进这些选择的启发式方法.查看汇编输出或使用Godbolt的Compiler Explorer等在线工具查看各种代码生成的可能性.