固定值的模板特化

Question

我是 C++ 模板的初学者。我正在尝试使用模板计算阶乘并附上下面的代码。我想使用模板专业化替换 if(t==0) 部分，但直到现在我还没有这样做。请帮忙
#include

    template <class T>
    class Factorial
    {   
        public:
            T factorial(T t)
            {   
                if(t==0)
                    return 1;
                fact[t] = t*factorial(t-1);
                std::cout<<"t and fact[t] "<<t<<", "<<fact[t]<<std::endl;
                return fact[t];
            }

            void Print(T t)
            {   
                std::cout<<"fact["<<t<<"] = "<<fact[t]<<std::endl;
            }

        private:
            T fact[100];
    };

    /*
    std::constexpr bool isZero(int x)
    {
        if(x==0)
            return true;
    }
    */

    template<>
    class Factorial<0>
    {
        public:
            int factorial(int x)
            {   
                return 1;

        }

            void Print(int t)
            {
                std::cout<<"special fact["<<t<<"] = "<<1<<std::endl;
            }
    };
    int main()
    {
        Factorial<int> fact;
        fact.factorial(5);
        fact.Print(4);

        return 0;
    }

Answer 1

首先，您的专业化是错误的：您不能将模板专业化到需要具有值的类型的参数上。您可以在类型上专门化您的 Factorial class 模板。例如，您可以专攻

template <>
class Factorial<int> {
    ...
};

如果您想将模板专门用于某个值，则需要使主模板根据值进行移动，例如：

template <int N>
class Factorial { // primary template
    ...
};
template <>
class Factorial<0> { // specialization
    ...
};

接下来，您的计算实际上是运行次计算，您不能让编译器将运行次值的处理分派到模板特化。如果您真的想做那样的事情，您需要以编程方式进行。也就是说，一旦进入函数内部，您将无法让编译器将函数参数分派给模板特化。如果你想让编译器分派到模板特化，你需要使用常量表达式，可能是 class 模板的 [static] 成员的形式。

固定值的模板特化

Template specialization for a fixed value

c++

templates

specialization