Частичная специализация шаблонов для массивов

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

Затем это делает вызовите специализацию, но я хочу, чтобы это вызывалось для любого массива, а не только для указанного размера. Есть ли способ написать специализацию, которая будет использоваться для всех массивов?

9

c++templates

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

Захватите размер с дополнительным нетиповым параметром:

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

19