C++模板constexpr函数优化疑问：switch能否实现编译期分支消除？

我现有如下C++模板函数：

template<const char A> constexpr void TypPrint() {
    switch (A) {
    case 'c':
        std::cout << "some" << std::endl;
        break;
    case 'd':
        std::cout << "out" << std::endl;
        break;
    default:
        std::cout << "nothing" << std::endl;
    }
}

//call in main:
int main() {
    TypePrint<'g'>(); // 注：原代码函数名为TypPrint，此处疑似笔误
}

查看汇编后发现，switch中的模板参数A仍在运行时被判断。我将函数重构为：

constexpr void Switch(char a) {
    switch (a) {
       case 'c':
          std::cout<<"some"<<std::endl;
          break;
       case 'd':
          std::cout<<"some"<<std::endl; // 注：原代码此处输出与case 'c'一致，疑似笔误
          break;
      default:
          std::cout<<"nothing"<<std::endl;
          break;
   }
}
// 在TypPrint中调用Switch

考虑到该函数既是模板又是constexpr，我期望编译器将其优化为仅保留对应打印语句或单函数调用。请问使用switch能否实现该优化需求？

能实现，但需要注意写法和编译优化等级：

1. 原始模板函数的优化问题
   模板参数A是编译期常量，但你看到运行时判断，大概率是没开启足够的优化等级（比如-O2或-O3）。在默认-O0调试模式下，编译器不会做分支消除这类优化，会保留完整的switch逻辑。只要开启-O2及以上优化，编译器能识别A是编译期常量，会直接删除所有无用分支，只保留对应A值的打印代码，汇编里不会有switch跳转指令。

2. 重构后的写法优化可能性
   如果你在TypPrint里调用Switch(A)（传入模板参数A，编译期常量），开启优化后编译器同样会消除Switch内的无用分支，甚至会把Switch函数内联，最终只保留对应分支的打印语句。但这种写法多了一层函数调用的间接性，不过优化后效果和直接在模板内处理分支一致。

3. 更稳妥的强制编译期优化方式
   如果用C20及以上标准，可以把函数改成consteval而非constexpr，consteval会强制函数在编译期执行，这样无论优化等级如何（只要支持C20），都会在编译期确定分支，直接生成对应打印代码，彻底避免运行时判断：

   template<const char A> consteval void TypPrint() {
       switch (A) {
       case 'c':
           std::cout << "some" << std::endl;
           break;
       case 'd':
           std::cout << "out" << std::endl;
           break;
       default:
           std::cout << "nothing" << std::endl;
       }
   }
   

总结：只要开启合适的优化等级，用switch配合编译期常量（模板参数）完全可以实现你要的优化效果；如果想强制编译期处理，C++20的consteval是更可靠的选择。

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