C++编译期自动生成switch分支调用模板特化的实现方案问询

你可以通过以下两种零开销方案实现需求，编译优化后效率和手动编写的switch完全一致：

方案1：编译期静态跳转表（优先推荐） #

你之前的跳转表方案存在额外开销是因为使用了带类型擦除的std::function，改用原生函数指针生成编译期常量跳转表即可完全消除开销，逻辑和编译器为switch自动生成的跳转表完全等效：

#include <array>
#include <iostream>
#include <utility>
using namespace std;

constexpr int NUM_SPECIALIZATIONS = 32;

template<int num>
void print_num(){}

template<> void print_num<0>(){cout << "Zero" << endl;}
template<> void print_num<1>(){cout << "One" << endl;}
// 其余特化省略
template<> void print_num<31>(){cout << "Thirty-One" << endl;}

// 编译期生成跳转表
constexpr std::array<void(*)(), NUM_SPECIALIZATIONS> build_jump_table()
{
    std::array<void(*)(), NUM_SPECIALIZATIONS> arr{};
    // 用整数序列展开批量赋值
    []<int... Is>(std::integer_sequence<int, Is...>, auto& arr) {
        ((arr[Is] = print_num<Is>), ...);
    }(std::make_integer_sequence<int, NUM_SPECIALIZATIONS>{}, arr);
    return arr;
}

// 全局常量跳转表，编译期完全初始化，存储在只读数据段
constexpr auto jump_table = build_jump_table();

int main()
{
    int my_num;
    cin >> my_num;
    // 调用开销和原生switch完全一致
    jump_table[my_num]();
    return 0;
}

该方案维护成本极低，新增特化仅需修改NUM_SPECIALIZATIONS的数值即可，不需要调整其他逻辑。

方案2：递归模板生成分支逻辑（适合非连续分支场景） #

如果你的分支值不是连续的，需要完全模拟switch的分支匹配逻辑，可以用递归模板实现，开启O2优化后编译器会自动将其优化为等价的跳转表：

template<int Cur = 0>
void dispatch(int num)
{
    if constexpr (Cur < NUM_SPECIALIZATIONS)
    {
        if (num == Cur)
        {
            print_num<Cur>();
        }
        else
        {
            dispatch<Cur + 1>(num);
        }
    }
    // 可在这里添加越界异常处理逻辑
}

// 调用方式
int main()
{
    int my_num;
    cin >> my_num;
    dispatch(my_num);
    return 0;
}

现代编译器（GCC/Clang/MSVC）在O2优化级别下，会完全消除递归开销，生成的汇编代码和手动写的switch没有任何差异。

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