switch-case语句的执行时间是否会随输入值的不同而发生变化？

核心结论 #

switch语句的执行耗时是否和case位置相关，完全取决于编译器的实现策略，C语言标准没有强制要求switch的匹配逻辑，不同优化等级下行为可能完全不同。

常见的三种switch实现方式 #

• 跳转表实现：当case值的分布区间比较小（哪怕不是连续的，只要整体区间跨度不大），编译器会生成一个跳转地址表，会先对输入值做范围校验，不在范围内直接跳转到default，在范围内的话直接通过输入值计算出对应的跳转表下标，一次跳转就到对应case块。这种实现下，不管匹配的是第几个case，执行耗时完全一致，是绝大多数优化场景下编译器的首选实现。
• 二分查找匹配：如果case值分布比较分散，但是case数量比较多，编译器会将所有case值排序后用二分查找的方式匹配，耗时是对数级别的，和case的排列顺序没有线性关系，排在最后的case也不会比最前面的慢多少。
• 顺序比对实现：只有当case数量非常少（一般少于5个），或者编译时关闭了所有优化的Debug模式下，编译器才会生成按代码顺序挨个比对case值的逻辑，这种情况下排在后面的case确实需要更多的比对次数，耗时更长。

示例代码实际表现 #

示例代码 #

int output, input = 256;
switch( input )
{   
    case 1:
        output = 1;
        break;
    case 2:
        output = 2;
        break;
    case 4:
        output = 3;
        break;
    case 8:
        output = 4;
        break;
    case 16:
        output = 5;
        break;
    case 32:
        output = 6;
        break;
    case 64:
        output = 7;
        break;
    case 128:
        output = 8;
        break;
    case 256:
        output = 9;
        break;
    default:
        output = 0;
        break;
}

不同场景下的耗时情况 #

1. 开启O1及以上优化（主流Release编译场景）
   主流的GCC、Clang、MSVC编译器都会识别到这个switch的逻辑本质是「输入为2的n次幂时输出n+1，否则输出0」，会直接将整个switch替换为位运算操作，不需要任何匹配流程，输入1和输入256的执行耗时完全相同。
   就算编译器没有识别到这个逻辑模式，也会生成跳转表或者二分查找逻辑，两者耗时依然没有明显差异。
2. 关闭优化的Debug编译场景
   编译器会严格按照代码顺序生成逐个比对的指令，输入1只需要1次比对就能匹配到对应case，输入256需要9次比对才能匹配，这种场景下输入256的执行速度确实会更慢。

内容的提问来源于stack exchange，提问作者lucenzo97