C++ 模板阶乘计算

Question

假设我有这段代码:

template <int n>
class Factorial
{
    public:
        static const int f = Factorial<n-1>::f*n;
};
template<>
class Factorial<0>
{
    public:
        static const int f =1;
};

这是一个用于计算阶乘的模板。它应该在编译时计算。在编译时通过模板执行计算通常是否合理(特别是:更快)？附言抱歉，如果之前有人问过并回答过这个问题，我搜索了这个特定的问题，但只找到了类似的问题。

Answer 1

如果您可以在编译时计算一些东西，您应该这样做，除非这会使您的代码变得非常复杂。通常，编译器会在编译时为您计算常量子表达式。但是，您显示的计算是不同的，因为它使用模板作为 Turing-complete programming system .

这个特定的模板旨在提供一个简单的演示，说明如何在编译时计算某些东西。该程序看起来非常像 Prolog 程序:它由一个简单的基本案例和一个递归归约步骤组成。这类程序的问题在于它们非常难以理解。尽管在某些情况下编译时计算可以帮助您构建可靠的软件，但这些方法的适用性受到限制，因为它们会产生重大的维护责任。