C++中将运行时布尔值作为constexpr参数调用模板函数的解决方案

核心思路是把N个运行时布尔值编码为0~2^N-1的整数索引，再通过编译期生成的跳转表直接调用对应模板实例，完全避免手动编写分支。

实现代码（C++20及以上） #

#include <utility>
#include <array>
#include <cstddef>

// 通用分发器：第一个模板参数是你要调用的目标模板函数，后面依次传入运行时布尔、函数实参
template<template<bool...> class TargetFunc, typename... Args>
decltype(auto) dispatch(bool... bs, Args&&... args) {
    constexpr size_t BOOL_NUM = sizeof...(bs);
    // 步骤1：运行时把多个布尔编码为整数索引
    size_t idx = 0;
    size_t bit_pos = 0;
    ((idx |= static_cast<size_t>(bs) << bit_pos++), ...);

    // 步骤2：编译期生成所有2^BOOL_NUM个模板实例的跳转表
    static constexpr auto jump_table = []<size_t... Idxs>(std::index_sequence<Idxs...>) {
        return std::array{
            +[](Args&&... inner_args) -> decltype(auto) {
                // 把整数索引的每一位拆成bool模板参数，调用目标函数
                return []<size_t... Bits>(std::index_sequence<Bits...>, Args&&... inner_args) -> decltype(auto) {
                    return TargetFunc<static_cast<bool>((Idxs >> Bits) & 1)...>(std::forward<Args>(inner_args)...);
                }(std::make_index_sequence<BOOL_NUM>{}, std::forward<Args>(inner_args)...);
            }...
        };
    }(std::make_index_sequence<1 << BOOL_NUM>{});

    // 步骤3：通过索引直接调用对应实例
    return jump_table[idx](std::forward<Args>(args)...);
}

使用示例 #

假设你原来的模板函数是：

template<bool b1, bool b2, bool b3, bool b4>
void templateFunc(int a, int b) {
    // 你的业务逻辑，无分支
}

调用时直接写：

bool b1, b2, b3, b4; // 任意运行时布尔值
int arg1 = 10, arg2 = 20;
dispatch<templateFunc>(b1, b2, b3, b4, arg1, arg2);

注意事项 #

• 布尔数量不要过大，N≤8时仅生成256个模板实例，二进制体积增加完全可控，N≤10的1024个实例也可接受，更大的N建议先评估体积开销。
• 运行时仅产生一次索引计算和一次间接调用，开销远低于分支预测失败的损耗，完全符合性能优化需求。
• 如果使用C++17版本，只需要把代码中的模板lambda替换为对应的辅助模板函数即可，逻辑完全一致。

内容的提问来源于stack exchange，提问作者vamirio-chan