c++ - 为什么 C++ 禁止这种部分特化？

Question

为什么 C++ 禁止这种部分特化？
这种禁制背后是怎样的哲学，让我能够接受？
如果没有这种禁令，编程会容易得多。
模板应防止冗余。
现在我必须用 int d = 3 为每个类 N 产生冗余。

//__________________________________________
//__________________________________________
//
template<class N, int d>
class MyClass
{
public:
    void doo();
};

//__________________________________________
//__ allowed _______________________________
//
template<class N, int d>
void MyClass<N, d>::doo()
{
    cout << "general";
}

//__________________________________________
//__ forbidden _____________________________
//
template<class N>  
void MyClass<N, 3>::doo()
{
    cout << "partial specialization";
}

Answer 1

您首先需要对类本身进行部分特化。类是模板。它的成员函数是一个非模板函数。一个类的部分特化可以在定义上有所不同。也就是说，他们可以拥有不同的成员集。
例如

template<class N, int d>
class MyClass
{
public:
    void doo();
};

template<class N, int d>
void MyClass<N, d>::doo()
{
    std::cout << "general";
}

template<class N>
class MyClass<N, 3>
{
public:
    void doo();
};

template<class N>  
void MyClass<N, 3>::doo()
{
    std::cout << "partial specialization";
}

至于函数模板，它们有自己的函数重载和函数特化机制。