C++如何无需宏实现运行时值到模板参数的自动模板实例化？

我负责的代码库为了优化性能，大量使用bool或enum类型的模板参数结合if constexpr做分支处理，确保百万级数据的紧凑循环里只保留必要代码。示例代码如下：

template<bool use_filter> void foo(Items& items) {
  if constexpr (use_filter) {
     if (!filter(items)) return;
  }
  process(items);
}

实际函数逻辑更复杂，但核心用法和上述示例一致。现在的问题是，调用这类模板函数时必须写大量分支代码：

if (query.use_filter()) {
  foo<true>(items);
} else {
  foo<false>(items);
}

当存在多个模板参数时，这类分支代码会变得异常繁琐。我希望能直接写foo<query.use_filter()>(items)，让C++自动将运行时值转换为模板参数并生成对应分支。已知宏可以实现类似功能，但不想用宏，请问是否可行？

当然可以不用宏实现，以下是几种实用的方法：

1. 单布尔参数的编译时分发 #

针对单个bool类型的模板参数，可以写一个通用的分发函数，把运行时布尔值映射到对应的模板实例：

template<typename Func>
void dispatch_bool(bool value, Func&& func) {
  if (value) {
    std::forward<Func>(func).template operator()<true>();
  } else {
    std::forward<Func>(func).template operator()<false>();
  }
}

调用时通过lambda捕获所需参数，lambda的auto参数会被推导为编译时常量：

dispatch_bool(query.use_filter(), [&](auto use_filter) {
  foo<use_filter>(items);
});

2. 多参数场景的扩展 #

如果有多个bool或枚举类型的模板参数，可以嵌套分发逻辑，或者用打包参数的方式处理。比如两个bool参数的情况：

template<typename Func>
void dispatch_two_bools(bool val1, bool val2, Func&& func) {
  if (val1) {
    val2 ? std::forward<Func>(func).template operator()<true, true>()
         : std::forward<Func>(func).template operator()<true, false>();
  } else {
    val2 ? std::forward<Func>(func).template operator()<false, true>()
         : std::forward<Func>(func).template operator()<false, false>();
  }
}

调用方式同样简洁：

dispatch_two_bools(query.use_filter(), query.use_cache(), [&](auto use_filter, auto use_cache) {
  bar<use_filter, use_cache>(items);
});

这种写法比手动写嵌套if-else更整洁，且完全避免了宏的使用。

3. C++20+：枚举类型的variant分发 #

如果模板参数是枚举类型，可结合std::variant和std::visit实现自动分发：

// 示例枚举类型
enum class FilterType { None, Basic, Advanced };

// 带枚举模板参数的目标函数
template<FilterType T> void foo(Items& items) { /* 具体逻辑 */ }

// 生成包含所有枚举编译时标签的variant类型
using FilterTagVariant = std::variant<
    std::integral_constant<FilterType, FilterType::None>,
    std::integral_constant<FilterType, FilterType::Basic>,
    std::integral_constant<FilterType, FilterType::Advanced>
>;

// 将运行时枚举值转换为对应的编译时标签variant
FilterTagVariant get_filter_tag(FilterType runtime_val) {
  switch(runtime_val) {
    case FilterType::None: return std::integral_constant<FilterType, FilterType::None>{};
    case FilterType::Basic: return std::integral_constant<FilterType, FilterType::Basic>{};
    case FilterType::Advanced: return std::integral_constant<FilterType, FilterType::Advanced>{};
  }
}

// 调用示例
std::visit([&](auto tag) {
  foo<tag.value>(items);
}, get_filter_tag(query.get_filter_type()));

新增枚举值时，只需在FilterTagVariant和转换函数中添加对应项即可，扩展性良好。

核心逻辑 #

这些方法本质都是提前编译出所有可能的模板实例分支，再通过运行时条件判断跳转到对应分支，和手动编写if-else分支的效果完全一致，但代码更简洁、可维护性更高，且完全无需依赖宏。

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