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

Convert C++ to Template Meta program

本文关键字:程序 C++ 转换      更新时间:2023-10-16

是否可以编写简单的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,但我想使用模板)

我们无法证明世界上没有工具可以做到这一点,但是对于那些简单到可以通过 IDE 中的"代码片段"轻松解决的情况,编写这样的工具将非常困难。

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