c++ - 数组的部分模板特化

Question

对此进行了搜索，但找不到类似的问题。如果有请关闭此问题。这不是我的真实代码，只是一个演示示例：-

#include <iostream>

// Normal template class with a destructor
template <class T> class Test
{
public:
    ~Test() { std::cout << "Normal \n";}
};

// Partial specialization for arrays
template<class T> class Test<T[]>
{
public:
    ~Test() { std::cout << "Array \n"; }
};


int main()
{
    Test<int[3]> i;
}

当我编译它时，它不会调用数组的专用版本。如果我将模板替换为

template<class T> class Test<T[3]>
{
public:
    ~Test() { std::cout << "Array \n"; }
};

然后它确实调用了专业化，但我希望对任何数组都调用它，而不仅仅是指定大小的数组。有没有办法编写一个用于所有数组的专业化？

Answer 1

使用附加的非类型参数捕获大小：

#include <iostream>

template <class T> class Test
{
public:
    ~Test() { std::cout << "Normal \n";}
};

template<class T, size_t N> class Test<T[N]>
{
public:
    ~Test() { std::cout << "Array " << N << '\n'; }
};

int main()
{
    Test<int[3]> i;  // Array 3
    Test<int[5]> j;  // Array 5
}