如何使用__builtin_expect标记switch语句中多个case分支为大概率路径？

__builtin_expect本身只能为单个值标记预期执行概率，没法直接给switch语句指定多个高频case分支。不过有几种替代方案可以实现类似优化效果：

• 手动拆分switch，用__builtin_expect标记高频组
  把所有高频case归为一个逻辑组，先用__builtin_expect判断输入是否属于这个组，再在组内处理分支。编译器会针对这个判断优化分支预测，间接提升高频case的执行效率。示例代码：

  #include <stdio.h>
  
  void f(int ch) {
      // 标记ch为42或333的概率更高
      if (__builtin_expect((ch == 42 || ch == 333), 1)) {
          switch(ch) {
              case 42: puts("e"); break;
              case 333: puts("i"); break;
          }
      } else {
          switch(ch) {
              case 3: puts("a"); break;
          }
      }
  }
  

• 使用GCC的剖面引导优化（PGO）
  这是效果最好也最省心的方式：编译时添加-fprofile-generate参数生成带 profiling 的可执行文件，运行一次覆盖典型业务场景收集真实分支频率数据，再用-fprofile-use参数重新编译。编译器会根据实际运行数据自动优化多个高频case的执行路径，无需手动标记。

• 调整case顺序
  把高频case放在switch的最前面。GCC对switch的实现（比如跳转表、二叉分支树）会优先处理靠前的分支，能让高频路径的跳转逻辑更高效，这是最简单的无侵入式优化手段。

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