Есть ли способ, чтобы создать функцию специализацию шаблона для станда :: массива

Question

У меня есть шаблон функции

template<typename T> 
void output(T& value) 
{ 
} 

Есть ли способ для создания специализации для объектов вывода станда :: массива? Да, я знаю, что массивы разных размеров различны.) Я просто надеюсь, что есть способ в C++ 11

Answer 1

Вы не можете специализировать его для всех массивов, для чего потребуется «частичная специализация» шаблона. Полная специализация шаблона связывает значения всех параметров шаблона (в этом случае имеется только один, T, поэтому полная специализация охватывает только один тип вместо T). Частичная специализация охватывает несколько возможных значений параметров шаблона (в этом случае мы хотим покрыть любые std::array<U,N> вместо T), поэтому частичная специализация имеет собственные параметры шаблона.

C++ допускает частичную специализацию шаблонов классов, но не шаблонов функций.

Вместо этого вы можете перегрузить его. Вы определяете другой шаблон функции с тем же именем и разными параметрами:

template <typename T, size_t N> 
void output (const std::array<T,N> &arr); // I guess "const" by the function name 

Answer 2

template<class T, unsigned N> 
void output(std::array<T,N>& value){ 
} 

бы быть то, что вы должны использовать, поскольку специализации не рекомендуются. Более того, вы не можете частично специализировать шаблоны функций.

Answer 3

Вам нужен overload, а не специализация (есть только полная специализация для шаблонов функций).

template <typename T, size_t N> 
void output (std::array<T,N> &arr); 

Вы не можете поместить его в namespace std. И если он просто выводит данные, вы не должны передавать неконстантную ссылку.

Однако идти по пути стандартной библиотеки идет, и использовать итераторы вместо:

template <typename Iter> 
void output (Iter it, Iter end) 

Это делает вашу функцию гибкой w.r.t. тип контейнера: Вероятно, не нужно знать, является ли это list, deque или array.