将C ++转换为模板元程序

时间:2016-04-28 01:10:52

标签: c++ templates template-meta-programming

是否可以编写简单的c ++函数(或任何其他语言),然后将其转换为模板元函数(使用某种转换器工具)。

例如以下内容:

int GetGreatest(int a, int b){
  if (a > b)
    return a;
  return b;
}

并将其转换为:

template<int a,int b>
struct GetGreatest{
  static int value = a > b ? a : b;
};

是否存在模板元函数转换器的任何c ++函数,还是我应该勇敢地面对元编程的世界? (是的,我知道我可以使用constexpr,但我想使用模板)

1 个答案:

答案 0 :(得分:2)

我们无法证明世界上没有工具可以做到这一点,但是为超出那些简单的案例编写这样的工具将非常困难,以至于它们很容易通过&#34;代码解决片段&#34;在IDE中。

如果我们想构建这样一个工具,我们可以使用Clang(或旧的GCC-XML)来解析运行时C ++函数,然后尝试编译&#34;它成为模板元程序。然而,TMP更多的是艺术而不是科学,编写这个编译器会有相当多的工作,因为TMP作者使用了所有技巧(有些非常讨厌和非显而易见)。