Question

template <int N>
struct Factorial {
    enum { value = N * Factorial<N - 1>::value };
};

template <>
struct Factorial<0> {
    enum { value = 1 };
};


const int x = Factorial<4>::value; // == 24
const int y = Factorial<0>::value; // == 1

在预编译之后，如果我们能够神奇地看到编译器产生了什么，我们实际上会看到：

const int x = 24;
const int y = 1;

我们会看到struct Factorial的实际定义，其中有多个？如果是这样，他们会怎么样？我正试着围绕元编程过程的这一部分。

Answer 1

在此代码上使用g++ -fdump-tree-original，我看到以下结果，对于这种情况似乎证实了您的怀疑：

;; Function int main() (null)
;; enabled by -tree-original



{
  const int x = 24;
  const int y = 1;

  <<cleanup_point   const int x = 24;>>;
  <<cleanup_point   const int y = 1;>>;
}
return <retval> = 0;

这个模板创建的实际源代码是什么样的？

1 个答案: