类模板专业化，C++，模板参数列表中的参数 2 不匹配

Question

我有一个模板：

template <typename T, int size>
class Array
{

    T A[size];

public:

    T& operator[](int index) ;

};

template <typename T, int size>
T& Array<T,size>::operator[](int index)
{
    if (index>=size || index<0)
        return A[0];
    else
        return A[index];
}

及其特化类：

typedef struct Data
{
    int id;
    char name[10];
    double temp;
    double quantity;
}Data;

template <>
class Array<Data, int>
{
};

我尝试使用它：

int main()
{
    Array<Data, int> tab;
    return 0;

}

但是我收到了这个错误，我真的不知道为什么：

错误：模板参数列表中参数 2 的类型/值不匹配 对于‘模板类数组’|

怎么了？

这很奇怪。我将代码更改为以下代码：

template <>
class Array<Data, 20>
{
};

int main()
{
    Array<Data, 20> tab;
    return 0;
}

现在可以了。谢谢！

Answer 1

我只能猜测您实际上想要为 Array<T, size> 创建模板专业化，其中未指定 T=Data 和 size。

template <int size>
class Array<Data, size> // partial specialization
{
};

当你实例化模板时，你必须指定一个常量大小：

int main()
{
    Array<Data, 5> tab; // size=5 for this example
    return 0;
}