C++ - 模板特化和部分特化

我一直在互联网和 stackoverflow 上寻找具体的答案，但我似乎找不到。我必须创建一个通用类，然后实现特定的功能。我的具体说明是:您需要使用模板表达式参数和模板类特化和部分特化。

我有一个模板类:

template <class T, int x, int y>
class Z {
    T **array[x][y];
    public:
         Z();
         void print();
         //and other methods
};

我需要:

1) 只有 x= 2 和 y = 2 的 Z 需要有一个公共(public)方法 void J()

2) 对于 x = 2 和 y= 2 的字符 Z，J 会做一些事情；对于其他一切，它会做其他事情

3) 仅对于 T 为 char 的 Z 将数组初始化为某个值。对于其他一切，它是 0

自然，这有效:

template<class T, int x, int y>
Z<T,x,y>::Z<T,x,y>() { //initialize to 0 }

但这不会:

template<int x, int y>
Z<char,x,y>::Z<char,x,y>() { //initialize to something}

同样(假设 J 存在)这不起作用:

template <class T>
void Z<T,2,2>::J() { //something }

我的问题是:

有没有什么简单的方法可以实现上述项目？我需要将所有其他方法保留在 Z 中。给出提示或指向正确的方向(也许我错过了一个问题，因为有很多问题)会有所帮助。

谢谢。

最佳答案

似乎您只想定义一些特化的一些函数:如果 print() 在 char 特化和一般情况之间没有变化，那么您似乎不想重新定义它。

// What you want to do (illegal in C++)
template<int,typename T>
struct Z
{
    T myValue;
    Z();
    void print() { /* ... */ }
};

template<int i, typename T>
Z<i,T>::Z() { /* ... */ }

template<int i>
Z<i,char>::Z() { /* ... */ }

但是，它不是这样工作的。 类的部分或完全特化几乎没有任何共同点，除了模板参数 的“原型(prototype)”:

// The two following types have only two things related: the template parameter is an int,
// and the second type is a full specialization of the first. There are no relations between
// the content of these 2 types.
template<int> struct A {};
template<> struct A<42> { void work(); };

您必须声明和定义每个(部分)特化:

// Fixed example
template<int,typename T>
struct Z
{
    T myValue;
    Z();
    void print() { /* ... */ }
};
template<int i, typename T>
Z<i,T>::Z() { /* ... */ }

// Specialization for <all-ints,char>
template<int i>
struct Z<i,char>
{
    char myValue;
    char othervalue;
    Z();
    void print() { /* Same code than for the general case */ }
};

template<int i>
Z<i,char>::Z() { /* ... */ }

避免代码重复的唯一方法是使用特征继承:

// Example with the print function
template<typename T>
struct print_helper
{
    void print() { /* ... */ }
};

// Fixed example
template<int,typename T>
struct Z : public print_helper<T>
{
    T myValue;
    Z();
};
template<int i, typename T>
Z<i,T>::Z() { /* ... */ }

// Specialization for <all-ints,char>
template<int i>
struct Z<i,char> : public print_helper<char>
{
    char myValue;
    char othervalue;
    Z();
};

template<int i>
Z<i,char>::Z() { /* ... */ }

暂时没有重复你不能做你想做的事(删除代码重复的特性是 static if 并且已经被提议用于下一个 C++ 标准，参见 n3322 和 n3329 )。

关于C++ - 模板特化和部分特化，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/13444615/