switch语句比对多值的其他条件语句效率更高的原理是什么？

链式else-if的逻辑是从第一个条件开始逐个判断匹配，时间复杂度固定为O(n)（n为判断分支数），而switch-case之所以效率更高，核心是编译器会根据case取值的分布特征，选择更高效的匹配跳转策略，常见的有以下几种：

• 跳转表（Jump Table）
  这是switch-case最经典的优化实现，当所有case的取值为整数、且取值范围连续/接近连续时，编译器会生成一个存储了分支跳转地址的数组，数组下标和case的取值一一对应。运行时直接用switch传入的变量值计算出数组下标，就能直接跳转到对应分支的执行地址，全程不需要做任何值比较，时间复杂度为O(1)。
  举个简单的示例：

  switch (num) {
      case 1: func1(); break;
      case 2: func2(); break;
      case 3: func3(); break;
      case 4: func4(); break;
      default: func_default();
  }
  

  编译器生成的跳转表伪逻辑大致如下：

  // 跳转表下标对应case取值，存储对应分支的代码入口地址
  void* jump_table[] = {&&default_addr, &&case1_addr, &&case2_addr, &&case3_addr, &&case4_addr};
  // 边界处理后直接跳转，无需逐次比较
  goto jump_table[num < 1 || num >4 ? 0 : num];
  

• 二分查找匹配
  如果case取值间隔很大、分布离散，不适合生成跳转表时，编译器会先将所有case值按大小排序，运行时用二分查找定位匹配的分支，时间复杂度为O(logn)。比如case取值为1、100、5000、20000这种差距极大的场景，100个分支也只需要最多7次比较，远优于else-if的最多100次比较。

• 哈希表/前缀树匹配
  部分支持非整数类型作为case值的语言（比如支持字符串case的JavaScript、Go等），针对离散程度很高的case值或者字符串case，编译器会预生成哈希表存储case值到跳转地址的映射，或者针对字符串case构建前缀树做匹配，理想情况下查找效率也能达到O(1)。

需要注意的是，如果分支数量极少（通常2~3个），编译器也可能直接将switch-case优化为和else-if一致的逐次比较逻辑，不会产生额外的调度开销。

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