是否可以使用 C++ 模板来控制代码生成？

Question

可以使用 C++ 模板来控制代码生成吗？

类似于（伪代码...）

template<int i, int j> void f() {
#if i > j
#define
  //code...
#else
  //code...
#endif
}

（我开始使用模板，但我想知道它们有多强大）。

谢谢！

Answer 1

像这样的元编程通常结合特化和重载来完成。在您的情况下，标签分派（将值转换为类型）是一个可行的解决方案：

#include <type_traits>

void f_impl(std::true_type) { /* ... */ }
void f_impl(std::false_type) { /* ... */ }

template <int i, int j> void f() {
  f_impl(std::integral_constant<bool, (i > j)>());
}