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类模板。例如，您可以专门化

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

如果您想对模板上的模板进行专门化，则需要使主模板以值的形式运行，例如：

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

接下来，您的计算实际上是一个运行时计算，您无法将运行时值的编译器调度处理到模板特化。如果你真的想做类似的事情，你需要以编程方式进行。也就是说，一旦进入函数内部，您将无法让编译器将函数参数分配给模板特化。如果您希望将编译器调度到模板专门化，则需要使用常量表达式，可能采用类模板的[static]成员的形式。

固定值的模板特化

1 个答案: