非连续有序case后加连续值对switch优化的影响及性能疑问

场景说明 #

基于GCC编译器、Intel平台、无优化的默认理论环境，现有switch语句包含10至20个非连续但有序的随机case值（如1、5、16等），后续存在10至20个可自定义的带符号整数宏（可设置为1000或32000等），提出以下疑问：

代码示例 #

switch (x) {
    case 1:
        // stuff
        break; 

    case 5:
        // stuff
        break;

    case 16:
        // stuff
        break;

    case 32000:
        // stuff
        break;

    case 32001:
        // stuff
        break;

    case 32002:
        // stuff
        break;

    default:
        break;
}

疑问解答 #

1. 若前序case已有序但非连续，将自定义值设为连续有序是否仍有助于优化？ #

在无优化的默认环境下，GCC对switch的处理虽不会做全局复杂优化，但会识别局部连续的case区间。将后续自定义值设为连续有序后，编译器可把这部分连续case合并成范围判断逻辑（比如if (x >= START && x <= END)），再统一跳转到对应的代码块，相比每个case单独生成比较+跳转指令，能减少分支指令的数量，理论上可小幅提升执行效率。这种优化不受前序非连续case的影响，因为编译器会单独处理局部连续的区间。

2. 使用较小数值（如1000对比32000）是否会在理论上影响性能？ #

在Intel平台+无优化GCC环境下，数值大小本身不会直接影响性能。CPU处理整数比较（如cmp指令）、跳转的耗时与数值绝对值无关——1000和32000都是32位带符号整数，执行相关指令的周期完全一致。

无优化默认设置下，GCC不会主动生成跳转表（跳转表的生成通常需要开启-O1及以上优化），而是采用条件分支序列，因此数值范围大小也不会间接影响代码结构。综上，使用1000或32000这类不同大小的数值，在理论上不存在性能差异。

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