数组的部分模板专用化

Partial template specialization for arrays

本文关键字:专用 数组      更新时间:2023-10-16

对此进行了搜索,但找不到类似的问题。如果有,请结束这个问题。这不是我真正的代码,只是一个示例:-

#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"; }
};

然后它确实调用了专门化,但我希望它能为任何数组调用,而不仅仅是指定大小的数组。有没有什么方法可以编写一个专用于所有数组的专门化?

使用额外的非类型参数捕获大小:

#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
}